Anisotropic electrical resistivity of LaFeAsO: evidence for electronic nematicity

Single crystals of LaFeAsO were successfully grown out of KI flux. Temperature dependent electrical resistivity was measured with current flow along the basal plane, \rho_perpend(T), as well as with current flow along the crystallographic c-axis, \rho_parallel(T), the latter one utilizing electron beam lithography and argon ion beam milling. The anisotropy ratio was found to lie between \rho_parallel/\rho_perpend = 20 - 200. The measurement of \rho_perpend(T) was performed with current flow along the tetragonal [1 0 0] direction and along the [1 1 0] direction and revealed a clear in-plane anisotropy already at T \leq 175 K. This is significantly above the orthorhombic distortion at T_0 = 147 K and indicates the formation of an electron nematic phase. Magnetic susceptibility and electrical resistivity give evidence for a change of the magnetic structure of the iron atoms from antiferromagnetic to ferromagnetic arrangement along the c-axis at T^\ast = 11 K.Comment: 10 pages, 6 figures, minor change

Ein Status Quo: Haben Milchkühe Zahnprobleme?

Dental abnormalities in cows have seldomly been examined in research and veterinary check-up. This study estimated the prevalence of dental problems in cows. The skulls of 151 adult (> 4 years) dairy cows (Brown Swiss cattle n=81, Swiss Fleckvieh n=70) were categorized into three age groups (AK1: 4-6 / AK2: 7-9 / AK3: 10-16 years old) and examined for the existence of 11 dental cheek teeth abnormalities, based on well-known dental pathologies in horses. The four most prevalent dental abnormalities found were presence of abnormal spaces between 2 adjacent cheek teeth (Diastema), parodontosis, wavemouth, and food packing between cheek teeth. In 85% of all recorded skulls, 1 or more abnormalities were recorded. There were no differences in the occurrence of dental abnormalities in the two breeds. Older animals of AK3 showed more abnormalities than younger animals, but also in the lower age categories, in average 2 abnormalities per skull were recorded. 36% of all skulls showed the presence of Diastema, which has been described as one of the most painful oral abnormalities in horse. Dental abnormalities are prevalent in cows and probably a not recognized cause of health disorders

A generic framework for context-sensitive analysis of modular programs

Context-sensitive analysis provides information which is potentially more accurate than that provided by context-free analysis. Such information can then be applied in order to validate/debug the program and/or to specialize the program obtaining important improvements. Unfortunately, context-sensitive analysis of modular programs poses important theoretical and practical problems. One solution, used in several proposals, is to resort to context-free analysis. Other proposals do address context-sensitive analysis, but are only applicable when the description domain used satisfies rather restrictive properties. In this paper, we argüe that a general framework for context-sensitive analysis of modular programs, Le., one that allows using all the domains which have proved useful in practice in the non-modular setting, is indeed feasible and very useful. Driven by our experience in the design and implementation of analysis and specialization techniques in the context of CiaoPP, the Ciao system preprocessor, in this paper we discuss a number of design goals for context-sensitive analysis of modular programs as well as the problems which arise in trying to meet these goals. We also provide a high-level description of a framework for analysis of modular programs which does substantially meet these objectives. This framework is generic in that it can be instantiated in different ways in order to adapt to different contexts. Finally, the behavior of the different instantiations w.r.t. the design goals that motivate our work is also discussed

Formation of even-numbered hydrogen cluster cations in ultracold helium droplets

