Folding Langmuir Monolayers

The maximum pressure a two-dimensional surfactant monolayer is able to withstand is limited by the collapse instability towards formation of three-dimensional material. We propose a new description for reversible collapse based on a mathematical analogy between the formation of folds in surfactant monolayers and the formation of Griffith Cracks in solid plates under stress. The description, which is tested in a combined microscopy and rheology study of the collapse of a single-phase Langmuir monolayer of 2-hydroxy-tetracosanoic acid (2-OH TCA), provides a connection between the in-plane rheology of LM's and reversible folding

Metabolomics and Lipidomics Signatures of Insulin Resistance and Abdominal Fat Depots in People Living with Obesity

The liver, skeletal muscle, and adipose tissue are major insulin target tissues and key players in glucose homeostasis. We and others have described diverse insulin resistance (IR) phenotypes in people at risk of developing type 2 diabetes. It is postulated that identifying the IR phenotype in a patient may guide the treatment or the prevention strategy for better health outcomes in populations at risk. Here, we performed plasma metabolomics and lipidomics in a cohort of men and women living with obesity not complicated by diabetes (mean [SD] BMI 36.0 [4.5] kg/m2, n = 62) to identify plasma signatures of metabolites and lipids that align with phenotypes of IR (muscle, liver, or adipose tissue) and abdominal fat depots. We used 2-step hyperinsulinemic-euglycemic clamp with deuterated glucose, oral glucose tolerance test, dual-energy X-ray absorptiometry and abdominal magnetic resonance imaging to assess muscle-, liver- and adipose tissue- IR, beta cell function, body composition, abdominal fat distribution and liver fat, respectively. Spearman’s rank correlation analyses that passed the Benjamini–Hochberg statistical correction revealed that cytidine, gamma-aminobutyric acid, anandamide, and citrate corresponded uniquely with muscle IR, tryptophan, cAMP and phosphocholine corresponded uniquely with liver IR and phenylpyruvate and hydroxy-isocaproic acid corresponded uniquely with adipose tissue IR (p < 7.2 × 10−4). Plasma cholesteryl sulfate (p = 0.00029) and guanidinoacetic acid (p = 0.0001) differentiated between visceral and subcutaneous adiposity, while homogentisate correlated uniquely with liver fat (p = 0.00035). Our findings may help identify diverse insulin resistance and adiposity phenotypes and enable targeted treatments in people living with obesity

Environment Orientation : a structured simulation approach for agent-based complex systems

Complex systems are collections of independent agents interacting with each other and with their environment to produce emergent behaviour. Agent-based computer simulation is one of the main ways of studying complex systems. A naive approach to such simulation can fare poorly, due to large communication overhead, and due to the scope for deadlock between the interacting agents sharing a computational platform. Agent interaction can instead be considered entirely from the point of view of the environment(s) within which the agents interact. Structuring a simulation using such Environment Orientation leads to a simulation that reduces communication overhead, that is effectively deadlock-free, and yet still behaves in the manner required. Additionally the Environment Orientation architecture eases the development of more sophisticated large-scale simulations, with multiple kinds of complex agents, situated in and interacting with multiple kinds of environments. We describe the Environment Orientation simulation architecture. We report on a number of experiments that demonstrate the effectiveness of the Environment Orientation approach: a simple flocking system, a flocking system with multiple sensory environments, and a flocking system in an external environment

A formally verified compiler back-end

This article describes the development and formal verification (proof of semantic preservation) of a compiler back-end from Cminor (a simple imperative intermediate language) to PowerPC assembly code, using the Coq proof assistant both for programming the compiler and for proving its correctness. Such a verified compiler is useful in the context of formal methods applied to the certification of critical software: the verification of the compiler guarantees that the safety properties proved on the source code hold for the executable compiled code as well

Why alternative teenagers self-harm: exploring the link between non-suicidal self-injury, attempted suicide and adolescent identity

