Cut-free Calculi and Relational Semantics for Temporal STIT Logics

We present cut-free labelled sequent calculi for a central formalism in logics of agency: STIT logics with temporal operators. These include sequent systems for Ldm , Tstit and Xstit. All calculi presented possess essential structural properties such as contraction- and cut-admissibility. The labelled calculi G3Ldm and G3Tstit are shown sound and complete relative to irreflexive temporal frames. Additionally, we extend current results by showing that also Xstit can be characterized through relational frames, omitting the use of BT+AC frames

Ras Conformational Switching: Simulating Nucleotide-Dependent Conformational Transitions with Accelerated Molecular Dynamics

Ras mediates signaling pathways controlling cell proliferation and development by cycling between GTP- and GDP-bound active and inactive conformational states. Understanding the complete reaction path of this conformational change and its intermediary structures is critical to understanding Ras signaling. We characterize nucleotide-dependent conformational transition using multiple-barrier-crossing accelerated molecular dynamics (aMD) simulations. These transitions, achieved for the first time for wild-type Ras, are impossible to observe with classical molecular dynamics (cMD) simulations due to the large energetic barrier between end states. Mapping the reaction path onto a conformer plot describing the distribution of the crystallographic structures enabled identification of highly populated intermediate structures. These structures have unique switch orientations (residues 25–40 and 57–75) intermediate between GTP and GDP states, or distinct loop3 (46–49), loop7 (105–110), and α5 C-terminus (159–166) conformations distal from the nucleotide-binding site. In addition, these barrier-crossing trajectories predict novel nucleotide-dependent correlated motions, including correlations of α2 (residues 66–74) with α3-loop7 (93–110), loop2 (26–37) with loop10 (145–151), and loop3 (46–49) with α5 (152–167). The interconversion between newly identified Ras conformations revealed by this study advances our mechanistic understanding of Ras function. In addition, the pattern of correlated motions provides new evidence for a dynamic linkage between the nucleotide-binding site and the membrane interacting C-terminus critical for the signaling function of Ras. Furthermore, normal mode analysis indicates that the dominant collective motion that occurs during nucleotide-dependent conformational exchange, and captured in aMD (but absent in cMD) simulations, is a low-frequency motion intrinsic to the structure

Laterality and Flight: Concurrent Tests of Side-Bias and Optimality in Flying Tree Swallows

Behavioural side-bias occurs in many vertebrates, including birds as a result of hemispheric specialization and can be advantageous by improving response times to sudden stimuli and efficiency in multi-tasking. However, behavioural side-bias can lead to morphological asymmetries resulting in reduced performance for specific activities. For flying animals, wing asymmetry is particularly costly and it is unclear if behavioural side-biases will be expressed in flight; the benefits of quick response time afforded by side-biases must be balanced against the costs of less efficient flight due to the morphological asymmetry side-biases may incur. Thus, competing constraints could lead to context-dependent expression or suppression of side-bias in flight. In repeated flight trials through an outdoor tunnel with obstacles, tree swallows (Tachycineta bicolor) preferred larger openings, but we did not detect either individual or population-level side-biases. Thus, while observed behavioural side-biases during substrate-foraging and copulation are common in birds, we did not see such side-bias expressed in obstacle avoidance behaviour in flight. This finding highlights the importance of behavioural context for investigations of side-bias and hemispheric laterality and suggests both proximate and ultimate trade-offs between species-specific cognitive ecology and flight biomechanics

The National Women's Health Study: assembly and description of a population-based reproductive cohort

BACKGROUND: Miscarriage is a common event but is remarkably difficult to measure in epidemiological studies. Few large-scale population-based studies have been conducted in the UK. METHODS: This was a population-based two-stage postal survey of reproductive histories of adult women living in the United Kingdom in 2001, sampled from the electronic electoral roll. In Stage 1 a short "screening" questionnaire was sent to over 60,000 randomly selected women in order to identify those aged 55 and under who had ever been pregnant or ever attempted to achieve a pregnancy, from whom a brief reproductive history was requested. Stage 2 involved a more lengthy questionnaire requesting detailed information on every pregnancy (and fertility problems), and questions relating to socio-demographic, behavioural and other factors for the most recent pregnancy in order to examine risk factors for miscarriage. Data on stillbirth, multiple birth and maternal age are compared to national data in order to assess response bias. RESULTS: The response rate was 49% for Stage 1 and 73% for the more targeted Stage 2. A total of 26,050 questionnaires were returned in Stage 1. Of the 17,748 women who were eligible on the grounds of age, 27% reported that they had never been pregnant and had never attempted to conceive a child. The remaining 13,035 women reported a total of 30,661 pregnancies. Comparison of key reproductive indicators (stillbirth and multiple birth rates and maternal age at first birth) with national statistics showed that the data look remarkably similar to the general population. CONCLUSIONS: This study has enabled the assembly of a large population-based dataset of women's reproductive histories which appears unbiased compared to the general UK population and which will enable investigation of hard-to-measure outcomes such as miscarriage and infertility

Adipose segmentation in small animals at 7T: a preliminary study

