A Fully Abstract Symbolic Semantics for Psi-Calculi

We present a symbolic transition system and bisimulation equivalence for psi-calculi, and show that it is fully abstract with respect to bisimulation congruence in the non-symbolic semantics. A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted between processes and their names can be statically scoped using the standard pi-calculus mechanism to allow for scope migrations. Psi-calculi can be more general than other proposed extensions of the pi-calculus such as the applied pi-calculus, the spi-calculus, the fusion calculus, or the concurrent constraint pi-calculus. Symbolic semantics are necessary for an efficient implementation of the calculus in automated tools exploring state spaces, and the full abstraction property means the semantics of a process does not change from the original

Capteur en Optique Intégrée à Base de Verres de Chalcogénures pour la Détection de Polluants dans le Moyen-Infrarouge

National audienceLe Moyen Infra-Rouge (MIR) est la région spectrale comprise entre 3 et 20 µm. Cette gamme de longueurs d’onde est connue pour contenir des transitions vibrationnelles fondamentales caractéristiques d’espèces moléculaires en phase liquide ou gazeuse. De nombreuses substances telles que le toluène, le méthanol, l’éthanol, l’acétone, le glucose, le dioxyde de carbone peuvent être caractérisées par spectroscopie infrarouge grâce à leur signature spectrale d’absorption. Cette technique est ainsi une des plus appropriées parmi les techniques classiques d’analyse pour l’identification et la caractérisation structurelle des espèces moléculaires. Les disponibilités récentes de plateformes optiques présentant de faibles pertes de propagation et de sources émettant dans le MIR, notamment des QCL ont été la clé du développement d’études destinées à la réalisation de capteurs optiques fonctionnant dans la gamme spectrale du MIR. Par ailleurs, les capteurs en optique intégrée sont devenus une excellente alternative pour la détection in situ car ils présentent certains avantages sur les autres types de capteurs, tels que l'intégration des éléments dans un dispositif compact. Ils sont actuellement utilisés dans divers domaines sociétaux tels que la santé, la défense et l’environnement.Il existe différents matériaux transparents dans le MIR (le silicium, le germanium, l’arséniure de galium ou encore les verres de chalcogénures) susceptibles de constituer la plateforme optique de ces capteurs intégrés. Les verres de chalcogénures (ChGs) sont des matériaux semi-conducteurs composés par les éléments du groupe VIa (sélénium (Se), tellure (Te) ou soufre (S)). Ils forment des verres lorsqu’ils sont mélangés à un ou plusieurs autres éléments tels que le galium (Ga), le germanium (Ge), l’antimoine (Sb), le silicium (Si) ou le phosphore (P). Ces verres de ChGs se distinguent par leur transparence étendue dans l’infrarouge: certaines compositions transmettent jusqu’à 20 µm. Typiquement, leur transmission dans le MIR a été caractérisée jusqu’à 12 µm pour les sulfures, à 16 µm pour les séléniures et à 18 µm pour les tellures. Certains travaux ont montré la fabrication et la caractérisation de capteurs optiques dans le proche infra-rouge. Dans cet article, nous proposons de tirer profit de la transparence élevée de ces matériaux dans le MIR pour fabriquer un capteur spectroscopique à onde évanescente fonctionnant dans cette gamme spectrale.