Background: The term ‘self-harm’ encompasses both attempted suicide and non-suicidal self-injury (NSSI). Specific adolescent subpopulations such as ethnic or sexual minorities, and more controversially, those who identify as ‘Alternative’ (Goth, Emo) have been proposed as being more likely to self-harm, while other groups such as ‘Jocks’ are linked with protective coping behaviours (for example exercise). NSSI has autonomic (it reduces negative emotions) and social (it communicates distress or facilitates group ‘bonding’) functions. This study explores the links between such aspects of self-harm, primarily NSSI, and youth subculture.&lt;p&gt;&lt;/p&gt; Methods: An anonymous survey was carried out of 452 15 year old German school students. Measures included: identification with different youth cultures, i.e. Alternative (Goth, Emo, Punk), Nerd (academic) or Jock (athletic); social background, e.g. socioeconomic status; and experience of victimisation. Self-harm (suicide and NSSI) was assessed using Self-harm Behavior Questionnaire and the Functional Assessment of Self-Mutilation (FASM).&lt;p&gt;&lt;/p&gt; Results: An “Alternative” identity was directly (r ≈ 0.3) and a “Jock” identity inversely (r ≈ -0.1) correlated with self-harm. “Alternative” teenagers self-injured more frequently (NSSI 45.5% vs. 18.8%), repeatedly self-injured, and were 4–8 times more likely to attempt suicide (even after adjusting for social background) than their non-Alternative peers. They were also more likely to self-injure for autonomic, communicative and social reasons than other adolescents.&lt;p&gt;&lt;/p&gt; Conclusions: About half of ‘Alternative’ adolescents’ self-injure, primarily to regulate emotions and communicate distress. However, a minority self-injure to reinforce their group identity, i.e. ‘To feel more a part of a group’

Migraine aura: retracting particle-like waves in weakly susceptible cortex

