Similar to adults with posttraumatic stress disorder, children with early life adversity show bias in memory for negative emotional stimuli. However, it is not well understood how childhood adversity impacts mechanisms underlying emotional memory. N = 56 children (8–14 years, 48% female) reported on adverse experiences including potentially traumatic events and underwent fMRI while attending to emotionally pleasant, neutral, or negative images. Post-scan, participants completed a cued recall test to assess memory for these images. Emotional difference-in-memory (DM) scores were computed by subtracting negative or positive from neutral recall performance. All children showed enhancing effects of emotion on recall, with no effect of trauma load. However, children with less trauma showed a larger emotional DM for both positive and negative stimuli when amygdala or anterior hippocampal activity was higher. In contrast, highly trauma-exposed children demonstrated a lower emotional DM with greater amygdala or hippocampal activity. This suggested that alternative neural mechanisms might support emotional enhancement of encoding in children with greater trauma load. Whole-brain analyses revealed that right fusiform activity during encoding positively correlated with both trauma load and successful later recall of positive images. Therefore, highly trauma-exposed children may use alternative, potentially adaptive neural pathways via the ventral visual stream to encode positive emotional events.

The semantics of gradually typed languages is typically given indirectly via an elaboration into a cast calculus. This contrasts with more conventional formulations of programming language semantics, where the semantics of a language is given directly using, for instance, an operational semantics. This paper presents a new approach to give the semantics of gradually typed languages directly. We use a recently proposed variant of small-step operational semantics called type-directed operational semantics (TDOS). In a TDOS, type annotations become operationally relevant and can affect the result of a program. In the context of a gradually typed language, type annotations are used to trigger type-based conversions on values. We illustrate how to employ a TDOS on gradually typed languages using two calculi. The first calculus, called $\lambda B^{g}$, is inspired by the semantics of the blame calculus, but it has implicit type conversions, enabling it to be used as a gradually typed language. The second calculus, called $\lambda e$, explores an eager semantics for gradually typed languages using a TDOS. For both calculi, type safety is proved. For the $\lambda B^{g}$ calculus, we also present a variant with blame labels and illustrate how the TDOS can also deal with such an important feature of gradually typed languages. We also show that the semantics of $\lambda B^{g}$ with blame labels is sound and complete with respect to the semantics of the blame calculus, and that both calculi come with a gradual guarantee. All the results have been formalized in the Coq theorem prover.

Four species of the genus Longidorus were recovered from southern (Bushehr province) and southeastern (Southern Khorasan province) Iran. The first species, L. paratabrizicus n. sp. represents a new member to the genus and is characterised by 4.8–5.6 mm long females with anteriorly flattened lip region separated from the rest of the body by depression, amphidial fovea pocket-shaped without lobes, tail conical, dorsally convex, ventrally almost straight with bluntly rounded tip and males in population. By having similar lip region and tail shape, the new species most closely resembles five species viz. L. artemisiae, L. globulicauda, L. patuxentensis, L. sturhani, and L. tabrizicus. It represents the cryptic form of the last species. The second species belongs to L. mirus, recovered in both southern and southeastern Iran, representing the first record of the species after its original description. As an update to the characteristics of this species, it’s all juvenile developmental stages were recovered and described. The criteria to separate L. mirus from two closely related species, L. auratus and L. africanus, are discussed. The third species belongs to L. persicus, a new record in southern Iran. The fourth species, L. orientalis was recovered in high population density in association with date palm trees in Bushehr province. The phylogenetic relationships of the new species and recovered populations of L. mirus and L. persicus were reconstructed using two ribosomal markers and the resulted topologies were discussed.

We study the effect of negatively charged dust on the magnetic-field-aligned polarisation electrostatic field ($\boldsymbol {E}_{\parallel }$) using Cassini's RPWS/LP in situ measurements during the ‘ring-grazing’ orbits. We derive a general expression for $\boldsymbol {E}_{\parallel }$ and estimate for the first time in situ $\lVert \boldsymbol {E}_{\parallel } \rVert$ (approximately $10^{-5} \, \text {V}\, \text {m}^{-1}$) near the Janus and Epimetheus rings. We further demonstrate that the presence of the negatively charged dust close to the ring plane ($\vert \text {Z} \vert \lesssim 0.11 \, \text {R}_{s}$) amplifies $\lVert \boldsymbol {E}_{\parallel } \rVert$ by at least one order of magnitude and reverses its direction due to the effect of the charged dust gravitational and inertial forces. Such reversal confines the electrons at the magnetic equator within the dusty region, around $0.047 \, \text {R}_{s}$ above the ring plane. Furthermore, we discuss the role of the collision terms, in particular the ion–dust drag force, in amplifying $\boldsymbol {E}_{\parallel }$. These results imply that the charged dust, as small as nanometres in size, can have a significant influence on the plasma transport, in particular ambipolar diffusion along the magnetic field lines, and so their presence must be taken into account when studying such dynamical processes.

Early life adversity (ELA) has been linked with increased arousal responses to threat, including increased amygdala reactivity. Effects of ELA on brain function are well recognized, and emerging evidence suggests that caregivers may influence how environmental stressors impact children’s brain function. We investigated the hypothesis that positive interaction between mother and child can buffer against ELA effects on children’s neural responses to threat, and related symptoms. N = 53 mother–child pairs (children ages 8–14 years) were recruited from an urban population at high risk for violence exposure. Maternal caregiving was measured using the Parenting Questionnaire and in a cooperation challenge task. Children viewed fearful and neutral face stimuli during functional magnetic resonance imaging. Children who experienced greater violence at home showed amygdala sensitization, whereas children experiencing more school and community violence showed amygdala habituation. Sensitization was in turn linked with externalizing symptoms. However, maternal warmth was associated with a normalization of amygdala sensitization in children, and fewer externalizing behaviors prospectively up to 1 year later. Findings suggested that the effects of violence exposure on threat-related neural circuitry depend on trauma context (inside or outside the home) and that primary caregivers can increase resilience.

This paper describes a computational investigation of multimode instability growth and multimaterial mixing induced by multiple shock waves in a high-energy-density (HED) environment, where pressures exceed 1 Mbar. The simulations are based on a series of experiments performed at the National Ignition Facility (NIF) and designed as an HED analogue of non-HED shock-tube studies of the Richtmyer–Meshkov instability and turbulent mixing. A three-dimensional computational modelling framework is presented. It treats many complications absent from canonical non-HED shock-tube flows, including distinct ion and free-electron internal energies, non-ideal equations of state, radiation transport and plasma-state mass diffusivities, viscosities and thermal conductivities. The simulations are tuned to the available NIF data, and traditional statistical quantities of turbulence are analysed. Integrated measures of turbulent kinetic energy and enstrophy both increase by over an order of magnitude due to reshock. Large contributions to enstrophy production during reshock are seen from both the baroclinic source and enstrophy–dilatation terms, highlighting the significance of fluid compressibility in the HED regime. Dimensional analysis reveals that Reynolds numbers and diffusive Péclet numbers in the HED flow are similar to those in a canonical non-HED analogue, but conductive Péclet numbers are much smaller in the HED flow due to efficient thermal conduction by free electrons. It is shown that the mechanism of electron thermal conduction significantly softens local spanwise gradients of both temperature and density, which causes a minor but non-negligible decrease in enstrophy production and small-scale mixing relative to a flow without this mechanism.