Les Missions humanitaires en chirurgie plastique (2 ans d'expériences personnelles au Myanmar)

BORDEAUX2-BU Santé (330632101) / SudocPARIS-BIUM (751062103) / SudocSudocFranceF

CONDUITE A TENIR DEVANT UNE IMAGE RADIO-CLAIRE DES MAXILLAIRES (TRAITEMENT EXCEPTE)

CLERMONT FD-BCIU-Santé (631132104) / SudocPARIS-BIUM (751062103) / SudocSudocFranceF

Limitation of scaling exponents estimation in turbulence

A significant characteristic of fully developed turbulence is scale invariance, i.e., in a wide range of scale ratios a, usually known as the inertial range, the moments of order $q > 0$ of the increments of the velocity field $v(x)$ or of the aggregated dissipation field $r (x)$ behave as power laws with respects to scale ratios. A key issue in the analysis of turbulence data lies in accurately and precisely measuring the scaling exponents. This yields two questions: how can efficient estimators for the $ζ(q)$ be defined and what are their statistical performance? While the former question owns classical answers, the latter has been mostly overlooked. In the present work, we address carefully this question

Développement d'une plate-forme optique intégrée à base de verres de chalcogénures pour des applications capteurs dans le moyen infra-rouge

National audienceCet article présente le développement d'une plateforme intégrée en verres de chalcogénure pour réaliser un capteur par onde évanescente dans la gamme spectrale du moyen infrarouge. La structure proposée est celle d'un guide d'onde de type ruban sur un substrat de silicium, dont les couches de coeur et de confinement sont constituées respectivement en Ge 12,5 Sb 25 Se 62,5 et Ge 28,1 Sb 6,3 Se 65,6. Nous détaillerons tout d'abord les résultats de simulation permettant d'optimiser la structure afin d'obtenir d'une part, la transmission monomodale aux longueurs d'onde 6,3 µm et 7,8 µm et d'autre part, un fort taux de recouvrement de l'onde évanescente avec le superstrat dans l'objectif de détecter des molécules absorbant spécifiquement à ces deux longueurs d'onde. Enfin, des mesures de pertes optiques sur ces guides à λ=1,55 µm ainsi que la propagation de la lumière à λ=7,8 µm seront présentées

Pharmacogenomic analysis of acute promyelocytic leukemia cells highlights CYP26 cytochrome metabolism in differential all-trans retinoic acid sensitivity

International audienc

Optical characterization at 7.7 μm of an integrated platform based on chalcogenide waveguides for sensing applications in the mid-infrared

International audienceA selenide integrated platform working in the mid-infrared was designed, fabricated and optically characterized at 7.7 μm. Ge-Sb-Se multilayered structures were deposited by RF magnetron sputtering. Using i-line photolithography and fluorine-based reactive ion etching, ridge waveguides were processed as Y-junction, spiral and S-shape waveguides. Single-mode optical propagation at 7.7 μm was observed by optical near-field imaging and optical propagation losses of 2.5dB/cm are measured. Limits of detection of 14.2 ppm and 1.6 ppm for methane and nitrous oxide, respectively, could be potentially measured by using this platform as an evanescent field sensor. Hence, these technological, experimental and theoretical results represent a first step towards the development of an integrated optical sensor operating in the mid-infrared wavelength range. © 2016 Optical Society of America

Theoretical study of an evanescent optical integrated sensor for multipurpose detection of gases and liquids in the Mid-Infrared

A theoretical study of evanescent optical sensor for multipurpose detection in the Mid-Infrared of gases and pollutants in water is presented in this paper. The opto-geometrical parameters of the transducers – ridge waveguides – have been optimized in order to obtain the highest evanescent power factor for monomodal propagation in the Mid-Infrared. The highest sensitivity has been obtained for a configuration with an optimal length of waveguide Lopt = 4.3 cm for intrinsic propagation loss equal to 1 dB/cm. Then a spiral waveguide configuration is suggested to obtain this optical length path in a monolithic structure. A numerical example is also included using a ridge waveguide based on chalcogenide glasses (GeSbSe). In case of gas detection, a generic calculation of the minima concentrations to be detected as a function of the molar absorption for any working wavelength is presented. Extremely low limits of detection can be achieved due to the strong absorption coefficients of gases and chemical species in the Mid-Infrared spectral range, 268 ppb in case of carbon dioxide at λ = 4.3 μm, 1.848 ppm and 781 ppb for methane at λ = 3.31 μm and at λ = 7.66 μm respectively. For the pollutants detection in water, an improvement of the integrated structure has been proposed to avoid water absorption in this spectral region by deposing a polymer (PIB) as waveguide superstrate, thus the limit of detection for toluene is 26 ppb at λ = 6.68 μm. These concentration minima that could be detected by the Mid-IR sensor are lower than the threshold limit values determined in the international environmental and health standards. Hence this integrated optical sensor may be considered as an attractive support tool in monitoring environmental and health fields