Reactive systems are real-time systems which continuously react to their environment. The Synchronie environment integrates several synchronous languages to design such systems as well as several formalisms and tools to verify their properties. The integration is based on Boolean Automata, BA for short. This paper presents how safety properties speciied in a linear Temporal Logic are automatica...

We studied fluorescence resonance energy transfer between donors and acceptors bound to double-helical DNA. The donor Hoechst 33258 binds to the minor groove of DNA and the acceptor propidium iodide (PI) is an intercalator. The time-resolved donor decays were measured in the frequency domain. The donor decays were consistent with a random 1-dimensional distribution of acceptors. The decays were...

Molecular association of various aromatic hydrocarbons (D, including sterically hindered donors) with a representative group of diverse acceptors (A ) quinone, trinitrobenzene, tetracyanoethylene, tropylium, tetranitromethane, and nitrosonium) is visually apparent in solution by the spontaneous appearance of distinctive colors. Spectral (UV-vis) analyses of the colored solutions reveal their ch...

Measurements of the local density of states of individual acceptors in III-V semiconductors show that the symmetry of the acceptor states strongly depends on the depth of the atom below a (110) surface. Tight-binding calculations performed for a uniformly strained bulk material demonstrate that strain induced by the surface relaxation is responsible for the observed depth-dependent symmetry bre...

introduction: mandibular fracture is the most common facial bone fracture due to facial trauma. a variety of imagings have been used for diagnosis of mandibular fractures. however, the choice of imaging for diagnosis of mandibular fractures is controversial.present study compares the accuracy of the three most common imaging methods in mandibular fracture diagnosis panoramic radiography, corona...

We demonstrate the use of luminescent quantum dots (QDs) conjugated to dye-labeled protein acceptors for nonradiative energy transfer in a multiplexed format. Two configurations were explored: (1) a single color QD interacting with multiple distinct acceptors and (2) multiple donor populations interacting with one type of acceptor. In both cases, we showed that simultaneous energy transfer betw...