BigraphER: rewriting and analysis engine for bigraphs

BigraphER is a suite of open-source tools providing an effi- cient implementation of rewriting, simulation, and visualisation for bigraphs, a universal formalism for modelling interacting systems that evolve in time and space and first introduced by Milner. BigraphER consists of an OCaml library that provides programming interfaces for the manipulation of bigraphs, their constituents and reaction rules, and a command-line tool capable of simulating Bigraphical Reactive Systems (BRSs) and computing their transition systems. Other features are native support for both bigraphs and bigraphs with sharing, stochastic reaction rules, rule priorities, instantiation maps, parameterised controls, predicate checking, graphical output and integration with the probabilistic model checker PRISM

Winter Conditions Influence Biological Responses of Migrating Hummingbirds

Conserving biological diversity given ongoing environmental changes requires the knowledge of how organisms respond biologically to these changes; however, we rarely have this information. This data deficiency can be addressed with coordinated monitoring programs that provide field data across temporal and spatial scales and with process-based models, which provide a method for predicting how species, in particular migrating species that face different conditions across their range, will respond to climate change. We evaluate whether environmental conditions in the wintering grounds of broad-tailed hummingbirds influence physiological and behavioral attributes of their migration. To quantify winter ground conditions, we used operative temperature as a proxy for physiological constraint, and precipitation and the normalized difference vegetation index (NDVI) as surrogates of resource availability. We measured four biological response variables: molt stage, timing of arrival at stopover sites, body mass, and fat. Consistent with our predictions, we found that birds migrating north were in earlier stages of molt and arrived at stopover sites later when NDVI was low. These results indicate that wintering conditions impact the timing and condition of birds as they migrate north. In addition, our results suggest that biologically informed environmental surrogates provide a valuable tool for predicting how climate variability across years influences the animal populations

Crossover from itinerant to localized magnetic excitations through the metal-insulator transition in NaOsO3_{\text{3}}

NaOsO$_{\text{3}}$ undergoes a metal-insulator transition (MIT) at 410 K, concomitant with the onset of antiferromagnetic order. The excitation spectra have been investigated through the MIT by resonant inelastic x-ray scattering (RIXS) at the Os L$_{\text{3}}$ edge. Low resolution ($\Delta E \sim$ 300 meV) measurements over a wide range of energies reveal that local electronic excitations do not change appreciably through the MIT. This is consistent with a picture in which structural distortions do not drive the MIT. In contrast, high resolution ($\Delta E \sim$ 56 meV) measurements show that the well-defined, low energy magnons in the insulating state weaken and dampen upon approaching the metallic state. Concomitantly, a broad continuum of excitations develops which is well described by the magnetic fluctuations of a nearly antiferromagnetic Fermi liquid. By revealing the continuous evolution of the magnetic quasiparticle spectrum as it changes its character from itinerant to localized, our results provide unprecedented insight into the nature of the MIT in \naoso. In particular, the presence of weak correlations in the paramagnetic phase implies a degree of departure from the ideal Slater limit.Comment: Joint submission with Physical Review Letters [Phys. Rev. Lett. 120, 227203 (2018), accepted version at arXiv:1805.03176]. This article includes further discussion about the calculations performed, models used, and so o

Psychopathic traits influence amygdala-anterior cingulate cortex connectivity during facial emotion processing

There is accumulating evidence that youths with antisocial behavior or psychopathic traits show deficits in facial emotion recognition, but little is known about the neural mechanisms underlying these impairments. A number of neuroimaging studies have investigated brain activity during facial emotion processing in youths with Conduct Disorder (CD) and adults with psychopathy, but few of these studies tested for group differences in effective connectivity – i.e., changes in connectivity during emotion processing. Using functional magnetic resonance imaging and psycho-physiological interaction methods, we investigated the impact of CD and psychopathic traits on amygdala activity and effective connectivity in 46 male youths with CD and 25 typically-developing controls when processing emotional faces. All participants were aged 16-21 years. Relative to controls, youths with CD showed reduced amygdala activity when processing angry or sad faces relative to neutral faces, but the groups did not significantly differ in amygdala-related effective connectivity. In contrast, psychopathic traits were negatively correlated with amygdala-ventral anterior cingulate cortex connectivity for angry versus neutral faces, but were unrelated to amygdala responses to angry or sad faces. These findings suggest that CD and psychopathic traits have differential effects on amygdala activation and functional interactions between limbic regions during facial emotion processing