A Logical Characterization of Timed (non-)Regular Languages

CLTLoc (Constraint LTL over clocks) is a quantifier-free extension of LTL allowing variables behaving like clocks over real numbers. CLTLoc is in PSPACE [9] and its satisfiability can polynomially be reduced to a SMT problem, allowing a feasible implementation of a decision procedure. We used CLTLoc to capture the semantics of metric temporal logics over continuous time, such as Metric Interval Temporal Logic (MITL), resulting in the first successful implementation of a tool for checking MITL satisfiability [7]. In this paper, we assess the expressive power of CLTLoc, by comparing it with various temporal formalisms over dense time.When interpreted over timed words, CLTLoc is equivalent to Timed Automata. We also define a monadic theory of orders, extending the one introduced by Kamp, which is expressively equivalent to CLTLoc. We investigate a decidable extension with an arithmetical next operator, which allows the expression of timed non-ω-regular languages

X-ray Raman scattering : An exciting tool for the study of matter at conditions of the Earth's interior

Volume: 425The study of minerals and melts at in situ conditions is highly relevant to understand the physical and chemical properties of the Earth's crust and mantle. Here, x-ray Raman scattering provides a valuable tool to investigate the local atomic and electronic structure of Earth materials consisting predominantly of low Z elements at high pressures and temperatures. The capabilities of x-ray Raman scattering to investigate silicate minerals, glasses, and melts are discussed and the application of the method to in situ studies of silicate melts using a hydrothermal diamond anvil cell is demonstrated.Non peer reviewe

Quasiclassical magnetotransport in a random array of antidots

We study theoretically the magnetoresistance $\rho_{xx}(B)$ of a two-dimensional electron gas scattered by a random ensemble of impenetrable discs in the presence of a long-range correlated random potential. We believe that this model describes a high-mobility semiconductor heterostructure with a random array of antidots. We show that the interplay of scattering by the two types of disorder generates new behavior of $\rho_{xx}(B)$ which is absent for only one kind of disorder. We demonstrate that even a weak long-range disorder becomes important with increasing $B$. In particular, although $\rho_{xx}(B)$ vanishes in the limit of large $B$ when only one type of disorder is present, we show that it keeps growing with increasing $B$ in the antidot array in the presence of smooth disorder. The reversal of the behavior of $\rho_{xx}(B)$ is due to a mutual destruction of the quasiclassical localization induced by a strong magnetic field: specifically, the adiabatic localization in the long-range Gaussian disorder is washed out by the scattering on hard discs, whereas the adiabatic drift and related percolation of cyclotron orbits destroys the localization in the dilute system of hard discs. For intermediate magnetic fields in a dilute antidot array, we show the existence of a strong negative magnetoresistance, which leads to a nonmonotonic dependence of $\rho_{xx}(B)$.Comment: 21 pages, 13 figure

Coding of coronary arterial origin and branching in congenital heart disease: The modified Leiden Convention

Objectives: Variations in coronary anatomy are common and may relate to the position of the coronary ostium relative to the aortic sinus, the angle of coronary take-off, or the course of the coronary arterial branches. Several classification systems have been proposed. However, they all lack a simple rationale that is applicable irrespective of the relative position of the great arteries, as well as in bicuspid aortic valves. We present a modification of a relatively simple system introduced in the early 1980s, designated the “Leiden Convention.” Methods: The first step of the Leiden Convention is that the clinician takes position in the nonfacing sinus of the aorta looking toward the pulmonary orifice. The right-hand facing sinus is sinus 1, and the left-hand facing sinus is sinus 2. The coronary branches arising from sinus 1 are annotated proceeding in a counterclockwise fashion toward sinus 2. “Usual” (normal) coronary anatomy would be 1R-2LCx. Given their clinical relevance, single sinus coronary arteries are discussed separately. Results: This system was originally designed and highly applicable in hearts with an altered great artery relationship, such as in the var

2D characterization of near-surface V P/V S: surface-wave dispersion inversion versus refraction tomography