Cortical spreading depression (SD) has been suggested to underlie migraine aura. Despite a precise match in speed, the spatio-temporal patterns of SD and aura symptoms on the cortical surface ordinarily differ in aspects of size and shape. We show that this mismatch is reconciled by utilizing that both pattern types bifurcate from an instability point of generic reaction-diffusion models. To classify these spatio-temporal pattern we suggest a susceptibility scale having the value [sigma]=1 at the instability point. We predict that human cortex is only weakly susceptible to SD ([sigma]&#x3c;1), and support this prediction by directly matching visual aura symptoms with anatomical landmarks using fMRI retinotopic mapping. We discuss the increased dynamical repertoire of cortical tissue close to [sigma]=1, in particular, the resulting implications on migraine pharmacology that is hitherto tested in the regime ([sigma]&#x3e;&#x3e;1), and potentially silent aura occurring below a second bifurcation point at [sigma]=0 on the susceptible scale

Two new rapid SNP-typing methods for classifying Mycobacterium tuberculosis complex into the main phylogenetic lineages

There is increasing evidence that strain variation in Mycobacterium tuberculosis complex (MTBC) might influence the outcome of tuberculosis infection and disease. To assess genotype-phenotype associations, phylogenetically robust molecular markers and appropriate genotyping tools are required. Most current genotyping methods for MTBC are based on mobile or repetitive DNA elements. Because these elements are prone to convergent evolution, the corresponding genotyping techniques are suboptimal for phylogenetic studies and strain classification. By contrast, single nucleotide polymorphisms (SNP) are ideal markers for classifying MTBC into phylogenetic lineages, as they exhibit very low degrees of homoplasy. In this study, we developed two complementary SNP-based genotyping methods to classify strains into the six main human-associated lineages of MTBC, the 'Beijing' sublineage, and the clade comprising Mycobacterium bovis and Mycobacterium caprae. Phylogenetically informative SNPs were obtained from 22 MTBC whole-genome sequences. The first assay, referred to as MOL-PCR, is a ligation-dependent PCR with signal detection by fluorescent microspheres and a Luminex flow cytometer, which simultaneously interrogates eight SNPs. The second assay is based on six individual TaqMan real-time PCR assays for singleplex SNP-typing. We compared MOL-PCR and TaqMan results in two panels of clinical MTBC isolates. Both methods agreed fully when assigning 36 well-characterized strains into the main phylogenetic lineages. The sensitivity in allele-calling was 98.6% and 98.8% for MOL-PCR and TaqMan, respectively. Typing of an additional panel of 78 unknown clinical isolates revealed 99.2% and 100% sensitivity in allele-calling, respectively, and 100% agreement in lineage assignment between both methods. While MOL-PCR and TaqMan are both highly sensitive and specific, MOL-PCR is ideal for classification of isolates with no previous information, whereas TaqMan is faster for confirmation. Furthermore, both methods are rapid, flexible and comparably inexpensive

Bird-Like Anatomy, Posture, and Behavior Revealed by an Early Jurassic Theropod Dinosaur Resting Trace

BACKGROUND: Fossil tracks made by non-avian theropod dinosaurs commonly reflect the habitual bipedal stance retained in living birds. Only rarely-captured behaviors, such as crouching, might create impressions made by the hands. Such tracks provide valuable information concerning the often poorly understood functional morphology of the early theropod forelimb. METHODOLOGY/PRINCIPAL FINDINGS: Here we describe a well-preserved theropod trackway in a Lower Jurassic ( approximately 198 million-year-old) lacustrine beach sandstone in the Whitmore Point Member of the Moenave Formation in southwestern Utah. The trackway consists of prints of typical morphology, intermittent tail drags and, unusually, traces made by the animal resting on the substrate in a posture very similar to modern birds. The resting trace includes symmetrical pes impressions and well-defined impressions made by both hands, the tail, and the ischial callosity. CONCLUSIONS/SIGNIFICANCE: The manus impressions corroborate that early theropods, like later birds, held their palms facing medially, in contrast to manus prints previously attributed to theropods that have forward-pointing digits. Both the symmetrical resting posture and the medially-facing palms therefore evolved by the Early Jurassic, much earlier in the theropod lineage than previously recognized, and may characterize all theropods

Compositional reasoning for shared-variable concurrent programs

Scalable and automatic formal verification for concurrent systems is always demanding. In this paper, we propose a verification framework to support automated compositional reasoning for concurrent programs with shared variables. Our framework models concurrent programs as succinct automata and supports the verification of multiple important properties. Safety verification and simulations of succinct automata are parallel compositional, and safety properties of succinct automata are preserved under refinements. We generate succinct automata from infinite state concurrent programs in an automated manner. Furthermore, we propose the first automated approach to checking rely-guarantee based simulations between infinite state concurrent programs. We have prototyped our algorithms and applied our tool to the verification of multiple refinements

Measurements of Dihadron Correlations Relative to the Event Plane in Au+Au Collisions at sNN=200\sqrt{s_{NN}}=200 GeV

Dihadron azimuthal correlations containing a high transverse momentum (\pt) trigger particle are sensitive to the properties of the nuclear medium created at RHIC through the strong interactions occurring between the traversing parton and the medium, i.e. jet-quenching. Previous measurements revealed a strong modification to dihadron azimuthal correlations in Au+Au collisions with respect to \pp\ and \dAu\ collisions. The modification increases with the collision centrality, suggesting a path-length dependence to the jet-quenching effect. This paper reports STAR measurements of dihadron azimuthal correlations in mid-central (20-60\%) Au+Au collisions at \snn=200~GeV as a function of the trigger particle's azimuthal angle relative to the event plane, \phis=|\phit-\psiEP|. The azimuthal correlation is studied as a function of both the trigger and associated particle \pt. The subtractions of the combinatorial background and anisotropic flow, assuming Zero Yield At Minimum (\zyam), are described. The away-side correlation is strongly modified, and the modification varies with \phis, which is expected to be related to the path-length that the away-side parton traverses. The pseudo-rapidity (\deta) dependence of the near-side correlation, sensitive to long range \deta correlations (the ridge), is also investigated. The ridge and jet-like components of the near-side correlation are studied as a function of \phis. The ridge appears to drop with increasing \phis while the jet-like component remains approximately constant. ...Comment: 50 pages, 39 figures, 6 table