| 1. |
- Andreoni, I., et al.
(författare)
-
Follow Up of GW170817 and Its Electromagnetic Counterpart by Australian-Led Observing Programmes
- 2017
-
Ingår i: Publications Astronomical Society of Australia. - : Cambridge University Press (CUP). - 1323-3580 .- 1448-6083. ; 34
-
Forskningsöversikt (refereegranskat)abstract
- The discovery of the first electromagnetic counterpart to a gravitational wave signal has generated follow-up observations by over 50 facilities world-wide, ushering in the new era of multi-messenger astronomy. In this paper, we present follow-up observations of the gravitational wave event GW170817 and its electromagnetic counterpart SSS17a/DLT17ck (IAU label AT2017gfo) by 14 Australian telescopes and partner observatories as part of Australian-based and Australian-led research programs. We report early- to late-time multi-wavelength observations, including optical imaging and spectroscopy, mid-infrared imaging, radio imaging, and searches for fast radio bursts. Our optical spectra reveal that the transient source emission cooled from approximately 6 400 K to 2 100 K over a 7-d period and produced no significant optical emission lines. The spectral profiles, cooling rate, and photometric light curves are consistent with the expected outburst and subsequent processes of a binary neutron star merger. Star formation in the host galaxy probably ceased at least a Gyr ago, although there is evidence for a galaxy merger. Binary pulsars with short (100 Myr) decay times are therefore unlikely progenitors, but pulsars like PSR B1534+12 with its 2.7 Gyr coalescence time could produce such a merger. The displacement (similar to 2.2 kpc) of the binary star system from the centre of the main galaxy is not unusual for stars in the host galaxy or stars originating in the merging galaxy, and therefore any constraints on the kick velocity imparted to the progenitor are poor.
|
|
| 2. |
- Coquand, Thierry, 1961, et al.
(författare)
-
THE INDEPENDENCE OF MARKOV'S PRINCIPLE IN TYPE THEORY
- 2017
-
Ingår i: Logical Methods in Computer Science. - 1860-5974. ; 13:3
-
Tidskriftsartikel (refereegranskat)abstract
- In this paper, we show that Markov's principle is not derivable in dependent type theory with natural numbers and one universe. One way to prove this would be to remark that Markov's principle does not hold in a sheaf model of type theory over Cantor space, since Markov's principle does not hold for the generic point of this model [CMR17]. Instead we design an extension of type theory, which intuitively extends type theory by the addition of a generic point of Cantor space. We then show the consistency of this extension by a normalization argument. Markov's principle does not hold in this extension, and it follows that it cannot be proved in type theory.
|
|
| 3. |
- Depienne, Christel, et al.
(författare)
-
Genetic and phenotypic dissection of 1q43q44 microdeletion syndrome and neurodevelopmental phenotypes associated with mutations in ZBTB18 and HNRNPU
- 2017
-
Ingår i: Human Genetics. - : Springer Science and Business Media LLC. - 0340-6717 .- 1432-1203. ; 136:4, s. 463-479
-
Tidskriftsartikel (refereegranskat)abstract
- Subtelomeric 1q43q44 microdeletions cause a syndrome associating intellectual disability, microcephaly, seizures and anomalies of the corpus callosum. Despite several previous studies assessing genotype-phenotype correlations, the contribution of genes located in this region to the specific features of this syndrome remains uncertain. Among those, three genes, AKT3, HNRNPU and ZBTB18 are highly expressed in the brain and point mutations in these genes have been recently identified in children with neurodevelopmental phenotypes. In this study, we report the clinical and molecular data from 17 patients with 1q43q44 microdeletions, four with ZBTB18 mutations and seven with HNRNPU mutations, and review additional data from 37 previously published patients with 1q43q44 microdeletions. We compare clinical data of patients with 1q43q44 microdeletions with those of patients with point mutations in HNRNPU and ZBTB18 to assess the contribution of each gene as well as the possibility of epistasis between genes. Our study demonstrates that AKT3 haploinsufficiency is the main driver for microcephaly, whereas HNRNPU alteration mostly drives epilepsy and determines the degree of intellectual disability. ZBTB18 deletions or mutations are associated with variable corpus callosum anomalies with an incomplete penetrance. ZBTB18 may also contribute to microcephaly and HNRNPU to thin corpus callosum, but with a lower penetrance. Co-deletion of contiguous genes has additive effects. Our results confirm and refine the complex genotype-phenotype correlations existing in the 1qter microdeletion syndrome and define more precisely the neurodevelopmental phenotypes associated with genetic alterations of AKT3, ZBTB18 and HNRNPU in humans.
|
|
| 4. |
- Nazarov, Andrej, et al.
(författare)
-
Effect of mechanical stress on the properties of steel surfaces : Scanning Kelvin probe and local electrochemical impedance study
- 2017
-
Ingår i: Journal of the Electrochemical Society. - : Electrochemical Society Inc.. - 0013-4651 .- 1945-7111. ; 164:2, s. C66-C74
-
Tidskriftsartikel (refereegranskat)abstract
- The influence of mechanical stress on the electrochemical properties of ferritic steel SAE 1008 and austenitic stainless steel 301LN was studied using Scanning Kelvin Probe and Localized Electrochemical Impedance Spectroscopy (LEIS) techniques. The probe-working electrode Volta potential difference was mapped in situ under load. It was found that the influence of elastic deformation on the potential was small. Plastic deformation decreased the potential of steel by 150–300 mV, whereas the relaxation of the load from the plastic domain increased the Volta potential. However, some locations, which can contain residual stress, remained at low potential. The pre-strained surfaces were characterized by X-ray Photo Electronic Spectroscopy and by Atomic Force Microscopy. Distribution of the capacitance across strained and strain-free surfaces was studied by LEIS in boric/borate electrolyte. The plastic stress increases the capacitance and decreases the ability of the steels to passivate the surface indicating that emerging of pile-ups of dislocations create defective oxide films. © The Author(s) 2017.
|
|