Neutral hydrogen clusters are grown in ultracold helium nanodroplets by successive pickup of hydrogen molecules. Even-numbered hydrogen cluster cations are observed upon electron-impact ionization with and without attached helium atoms and in addition to the familiar odd-numbered H(n)(+). The helium matrix affects the fragmentation dynamics that usually lead to the formation of overwhelmingly odd-numbered H(n)(+). The use of high-resolution mass spectrometry allows the unambiguous identification of even-numbered H(n)(+) up to n congruent to 120 by their mass excess that distinguishes them from He(n)(+), mixed He(m)H(n)(+), and background ions. The large range in size of these hydrogen cluster ions is unprecedented, as is the accuracy of their definition. Apart from the previously observed magic number n = 6, pronounced drops in the abundance of even-numbered cluster ions are seen at n = 30 and 114, which suggest icosahedral shell closures at H(6)(+)(H(2))(12) and H(6)(+)(H(2))(54). Possible isomers of H(6)(+) are identified at the quadratic configuration interaction with inclusion of single and double excitations (QCISD)/aug-cc-pVTZ level of theory (C) 2008 American Institute of Physics. [DOI: 10.1063/1.3035833

PHL 5038: a spatially resolved white dwarf + brown dwarf binary

A near-infrared excess is detected at the white dwarf PHL 5038 in UKIDSS photometry, consistent with the presence of a cool, substellar companion. We have obtained H- and K-grism spectra and images of PHL 5038 using NIRI on Gemini North. The target is spatially and spectrally resolved into two components: an 8000 K DA white dwarf, and a likely L8 brown dwarf companion, separated by 0.94\arcsec. The spectral type of the secondary was determined using standard spectral indices for late L and T dwarfs. The projected orbital separation of the binary is 55 AU, so it becomes only the second known wide WD+dL binary to be found after GD 165AB. This object could potentially be used as a benchmark for testing substellar evolutionary models at intermediate to older ages

Isabelle Modelchecking for insider threats

The Isabelle Insider framework formalises the technique of social explanation for modeling and analysing Insider threats in infrastructures including physical and logical aspects. However, the abstract Isabelle models need some refinement to provide sufficient detail to explore attacks constructively and understand how the attacker proceeds. The introduction of mutable states into the model leads us to use the concepts of Modelchecking within Isabelle. Isabelle can simply accommodate classical CTL type Modelchecking. We integrate CTL Modelchecking into the Isabelle Insider framework. A running example of an IoT attack on privacy motivates the method throughout and illustrates how the enhanced framework fully supports realistic modeling and analysis of IoT Insiders

Cross-sectional associations between air pollution and chronic bronchitis: an ESCAPE meta-analysis across five cohorts

BACKGROUND: This study aimed to assess associations of outdoor air pollution on prevalence of chronic bronchitis symptoms in adults in five cohort studies (Asthma-E3N, ECRHS, NSHD, SALIA, SAPALDIA) participating in the European Study of Cohorts for Air Pollution Effects (ESCAPE) project. METHODS: Annual average particulate matter (PM10, PM2.5, PMabsorbance, PMcoarse), NO2, nitrogen oxides (NOx) and road traffic measures modelled from ESCAPE measurement campaigns 2008-2011 were assigned to home address at most recent assessments (1998-2011). Symptoms examined were chronic bronchitis (cough and phlegm for ≥3 months of the year for ≥2 years), chronic cough (with/without phlegm) and chronic phlegm (with/without cough). Cohort-specific cross-sectional multivariable logistic regression analyses were conducted using common confounder sets (age, sex, smoking, interview season, education), followed by meta-analysis. RESULTS: 15 279 and 10 537 participants respectively were included in the main NO2 and PM analyses at assessments in 1998-2011. Overall, there were no statistically significant associations with any air pollutant or traffic exposure. Sensitivity analyses including in asthmatics only, females only or using back-extrapolated NO2 and PM10 for assessments in 1985-2002 (ECRHS, NSHD, SALIA, SAPALDIA) did not alter conclusions. In never-smokers, all associations were positive, but reached statistical significance only for chronic phlegm with PMcoarse OR 1.31 (1.05 to 1.64) per 5 µg/m(3) increase and PM10 with similar effect size. Sensitivity analyses of older cohorts showed increased risk of chronic cough with PM2.5abs (black carbon) exposures. CONCLUSIONS: Results do not show consistent associations between chronic bronchitis symptoms and current traffic-related air pollution in adult European populations

NDR Kinases Are Essential for Somitogenesis and Cardiac Looping during Mouse Embryonic Development

Studies of mammalian tissue culture cells indicate that the conserved and distinct NDR isoforms, NDR1 and NDR2, play essential cell biological roles. However, mice lacking either Ndr1 or Ndr2 alone develop normally. Here, we studied the physiological consequences of inactivating both NDR1 and NDR2 in mice, showing that the lack of both Ndr1/Ndr2 (called Ndr1/2-double null mutants) causes embryonic lethality. In support of compensatory roles for NDR1 and NDR2, total protein and activating phosphorylation levels of the remaining NDR isoform were elevated in mice lacking either Ndr1 or Ndr2. Mice retaining one single wild-type Ndr allele were viable and fertile. Ndr1/2-double null embryos displayed multiple phenotypes causing a developmental delay from embryonic day E8.5 onwards. While NDR kinases are not required for notochord formation, the somites of Ndr1/2-double null embryos were smaller, irregularly shaped and unevenly spaced along the anterior-posterior axis. Genes implicated in somitogenesis were down-regulated and the normally symmetric expression of Lunatic fringe, a component of the Notch pathway, showed a left-right bias in the last forming somite in 50% of all Ndr1/2-double null embryos. In addition, Ndr1/2-double null embryos developed a heart defect that manifests itself as pericardial edemas, obstructed heart tubes and arrest of cardiac looping. The resulting cardiac insufficiency is the likely cause of the lethality of Ndr1/2-double null embryos around E10. Taken together, we show that NDR kinases compensate for each other in vivo in mouse embryos, explaining why mice deficient for either Ndr1 or Ndr2 are viable. Ndr1/2-double null embryos show defects in somitogenesis and cardiac looping, which reveals their essential functions and shows that the NDR kinases are critically required during the early phase of organogenesis