Coherence of a room-temperature CW GaAs/GaAlAs injection laser

The temporal coherence of a stripe-geometry double-heterojunction GaAs/GaAlAs laser operating CW at room temperature was determined. A heterodyne detection scheme was used involving the mixing of the laser field with a frequency-shifted and time-delayed image of itself in an interferometer. Because the laser device oscillated in several longitudinal modes, the autocorrelation function of its output exhibited resonances for specific time delays. The rate at which the amplitude of these resonances decreased with increasing time delays provided a measure of an apparent coherence length associated with individual longitudinal modes. The coherence length, so defined, was found to increase linearly with drive current in excess of threshold. This observation is interpreted as evidence that the intrinsic linewidth of a longitudinal mode is inversely proportional to the coherent optical power in that mode. Apparent coherence lengths were a few centimeters for a few milliwatts of total optical power emitted per facet. For a perfectly balanced interferometer, a sharp heterodyne beat signal was also observed when the laser device was operated considerably below threshold, i.e., in the LED mode

Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach

This paper studies the problem of computing Nash equilibrium in wireless networks modeled by Weighted Timed Automata. Such formalism comes together with a logic that can be used to describe complex features such as timed energy constraints. Our contribution is a method for solving this problem using Statistical Model Checking. The method has been implemented in UPPAAL model checker and has been applied to the analysis of Aloha CSMA/CD and IEEE 802.15.4 CSMA/CA protocols.Comment: In Proceedings IWIGP 2012, arXiv:1202.422

A Few Considerations on Structural and Logical Composition in Specification Theories

Over the last 20 years a large number of automata-based specification theories have been proposed for modeling of discrete,real-time and probabilistic systems. We have observed a lot of shared algebraic structure between these formalisms. In this short abstract, we collect results of our work in progress on describing and systematizing the algebraic assumptions in specification theories.Comment: In Proceedings FIT 2010, arXiv:1101.426

Large-scale discovery of enhancers from human heart tissue.

Development and function of the human heart depend on the dynamic control of tissue-specific gene expression by distant-acting transcriptional enhancers. To generate an accurate genome-wide map of human heart enhancers, we used an epigenomic enhancer discovery approach and identified ∼6,200 candidate enhancer sequences directly from fetal and adult human heart tissue. Consistent with their predicted function, these elements were markedly enriched near genes implicated in heart development, function and disease. To further validate their in vivo enhancer activity, we tested 65 of these human sequences in a transgenic mouse enhancer assay and observed that 43 (66%) drove reproducible reporter gene expression in the heart. These results support the discovery of a genome-wide set of noncoding sequences highly enriched in human heart enhancers that is likely to facilitate downstream studies of the role of enhancers in development and pathological conditions of the heart

Monte Carlo studies of two-dimensional polymer–solvent systems

<div><p>Allergic bronchopulmonary aspergillosis (ABPA) in asthma is a severe, life-affecting disease that potentially affects over 4.8 million people globally. In the UK, ABPA is predominantly caused by the fungus <i>Aspergillus fumigatus</i>. Phagocytosis is important in clearance of this fungus, and Early Endosome Antigen 1 (<i>EEA1</i>) has been demonstrated to be involved in phagocytosis of fungi. We sought to investigate the role of <i>EEA1</i> mutations and phagocytosis in ABPA. We used exome sequencing to identify variants in <i>EEA1</i> associated with ABPA. We then cultured monocyte-derived macrophages (MDMs) from 17 ABPA subjects with <i>A</i>. <i>fumigatus</i> conidia, and analyzed phagocytosis and phagolysosome acidification in relation to the presence of these variants. We found that variants in <i>EEA1</i> were associated with ABPA and with the rate of phagocytosis of <i>A</i>. <i>fumigatus</i> conidia and the acidification of phagolysosomes. MDMs from ABPA subjects carrying the disease associated genotype showed increased acidification and phagocytosis compared to those from ABPA subjects carrying the non-associated genotypes or healthy controls.The identification of ABPA-associated variants in EEA that have functional effects on MDM phagocytosis and phagolysosome acidification of <i>A</i>. <i>fumigatus</i> conidia revolutionizes our understanding of susceptibility to this disease, which may in future benefit patients by earlier identification or improved treatments. We suggest that the increased phagocytosis and acidification observed demonstrates an over-active MDM profile in these patients, resulting in an exaggerated cellular response to the presence of <i>A</i>. <i>fumigatus</i> in the airways.</p></div

Statistical Model Checking for Stochastic Hybrid Systems

This paper presents novel extensions and applications of the UPPAAL-SMC model checker. The extensions allow for statistical model checking of stochastic hybrid systems. We show how our race-based stochastic semantics extends to networks of hybrid systems, and indicate the integration technique applied for implementing this semantics in the UPPAAL-SMC simulation engine. We report on two applications of the resulting tool-set coming from systems biology and energy aware buildings.Comment: In Proceedings HSB 2012, arXiv:1208.315