International audienceThe joint study of pressure (P-) and shear (S-) wave velocities (Vp and Vs ), as well as their ratio (Vp /Vs), has been used for many years at large scales but remains marginal in near-surface applications. For these applications, and are generally retrieved with seismic refraction tomography combining P and SH (shear-horizontal) waves, thus requiring two separate acquisitions. Surface-wave prospecting methods are proposed here as an alternative to SH-wave tomography in order to retrieve pseudo-2D Vs sections from typical P-wave shot gathers and assess the applicability of combined P-wave refraction tomography and surface-wave dispersion analysis to estimate Vp/Vs ratio. We carried out a simultaneous P- and surface-wave survey on a well-characterized granite-micaschists contact at Ploemeur hydrological observatory (France), supplemented with an SH-wave acquisition along the same line in order to compare Vs results obtained from SH-wave refraction tomography and surface-wave profiling. Travel-time tomography was performed with P- and SH- wave first arrivals observed along the line to retrieve Vtomo p and Vtomo s models. Windowing and stacking techniques were then used to extract evenly spaced dispersion data from P-wave shot gathers along the line. Successive 1D Monte Carlo inversions of these dispersion data were performed using fixed Vp values extracted from Vtomo p the model and no lateral constraints between two adjacent 1D inversions. The resulting 1D Vsw s models were then assembled to create a pseudo-2D Vsw s section, which appears to be correctly matching the general features observed on the section. If the pseudo-section is characterized by strong velocity incertainties in the deepest layers, it provides a more detailed description of the lateral variations in the shallow layers. Theoretical dispersion curves were also computed along the line with both and models. While the dispersion curves computed from models provide results consistent with the coherent maxima observed on dispersion images, dispersion curves computed from models are generally not fitting the observed propagation modes at low frequency. Surface-wave analysis could therefore improve models both in terms of reliability and ability to describe lateral variations. Finally, we were able to compute / sections from both and models. The two sections present similar features, but the section obtained from shows a higher lateral resolution and is consistent with the features observed on electrical resistivity tomography, thus validating our approach for retrieving Vp/Vs ratio from combined P-wave tomography and surface-wave profiling

Age at symptom onset and death and disease duration in genetic frontotemporal dementia : an international retrospective cohort study

Background: Frontotemporal dementia is a heterogenous neurodegenerative disorder, with about a third of cases being genetic. Most of this genetic component is accounted for by mutations in GRN, MAPT, and C9orf72. In this study, we aimed to complement previous phenotypic studies by doing an international study of age at symptom onset, age at death, and disease duration in individuals with mutations in GRN, MAPT, and C9orf72. Methods: In this international, retrospective cohort study, we collected data on age at symptom onset, age at death, and disease duration for patients with pathogenic mutations in the GRN and MAPT genes and pathological expansions in the C9orf72 gene through the Frontotemporal Dementia Prevention Initiative and from published papers. We used mixed effects models to explore differences in age at onset, age at death, and disease duration between genetic groups and individual mutations. We also assessed correlations between the age at onset and at death of each individual and the age at onset and at death of their parents and the mean age at onset and at death of their family members. Lastly, we used mixed effects models to investigate the extent to which variability in age at onset and at death could be accounted for by family membership and the specific mutation carried. Findings: Data were available from 3403 individuals from 1492 families: 1433 with C9orf72 expansions (755 families), 1179 with GRN mutations (483 families, 130 different mutations), and 791 with MAPT mutations (254 families, 67 different mutations). Mean age at symptom onset and at death was 49\ub75 years (SD 10\ub70; onset) and 58\ub75 years (11\ub73; death) in the MAPT group, 58\ub72 years (9\ub78; onset) and 65\ub73 years (10\ub79; death) in the C9orf72 group, and 61\ub73 years (8\ub78; onset) and 68\ub78 years (9\ub77; death) in the GRN group. Mean disease duration was 6\ub74 years (SD 4\ub79) in the C9orf72 group, 7\ub71 years (3\ub79) in the GRN group, and 9\ub73 years (6\ub74) in the MAPT group. Individual age at onset and at death was significantly correlated with both parental age at onset and at death and with mean family age at onset and at death in all three groups, with a stronger correlation observed in the MAPT group (r=0\ub745 between individual and parental age at onset, r=0\ub763 between individual and mean family age at onset, r=0\ub758 between individual and parental age at death, and r=0\ub769 between individual and mean family age at death) than in either the C9orf72 group (r=0\ub732 individual and parental age at onset, r=0\ub736 individual and mean family age at onset, r=0\ub738 individual and parental age at death, and r=0\ub740 individual and mean family age at death) or the GRN group (r=0\ub722 individual and parental age at onset, r=0\ub718 individual and mean family age at onset, r=0\ub722 individual and parental age at death, and r=0\ub732 individual and mean family age at death). Modelling showed that the variability in age at onset and at death in the MAPT group was explained partly by the specific mutation (48%, 95% CI 35\u201362, for age at onset; 61%, 47\u201373, for age at death), and even more by family membership (66%, 56\u201375, for age at onset; 74%, 65\u201382, for age at death). In the GRN group, only 2% (0\u201310) of the variability of age at onset and 9% (3\u201321) of that of age of death was explained by the specific mutation, whereas 14% (9\u201322) of the variability of age at onset and 20% (12\u201330) of that of age at death was explained by family membership. In the C9orf72 group, family membership explained 17% (11\u201326) of the variability of age at onset and 19% (12\u201329) of that of age at death. Interpretation: Our study showed that age at symptom onset and at death of people with genetic frontotemporal dementia is influenced by genetic group and, particularly for MAPT mutations, by the specific mutation carried and by family membership. Although estimation of age at onset will be an important factor in future pre-symptomatic therapeutic trials for all three genetic groups, our study suggests that data from other members of the family will be particularly helpful only for individuals with MAPT mutations. Further work in identifying both genetic and environmental factors that modify phenotype in all groups will be important to improve such estimates. Funding: UK Medical Research Council, National Institute for Health Research, and Alzheimer's Society

