1,273 research outputs found

    Determination of the characteristic directions of lossless linear optical elements

    Full text link
    We show that the problem of finding the primary and secondary characteristic directions of a linear lossless optical element can be reformulated in terms of an eigenvalue problem related to the unimodular factor of the transfer matrix of the optical device. This formulation makes any actual computation of the characteristic directions amenable to pre-implemented numerical routines, thereby facilitating the decomposition of the transfer matrix into equivalent linear retarders and rotators according to the related Poincare equivalence theorem. The method is expected to be useful whenever the inverse problem of reconstruction of the internal state of a transparent medium from optical data obtained by tomographical methods is an issue.Comment: Replaced with extended version as published in JM

    Mightyl: A compositional translation from mitl to timed automata

    Get PDF
    Metric Interval Temporal Logic (MITL) was first proposed in the early 1990s as a specification formalism for real-time systems. Apart from its appealing intuitive syntax, there are also theoretical evidences that make MITL a prime real-time counterpart of Linear Temporal Logic (LTL). Unfortunately, the tool support for MITL verification is still lacking to this day. In this paper, we propose a new construction from MITL to timed automata via very-weak one-clock alternating timed automata. Our construction subsumes the well-known construction from LTL to Büchi automata by Gastin and Oddoux and yet has the additional benefits of being compositional and integrating easily with existing tools. We implement the construction in our new tool MightyL and report on experiments using Uppaal and LTSmin as back-ends

    Inferring human population sizes, divergence times and rates of gene flow from mitochondrial, X and Y chromosome resequencing data

    Get PDF
    We estimate parameters of a general isolation-with-migration model using resequence data from mitochondrial DNA (mtDNA), the Y chromosome, and two loci on the X chromosome in samples of 25-50 individuals from each of 10 human populations. Application of a coalescent-based Markov chain Monte Carlo technique allows simultaneous inference of divergence times, rates of gene flow, as well as changes in effective population size. Results from comparisons between sub-Saharan African and Eurasian populations estimate that 1500 individuals founded the ancestral Eurasian population similar to 40 thousand years ago (KYA). Furthermore, these small Eurasian founding populations appear to have grown much more dramatically than either African or Oceanian populations. Analyses of sub-Saharan African populations provide little evidence for a history, of population bottlenecks and suggest that die), began diverging from one another upward of 50 KYA. We surmise that ancestral African populations had already been geographically structured prior to the founding of ancestral Eurasian populations. African populations are shown to experience low levels of mitochondrial DNA gene flow, but high levels of Y chromosome gene flow. In particular, Y chromosome gene flow appears to be asymmetric, i.e., from the Bantu-speaking population into other African populations. Conversely, mitochondrial gene flow is more extensive between non-African populations, but appears to be absent between European and Asian Populations

    Predicting mental imagery based BCI performance from personality, cognitive profile and neurophysiological patterns

    Get PDF
    Mental-Imagery based Brain-Computer Interfaces (MI-BCIs) allow their users to send commands to a computer using their brain-activity alone (typically measured by ElectroEncephaloGraphy— EEG), which is processed while they perform specific mental tasks. While very promising, MI-BCIs remain barely used outside laboratories because of the difficulty encountered by users to control them. Indeed, although some users obtain good control performances after training, a substantial proportion remains unable to reliably control an MI-BCI. This huge variability in user-performance led the community to look for predictors of MI-BCI control ability. However, these predictors were only explored for motor-imagery based BCIs, and mostly for a single training session per subject. In this study, 18 participants were instructed to learn to control an EEG-based MI-BCI by performing 3 MI-tasks, 2 of which were non-motor tasks, across 6 training sessions, on 6 different days. Relationships between the participants’ BCI control performances and their personality, cognitive profile and neurophysiological markers were explored. While no relevant relationships with neurophysiological markers were found, strong correlations between MI-BCI performances and mental-rotation scores (reflecting spatial abilities) were revealed. Also, a predictive model of MI-BCI performance based on psychometric questionnaire scores was proposed. A leave-one-subject-out cross validation process revealed the stability and reliability of this model: it enabled to predict participants’ performance with a mean error of less than 3 points. This study determined how users’ profiles impact their MI-BCI control ability and thus clears the way for designing novel MI-BCI training protocols, adapted to the profile of each user

    The Influence of Different Stresses on Glomalin Levels in an Arbuscular Mycorrhizal Fungus—Salinity Increases Glomalin Content

    Get PDF
    Glomalin is a glycoprotein produced by arbuscular mycorrhizal (AM) fungi, and the soil fraction containing glomalin is correlated with soil aggregation. Thus, factors potentially influencing glomalin production could be of relevance for this ecosystem process and for understanding AM fungal physiology. Previous work indicated that glomalin production in AM fungi may be a stress response, or related to suboptimal mycelium growth. We show here that environmental stress can enhance glomalin production in the mycelium of the AM fungus Glomus intraradices. We applied NaCl and glycerol in different intensities to the medium in which the fungus was grown in vitro, causing salinity stress and osmotic stress, respectively. As a third stress type, we simulated grazing on the extraradical hyphae of the fungus by mechanically injuring the mycelium by clipping. NaCl caused a strong increase, while the clipping treatment led to a marginally significant increase in glomalin production. Even though salinity stress includes osmotic stress, we found substantially different responses in glomalin production due to the NaCl and the glycerol treatment, as glycerol addition did not cause any response. Thus, our results indicate that glomalin is involved in inducible stress responses in AM fungi for salinity, and possibly grazing stress

    Defective Gpsm2/G alpha(i3) signalling disrupts stereocilia development and growth cone actin dynamics in Chudley-McCullough syndrome

    Get PDF
    Mutations in GPSM2 cause Chudley-McCullough syndrome (CMCS), an autosomal recessive neurological disorder characterized by early-onset sensorineural deafness and brain anomalies. Here, we show that mutation of the mouse orthologue of GPSM2 affects actin-rich stereocilia elongation in auditory and vestibular hair cells, causing deafness and balance defects. The G-protein subunit Gαi3, a well-documented partner of Gpsm2, participates in the elongation process, and its absence also causes hearing deficits. We show that Gpsm2 defines an ∼200 nm nanodomain at the tips of stereocilia and this localization requires the presence of Gαi3, myosin 15 and whirlin. Using single-molecule tracking, we report that loss of Gpsm2 leads to decreased outgrowth and a disruption of actin dynamics in neuronal growth cones. Our results elucidate the aetiology of CMCS and highlight a new molecular role for Gpsm2/Gαi3 in the regulation of actin dynamics in epithelial and neuronal tissues

    Ancient Migratory Events in the Middle East: New Clues from the Y-Chromosome Variation of Modern Iranians

    Get PDF
    Knowledge of high resolution Y-chromosome haplogroup diversification within Iran provides important geographic context regarding the spread and compartmentalization of male lineages in the Middle East and southwestern Asia. At present, the Iranian population is characterized by an extraordinary mix of different ethnic groups speaking a variety of Indo-Iranian, Semitic and Turkic languages. Despite these features, only few studies have investigated the multiethnic components of the Iranian gene pool. In this survey 938 Iranian male DNAs belonging to 15 ethnic groups from 14 Iranian provinces were analyzed for 84 Y-chromosome biallelic markers and 10 STRs. The results show an autochthonous but non-homogeneous ancient background mainly composed by J2a sub-clades with different external contributions. The phylogeography of the main haplogroups allowed identifying post-glacial and Neolithic expansions toward western Eurasia but also recent movements towards the Iranian region from western Eurasia (R1b-L23), Central Asia (Q-M25), Asia Minor (J2a-M92) and southern Mesopotamia (J1-Page08). In spite of the presence of important geographic barriers (Zagros and Alborz mountain ranges, and the Dasht-e Kavir and Dash-e Lut deserts) which may have limited gene flow, AMOVA analysis revealed that language, in addition to geography, has played an important role in shaping the nowadays Iranian gene pool. Overall, this study provides a portrait of the Y-chromosomal variation in Iran, useful for depicting a more comprehensive history of the peoples of this area as well as for reconstructing ancient migration routes. In addition, our results evidence the important role of the Iranian plateau as source and recipient of gene flow between culturally and genetically distinct population

    In vivo measurement of bending stiffness in fracture healing

    Get PDF
    BACKGROUND: Measurement of the bending stiffness a healing fracture represents a valid variable in the assessment of fracture healing. However, currently available methods typically have high measurement errors, even for mild pin loosening. Furthermore, these methods cannot provide actual values of bending stiffness, which precludes comparisons among individual fractures. Thus, even today, little information is available with regards to the fracture healing pattern with respect to actual values of bending stiffness. Our goals were, therefore: to develop a measurement device that would allow accurate and sensitive measurement of bending stiffness, even in the presence of mild pin loosening; to describe the course of healing in individual fractures; and help to evaluate whether the individual pattern of bending stiffness can be predicted at an early stage of healing. METHODS: A new measurement device has been developed to precisely measure the bending stiffness of the healing fracture by simulating four-point-bending. The system was calibrated on aluminum models and intact tibiae. The influence of pin loosening on measurement error was evaluated. The system was tested at weekly intervals in an animal experiment to determine the actual bending stiffness of the fracture. Transverse fractures were created in the right tibia of twelve sheep, and then stabilized with an external fixator. At ten weeks, bending stiffness of the tibiae were determined in a four-point-bending test device to validate the in-vivo-measurement data. RESULTS: In-vivo bending stiffness can be measured accurately and sensitive, even in the early phase of callus healing. Up to a bending stiffness of 10 Nm/degree, measurement error was below 3.4% for one pin loose, and below 29.3% for four pins loose, respectively. Measurement of stiffness data over time revealed a significant logarithmic increase between the third and seventh weeks, whereby the logarithmic rate of change among sheep was similar, but started from different levels. Comparative measurements showed that early individual changes between the third and fourth weeks can be used as a predictor of bending stiffness at seven weeks (r = 0.928) and at ten weeks (r = 0.710). CONCLUSION: Bending stiffness can be measured precisely, with less error in the case of pin loosening. Prediction of the future healing course of the individual fracture can be assessed by changes from the third to the fourth week, with differences in stiffness levels. Therefore, the initial status of the fracture seems to have a high impact on the individual healing course
    corecore