Concentration dependent interdiffusion in InGaAs/GaAs as evidenced by high resolution x-ray diffraction and photoluminescence spectroscopy

Article copyright 2005 American Institute of Physics. This article may be downloaded for personal use only. Any other use requires prior permission of the author and the American Institute of Physics. The article appeared in Journal of Applied Physics 97, 013536 (2005) and may be found at

The Reversible Temporal Process Language

Reversible debuggers help programmers to quickly find the causes of misbehaviours in concurrent programs. These debuggers can be founded on the well-studied theory of causal-consistent reversibility, which allows one to undo any action provided that its consequences are undone beforehand. Till now, causal-consistent reversibility never considered time, a key aspect in real world applications. Here, we study the interplay between reversibility and time in concurrent systems via a process algebra. The Temporal Process Language (TPL) by Hennessy and Regan is a well-understood extension of CCS with discrete-time and a timeout operator. We define revTPL, a reversible extension of TPL, and we show that it satisfies the properties expected from a causal-consistent reversible calculus. We show that, alternatively, revTPL can be interpreted as an extension of reversible CCS with time

A Modular Toolkit for Distributed Interactions

We discuss the design, architecture, and implementation of a toolkit which supports some theories for distributed interactions. The main design principles of our architecture are flexibility and modularity. Our main goal is to provide an easily extensible workbench to encompass current algorithms and incorporate future developments of the theories. With the help of some examples, we illustrate the main features of our toolkit.Comment: In Proceedings PLACES 2010, arXiv:1110.385

Real-time optical manipulation of cardiac conduction in intact hearts

Optogenetics has provided new insights in cardiovascular research, leading to new methods for cardiac pacing, resynchronization therapy and cardioversion. Although these interventions have clearly demonstrated the feasibility of cardiac manipulation, current optical stimulation strategies do not take into account cardiac wave dynamics in real time. Here, we developed an all‐optical platform complemented by integrated, newly developed software to monitor and control electrical activity in intact mouse hearts. The system combined a wide‐field mesoscope with a digital projector for optogenetic activation. Cardiac functionality could be manipulated either in free‐run mode with submillisecond temporal resolution or in a closed‐loop fashion: a tailored hardware and software platform allowed real‐time intervention capable of reacting within 2 ms. The methodology was applied to restore normal electrical activity after atrioventricular block, by triggering the ventricle in response to optically mapped atrial activity with appropriate timing. Real‐time intraventricular manipulation of the propagating electrical wavefront was also demonstrated, opening the prospect for real‐time resynchronization therapy and cardiac defibrillation. Furthermore, the closed‐loop approach was applied to simulate a re‐entrant circuit across the ventricle demonstrating the capability of our system to manipulate heart conduction with high versatility even in arrhythmogenic conditions. The development of this innovative optical methodology provides the first proof‐of‐concept that a real‐time optically based stimulation can control cardiac rhythm in normal and abnormal conditions, promising a new approach for the investigation of the (patho)physiology of the heart

Monitoring Networks through Multiparty Session Types

In large-scale distributed infrastructures, applications are realised through communications among distributed components. The need for methods for assuring safe interactions in such environments is recognized, however the existing frameworks, relying on centralised verification or restricted specification methods, have limited applicability. This paper proposes a new theory of monitored π-calculus with dynamic usage of multiparty session types (MPST), offering a rigorous foundation for safety assurance of distributed components which asynchronously communicate through multiparty sessions. Our theory establishes a framework for semantically precise decentralised run-time enforcement and provides reasoning principles over monitored distributed applications, which complement existing static analysis techniques. We introduce asynchrony through the means of explicit routers and global queues, and propose novel equivalences between networks, that capture the notion of interface equivalence, i.e. equating networks offering the same services to a user. We illustrate our static-dynamic analysis system with an ATM protocol as a running example and justify our theory with results: satisfaction equivalence, local/global safety and transparency, and session fidelity

Geometry Optimization for Miniaturized Thermoelectric Generators

Thermoelectric materials capable of converting heat into electrical energy are used in sustainable electric generators, whose efficiency has been normally increased with incorporation of new materials with high figure of merit (ZT) values. Because the performance of these thermoelectric generators (TEGs) also depends on device geometry, in this study we employ the finite element method to determine optimized geometries for highly efficient miniaturized TEGs. We investigated devices with similar fill factors but with different thermoelectric leg geometries (filled and hollow). Our results show that devices with legs of hollow geometry are more efficient than those with filled geometry for the same length and cross-sectional area of thermoelectric legs. This behavior was observed for thermoelectric leg lengths smaller than 0.1 mm, where the leg shape causes a significant difference in temperature distribution along the device. It was found that for reaching highly efficient miniaturized TEGs, one has to consider the leg geometry in addition to the thermal conductivity

Electrochemical characterization of thin passive films on Nb electrodes in H3PO4 solutions

The electrical and semiconducting properties of thin anodic passive films potentiostatically formed (1 V £ Ef £ 5 V vs. sce) on polycrystalline niobium electrodes in aqueous 0.5 mol/L H3PO4 solutions (pH 1.3) were studied, at room temperature, using electrochemical impedance spectroscopy. The data were analysed with a transfer function using a non-linear fitting routine, assuming that the resistance of the film is coupled in series with the faradaic impedance of the Nb(0) Nb(V) reaction, and these in parallel with the capacitance of the passive film/electrolyte interface. The relative permittivity of the films was estimated as about 44. The number concentration of donors (N D) in the films was found to decrease with Ef (i.e., with increasing film thickness). A flat band potential value of -0.72 V was also obtained from Mott-Schottky plots

Persistent nonbilious vomiting in a child: Possible duodenal webbing

An association between malrotation and congenital duodenal webbing is rare. We present our experience with four patients at two centers, and a review of published reports. There are currently 94 reported cases of duodenal pathology associated with malrotation. However, only 15 of the 94 cases (15.9%) include patients with malrotation and a duodenal web. We suggest that nonbilious vomiting in a child must prompt the surgeon to consider duodenal pathology even in the presence of malrotation

The obstetric syndromes: Clinical relevance of placental hormones

Preterm delivery, preeclampsia and intrauterine growth restriction are the major diseases of pregnancy. A key role in their pathogenesis is played by the placenta, which is the source of hormones and other important regulatory molecules providing the metabolic and endocrine homeostasis of the fetal-placental unit. Since obstetric syndromes are characterized by important maternal and neonatal morbidity and mortality worldwide, numerous efforts have been made over the years to prevent and treat them. Due to their complex pathogenesis, however, the therapy is poor and not very effective. Therefore, great emphasis is currently given to the prevention of these diseases through the identification of biochemical and biophysical markers, among which placental factors play a crucial role. The increasing knowledge of the role of placental molecules can indeed lead to the development of new therapeutic and diagnostic tools. © 2013 Expert Reviews Ltd