The role of the energy equation in the fragmentation of protostellar discs during stellar encounters

In this paper, we use high-resolution smoothed particle hydrodynamics (SPH) simulations to investigate the response of a marginally stable self-gravitating protostellar disc to a close parabolic encounter with a companion discless star. Our main aim is to test whether close brown dwarfs or massive planets can form out of the fragmentation of such discs. We follow the thermal evolution of the disc by including the effects of heating due to compression and shocks and a simple prescription for cooling and find results that contrast with previous isothermal simulations. In the present case we find that fragmentation is inhibited by the interaction, due to the strong effect of tidal heating, which results in a strong stabilization of the disc. A similar behaviour was also previously observed in other simulations involving discs in binary systems. As in the case of isolated discs, it appears that the condition for fragmentation ultimately depends on the cooling rate.Comment: 9 pages, 10 figures, accepted in MNRA

Thermal-neutron cross section for 10(n,t)2_ via 3-4He mass spectrometry

The thermal cross section for the reaction 10He is determined to be 4.47±0.15 mb by neutron irradiation of H3BO3 followed by measurement of 3He (from decay of 3H) and 4He in a static mass spectrometer. Some samples contained boron of normal isotopic composition and some were enriched in 10B, and irradiations were carried out in a highly thermalized neutron flux and in the core of a light-water-moderated reactorPeer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/86120/1/PhysRevC.39.1633.pd

Targeting the Microbiota to Address Diet-Induced Obesity: A Time Dependent Challenge

peer-reviewedLinks between the gut microbiota and host metabolism have provided new perspectives on obesity. We previously showed that the link between the microbiota and fat deposition is age- and time-dependent subject to microbial adaptation to diet over time. We also demonstrated reduced weight gain in diet-induced obese (DIO) mice through manipulation of the gut microbiota with vancomycin or with the bacteriocin-producing probiotic Lactobacillus salivarius UCC118 (Bac+), with metabolic improvement achieved in DIO mice in receipt of vancomycin. However, two phases of weight gain were observed with effects most marked early in the intervention phase. Here, we compare the gut microbial populations at the early relative to the late stages of intervention using a high throughput sequencing-based analysis to understand the temporal relationship between the gut microbiota and obesity. This reveals several differences in microbiota composition over the intervening period. Vancomycin dramatically altered the gut microbiota composition, relative to controls, at the early stages of intervention after which time some recovery was evident. It was also revealed that Bac+ treatment initially resulted in the presence of significantly higher proportions of Peptococcaceae and significantly lower proportions of Rikenellaceae and Porphyromonadaceae relative to the gut microbiota of L. salivarius UCC118 bacteriocin negative (Bac-) administered controls. These differences were no longer evident at the later time. The results highlight the resilience of the gut microbiota and suggest that interventions may need to be monitored and continually adjusted to ensure sustained modification of the gut microbiota.The authors are supported in part by Teagasc, Science Foundation Ireland (in the form of a research centre grant to the Alimentary Pharmabiotic Centre and PI awards to PWOT and PC) and by Alimentary Health Ltd

Experimental demonstration of Aharonov-Casher interference in a Josephson junction circuit

A neutral quantum particle with magnetic moment encircling a static electric charge acquires a quantum mechanical phase (Aharonov-Casher effect). In superconducting electronics the neutral particle becomes a fluxon that moves around superconducting islands connected by Josephson junctions. The full understanding of this effect in systems of many junctions is crucial for the design of novel quantum circuits. Here we present measurements and quantitative analysis of fluxon interference patterns in a six Josephson junction chain. In this multi-junction circuit the fluxon can encircle any combination of charges on five superconducting islands, resulting in a complex pattern. We compare the experimental results with predictions of a simplified model that treats fluxons as independent excitations and with the results of the full diagonalization of the quantum problem. Our results demonstrate the accuracy of the fluxon interference description and the quantum coherence of these arrays

Oral dosing for antenatal corticosteroids in the Rhesus macaque.

Antenatal corticosteroids (ACS) are standard of care for women at risk of preterm delivery, although choice of drug, dose or route have not been systematically evaluated. Further, ACS are infrequently used in low resource environments where most of the mortality from prematurity occurs. We report proof of principle experiments to test betamethasone-phosphate (Beta-P) or dexamethasone-phosphate (Dex-P) given orally in comparison to the clinical treatment with the intramuscular combination drug beta-phosphate plus beta-acetate in a Rhesus Macaque model. First, we performed pharmacokinetic studies in non-pregnant monkeys to compare blood levels of the steroids using oral dosing with Beta-P, Dex-P and an effective maternal intramuscular dose of the beta-acetate component of the clinical treatment. We then evaluated maternal and fetal blood steroid levels with limited fetal sampling under ultrasound guidance in pregnant macaques. We found that oral Beta is more slowly cleared from plasma than oral Dex. The blood levels of both drugs were lower in maternal plasma of pregnant than in non-pregnant macaques. Using the pharmacokinetic data, we treated groups of 6-8 pregnant monkeys with oral Beta-P, oral Dex-P, or the maternal intramuscular clinical treatment and saline controls and measured pressure-volume curves to assess corticosteroid effects on lung maturation at 5d. Oral Beta-P improved the pressure-volume curves similarly to the clinical treatment. Oral Dex-P gave more variable and nonsignificant responses. We then compared gene expression in the fetal lung, liver and hippocampus between oral Beta-P and the clinical treatment by RNA-sequencing. The transcriptomes were largely similar with small gene expression differences in the lung and liver, and no differences in the hippocampus between the groups. As proof of principle, ACS therapy can be effective using inexpensive and widely available oral drugs. Clinical dosing strategies must carefully consider the pharmacokinetics of oral Beta-P or Dex-P to minimize fetal exposure while achieving the desired treatment responses