<p>Abstract</p> <p>Background</p> <p>Small animal MRI at 7 Tesla (T) provides a useful tool for adiposity research. For adiposity researchers, separation of fat from surrounding tissues and its subsequent quantitative or semi- quantitative analysis is a key task. This is a relatively new field and a priori it cannot be known which specific biological questions related to fat deposition will be relevant in a specific study. Thus it is impossible to predict what accuracy and what spatial resolution will be required in all cases and even difficult what accuracy and resolution will be useful in most cases. However the pragmatic time constraints and the practical resolution ranges are known for small animal imaging at 7T. Thus we have used known practical constraints to develop a method for fat volume analysis based on an optimized image acquisition and image post processing pair.</p> <p>Methods</p> <p>We designed a fat segmentation method based on optimizing a variety of factors relevant to small animal imaging at 7T. In contrast to most previously described MRI methods based on signal intensity of T1 weighted image alone, we chose to use parametric images based on Multi-spin multi-echo (MSME) Bruker pulse sequence which has proven to be particularly robust in our laboratory over the last several years. The sequence was optimized on a T1 basis to emphasize the signal. T2 relaxation times can be calculated from the multi echo data and we have done so on a pixel by pixel basis for the initial step in the post processing methodology. The post processing consists of parallel paths. On one hand, the weighted image is precisely divided into different regions with optimized smoothing and segmentation methods; and on the other hand, a confidence image is deduced from the parametric image according to the distribution of relaxation time relationship of typical adipose. With the assistance of the confidence image, a useful software feature was implemented to which enhances the data and in the end results in a more reliable and flexible method for adipose evaluation.</p> <p>Results</p> <p>In this paper, we describe how we arrived at our recommended procedures and key aspects of the post-processing steps. The feasibility of the proposed method is tested on both simulated and real data in this preliminary research. A research tool was created to help researchers segment out fat even when the anatomical information is of low quality making it difficult to distinguish between fat and non-fat. In addition, tool is designed to allow the operator to make adjustments to many of the key steps for comparison purposes and to quantitatively assess the difference these changes make. Ultimately our flexible software lets the researcher define key aspects of the fat segmentation and quantification.</p> <p>Conclusions</p> <p>Combining the full T2 parametric information with the optimized first echo image information, the research tool enhances the reliability of the results while providing more flexible operations than previous methods. The innovation in the method is to pair an optimized and very specific image acquisition technique to a flexible but tuned image post processing method. The separation of the fat is aided by the confidence distribution of regions produced on a scale relevant to and dictated by practical aspects of MRI at 7T.</p

Non-cognate translation priming in masked priming lexical decision experiments: a meta-analysis

The masked translation priming paradigm has been widely used in the last 25 years to investigate word processing in bilinguals. Motivated by studies reporting mixed findings, in particular for second language (L2) to first language (L1) translation priming, we conducted, for the first time in the literature, a meta-analysis of 64 lexical decision experiments across 24 studies to assess the effect sizes of L1-L2 and L2-L1 non-cognate translation priming effects in bilinguals. Our meta-analysis also investigated the influence of potential moderators of translation priming effects. The results provided clear evidence of significant translation priming effects for both directions, with L1-L2 translation priming significantly larger than L2-L1 translation priming (i.e., effect size of 0.86 vs. 0.31). The analyses also revealed that L1-L2 translation effect sizes were moderated by the interval between prime and target (ISI), whereas L2-L1 translation effect sizes were modulated by the number of items per cell. Theoretical and methodological implications of this meta-analysis are discussed and recommendations for future studies are provided

Rasl11b Knock Down in Zebrafish Suppresses One-Eyed-Pinhead Mutant Phenotype

The EGF-CFC factor Oep/Cripto1/Frl1 has been implicated in embryogenesis and several human cancers. During vertebrate development, Oep/Cripto1/Frl1 has been shown to act as an essential coreceptor in the TGFβ/Nodal pathway, which is crucial for germ layer formation. Although studies in cell cultures suggest that Oep/Cripto1/Frl1 is also implicated in other pathways, in vivo it is solely regarded as a Nodal coreceptor. We have found that Rasl11b, a small GTPase belonging to a Ras subfamily of putative tumor suppressor genes, modulates Oep function in zebrafish independently of the Nodal pathway. rasl11b down regulation partially rescues endodermal and prechordal plate defects of zygotic oep−/− mutants (Zoep). Rasl11b inhibitory action was only observed in oep-deficient backgrounds, suggesting that normal oep expression prevents Rasl11b function. Surprisingly, rasl11b down regulation does not rescue mesendodermal defects in other Nodal pathway mutants, nor does it influence the phosphorylation state of the downstream effector Smad2. Thus, Rasl11b modifies the effect of Oep on mesendoderm development independently of the main known Oep output: the Nodal signaling pathway. This data suggests a new branch of Oep signaling that has implications for germ layer development, as well as for studies of Oep/Frl1/Cripto1 dysfunction, such as that found in tumors

Methanobactin and the Link Between Copper and Bacterial Methane Oxidation

Methanobactins (mbs) are low-molecular-mass (<1,200 Da) copper-binding peptides, or chalkophores, produced by many methane-oxidizing bacteria (methanotrophs). These molecules exhibit similarities to certain iron-binding siderophores but are expressed and secreted in response to copper limitation. Structurally, mbs are characterized by a pair of heterocyclic rings with associated thioamide groups that form the copper coordination site. One of the rings is always an oxazolone and the second ring an oxazolone, an imidazolone, or a pyrazinedione moiety. The mb molecule originates from a peptide precursor that undergoes a series of posttranslational modifications, including (i) ring formation, (ii) cleavage of a leader peptide sequence, and (iii) in some cases, addition of a sulfate group. Functionally, mbs represent the extracellular component of a copper acquisition system. Consistent with this role in copper acquisition, mbs have a high affinity for copper ions. Following binding, mbs rapidly reduce Cu2+ to Cu1+. In addition to binding copper, mbs will bind most transition metals and near-transition metals and protect the host methanotroph as well as other bacteria from toxic metals. Several other physiological functions have been assigned to mbs, based primarily on their redox and metal-binding properties. In this review, we examine the current state of knowledge of this novel type of metal-binding peptide. We also explore its potential applications, how mbs may alter the bioavailability of multiple metals, and the many roles mbs may play in the physiology of methanotrophs