Heterogeneous clinical phenotypes and cerebral malformations reflected by rotatin cellular dynamics

Recessive mutations in RTTN, encoding the protein rotatin, were originally identified as cause of polymicrogyria, a cortical malformation. With time, a wide variety of other brain malformations has been ascribed to RTTN mutations, including primary microcephaly. Rotatin is a centrosomal protein possibly involved in centriolar elongation and ciliogenesis. However, the function of rotatin in brain development is largely unknown and the molecular disease mechanism underlying cortical malformations has not yet been elucidated. We performed both clinical and cell biological studies, aimed at clarifying rotatin function and pathogenesis. Review of the 23 published and five unpublished clinical cases and genomic mutations, including the effect of novel deep intronic pathogenic mutations on RTTN transcripts, allowed us to extrapolate the core phenotype, consisting of intellectual disability, short stature, microcephaly, lissencephaly, periventricular heterotopia, polymicrogyria and other malformations. We show that the severity of the phenotype is related to residual function of the protein, not only the level of mRNA expression. Skin fibroblasts from eight affected individuals were studied by high resolution immunomicroscopy and flow cytometry, in parallel with in vitro expression of RTTN in HEK293T cells. We demonstrate that rotatin regulates different phases of the cell cycle and is mislocalized in affected individuals. Mutant cells showed consistent and severe mitotic failure with centrosome amplification and multipolar spindle formation, leading to aneuploidy and apoptosis, which could relate to depletion of neuronal progenitors often observed in microcephaly. We confirmed the role of rotatin in functional and structural maintenance of primary cilia and determined that the protein localized not only to the basal body, but also to the axoneme, proving the functional interconnectivity between ciliogenesis and cell cycle progression. Proteomics analysis of both native and exogenous rotatin uncovered that rotatin interacts with the neuronal (non-muscle) myosin heavy chain subunits, motors of nucleokinesis during neuronal migration, and in human induced pluripotent stem cell-derived bipolar mature neurons rotatin localizes at the centrosome in the leading edge. This illustrates the role of rotatin in neuronal migration. These different functions of rotatin explain why RTTN mutations can lead to heterogeneous cerebral malformations, both related to proliferation and migration defects.Genetics of disease, diagnosis and treatmen

Meta-analysis of type 2 Diabetes in African Americans Consortium

Type 2 diabetes (T2D) is more prevalent in African Americans than in Europeans. However, little is known about the genetic risk in African Americans despite the recent identification of more than 70 T2D loci primarily by genome-wide association studies (GWAS) in individuals of European ancestry. In order to investigate the genetic architecture of T2D in African Americans, the MEta-analysis of type 2 DIabetes in African Americans (MEDIA) Consortium examined 17 GWAS on T2D comprising 8,284 cases and 15,543 controls in African Americans in stage 1 analysis. Single nucleotide polymorphisms (SNPs) association analysis was conducted in each study under the additive model after adjustment for age, sex, study site, and principal components. Meta-analysis of approximately 2.6 million genotyped and imputed SNPs in all studies was conducted using an inverse variance-weighted fixed effect model. Replications were performed to follow up 21 loci in up to 6,061 cases and 5,483 controls in African Americans, and 8,130 cases and 38,987 controls of European ancestry. We identified three known loci (TCF7L2, HMGA2 and KCNQ1) and two novel loci (HLA-B and INS-IGF2) at genome-wide significance (4.15 × 10(-94)<P<5 × 10(-8), odds ratio (OR)  = 1.09 to 1.36). Fine-mapping revealed that 88 of 158 previously identified T2D or glucose homeostasis loci demonstrated nominal to highly significant association (2.2 × 10(-23) < locus-wide P<0.05). These novel and previously identified loci yielded a sibling relative risk of 1.19, explaining 17.5% of the phenotypic variance of T2D on the liability scale in African Americans. Overall, this study identified two novel susceptibility loci for T2D in African Americans. A substantial number of previously reported loci are transferable to African Americans after accounting for linkage disequilibrium, enabling fine mapping of causal variants in trans-ethnic meta-analysis studies.Peer reviewe

First measurement of hadronic event shapes in pp collisions at √s = 7 TeV

This is the Pre-Print version of the Article - Copyright @ 2011 ElsevierHadronic event shapes have been measured in proton-proton collisions at sqrt(s)=7 TeV, with a data sample collected with the CMS detector at the LHC. The sample corresponds to an integrated luminosity of 3.2 inverse picobarns. Event-shape distributions, corrected for detector response, are compared with five models of QCD multijet production