Multiplayer Cost Games with Simple Nash Equilibria

Multiplayer games with selfish agents naturally occur in the design of distributed and embedded systems. As the goals of selfish agents are usually neither equivalent nor antagonistic to each other, such games are non zero-sum games. We study such games and show that a large class of these games, including games where the individual objectives are mean- or discounted-payoff, or quantitative reachability, and show that they do not only have a solution, but a simple solution. We establish the existence of Nash equilibria that are composed of k memoryless strategies for each agent in a setting with k agents, one main and k-1 minor strategies. The main strategy describes what happens when all agents comply, whereas the minor strategies ensure that all other agents immediately start to co-operate against the agent who first deviates from the plan. This simplicity is important, as rational agents are an idealisation. Realistically, agents have to decide on their moves with very limited resources, and complicated strategies that require exponential--or even non-elementary--implementations cannot realistically be implemented. The existence of simple strategies that we prove in this paper therefore holds a promise of implementability.Comment: 23 page

Fast and Slow Rotators in the Densest Environments: a SWIFT IFS study of the Coma Cluster

We present integral-field spectroscopy of 27 galaxies in the Coma cluster observed with the Oxford SWIFT spectrograph, exploring the kinematic morphology-density relationship in a cluster environment richer and denser than any in the ATLAS3D survey. Our new data enables comparison of the kinematic morphology relation in three very different clusters (Virgo, Coma and Abell 1689) as well as to the field/group environment. The Coma sample was selected to match the parent luminosity and ellipticity distributions of the early-type population within a radius 15' (0.43 Mpc) of the cluster centre, and is limited to r' = 16 mag (equivalent to M_K = -21.5 mag), sampling one third of that population. From analysis of the lambda-ellipticity diagram, we find 15+-6% of early-type galaxies are slow rotators; this is identical to the fraction found in the field and the average fraction in the Virgo cluster, based on the ATLAS3D data. It is also identical to the average fraction found recently in Abell 1689 by D'Eugenio et al.. Thus it appears that the average slow rotator fraction of early type galaxies remains remarkably constant across many different environments, spanning five orders of magnitude in galaxy number density. However, within each cluster the slow rotators are generally found in regions of higher projected density, possibly as a result of mass segregation by dynamical friction. These results provide firm constraints on the mechanisms that produce early-type galaxies: they must maintain a fixed ratio between the number of fast rotators and slow rotators while also allowing the total early-type fraction to increase in clusters relative to the field. A complete survey of Coma, sampling hundreds rather than tens of galaxies, could probe a more representative volume of Coma and provide significantly stronger constraints, particularly on how the slow rotator fraction varies at larger radii.Comment: Accepted for publication in MNRA

Rich Counter-Examples for Temporal-Epistemic Logic Model Checking

Model checking verifies that a model of a system satisfies a given property, and otherwise produces a counter-example explaining the violation. The verified properties are formally expressed in temporal logics. Some temporal logics, such as CTL, are branching: they allow to express facts about the whole computation tree of the model, rather than on each single linear computation. This branching aspect is even more critical when dealing with multi-modal logics, i.e. logics expressing facts about systems with several transition relations. A prominent example is CTLK, a logic that reasons about temporal and epistemic properties of multi-agent systems. In general, model checkers produce linear counter-examples for failed properties, composed of a single computation path of the model. But some branching properties are only poorly and partially explained by a linear counter-example. This paper proposes richer counter-example structures called tree-like annotated counter-examples (TLACEs), for properties in Action-Restricted CTL (ARCTL), an extension of CTL quantifying paths restricted in terms of actions labeling transitions of the model. These counter-examples have a branching structure that supports more complete description of property violations. Elements of these counter-examples are annotated with parts of the property to give a better understanding of their structure. Visualization and browsing of these richer counter-examples become a critical issue, as the number of branches and states can grow exponentially for deeply-nested properties. This paper formally defines the structure of TLACEs, characterizes adequate counter-examples w.r.t. models and failed properties, and gives a generation algorithm for ARCTL properties. It also illustrates the approach with examples in CTLK, using a reduction of CTLK to ARCTL. The proposed approach has been implemented, first by extending the NuSMV model checker to generate and export branching counter-examples, secondly by providing an interactive graphical interface to visualize and browse them.Comment: In Proceedings IWIGP 2012, arXiv:1202.422

Octahedral tilting, monoclinic phase and the phase diagram of PZT

Anelastic and dielectric spectroscopy measurements on PZT close to the morphotropic (MPB) and antiferroelectric boundaries provide new insight in some controversial aspects of its phase diagram. No evidence is found of a border separating monoclinic (M) from rhombohedral (R) phases, in agreement with recent structural studies supporting a coexistence of the two phases over a broad composition range x < 0.5, with the fraction of M increasing toward the MPB. It is also discussed why the observed maximum of elastic compliance appears to be due to a rotational instability of the polarisation and therefore cannot be explained by extrinsic softening from finely twinned R phase alone, but indicates the presence also of M phase, not necessarily homogeneous. A new diffuse transition is found within the ferroelectric phase near x ~ 0.1, at a temperature T_IT higher than the well established boundary T_T to the phase with tilted octahedra. It is proposed that around T_IT the octahedra start rotating in a disordered manner and finally become ordered below T_T. In this interpretation, the onset temperature for octahedral tilting monotonically increases up to the antiferroelectric transition of PbZrO3, and the depression of T_T(x) below x = 0.18 would be a consequence of the partial relieve of the mismatch between the cation radii with the initial stage of tilting below T_IT.Comment: submitted to J. Phys.: Condens. Matte