Applying quantitative semantics to higher-order quantum computing

Finding a denotational semantics for higher order quantum computation is a long-standing problem in the semantics of quantum programming languages. Most past approaches to this problem fell short in one way or another, either limiting the language to an unusably small finitary fragment, or giving up important features of quantum physics such as entanglement. In this paper, we propose a denotational semantics for a quantum lambda calculus with recursion and an infinite data type, using constructions from quantitative semantics of linear logic

On paths-based criteria for polynomial time complexity in proof-nets

Girard's Light linear logic (LLL) characterized polynomial time in the proof-as-program paradigm with a bound on cut elimination. This logic relied on a stratification principle and a "one-door" principle which were generalized later respectively in the systems L^4 and L^3a. Each system was brought with its own complex proof of Ptime soundness. In this paper we propose a broad sufficient criterion for Ptime soundness for linear logic subsystems, based on the study of paths inside the proof-nets, which factorizes proofs of soundness of existing systems and may be used for future systems. As an additional gain, our bound stands for any reduction strategy whereas most bounds in the literature only stand for a particular strategy.Comment: Long version of a conference pape

Myosite interstitielle nodulaire chez le Porc et le Bœuf

Lafont Philippe, Cazaillet M., Lafont J. Myosite interstitielle nodulaire chez le porc et le bœuf. In: Bulletin de l'Académie Vétérinaire de France tome 115 n°9, 1962. pp. 393-397

A feasible algorithm for typing in Elementary Affine Logic

We give a new type inference algorithm for typing lambda-terms in Elementary Affine Logic (EAL), which is motivated by applications to complexity and optimal reduction. Following previous references on this topic, the variant of EAL type system we consider (denoted EAL*) is a variant without sharing and without polymorphism. Our algorithm improves over the ones already known in that it offers a better complexity bound: if a simple type derivation for the term t is given our algorithm performs EAL* type inference in polynomial time.Comment: 20 page

An Explicit Framework for Interaction Nets

Interaction nets are a graphical formalism inspired by Linear Logic proof-nets often used for studying higher order rewriting e.g. \Beta-reduction. Traditional presentations of interaction nets are based on graph theory and rely on elementary properties of graph theory. We give here a more explicit presentation based on notions borrowed from Girard's Geometry of Interaction: interaction nets are presented as partial permutations and a composition of nets, the gluing, is derived from the execution formula. We then define contexts and reduction as the context closure of rules. We prove strong confluence of the reduction within our framework and show how interaction nets can be viewed as the quotient of some generalized proof-nets

Effet inhibiteur à la longues chaînes et de dérivés thiazolés sur la corrosion du laiton Amirauté.optimale des petites stations d'épuration à boues activées

Dans cette étude, des mesures électrochimiques ont été réalisées pour caractériser le comportement du laiton Amirauté dans une solution de chlorure de sodium 0,5 M en l'absence d'inhibiteur et en présence d'un mélange d'amines à longue chaîne et de dérivés thiazolés. Cette formulation est utilisée pour le traitement des eaux des circuits de refroidissement. Les courbes courant-tension stationnaires et les diagrammes d'impédance électrochimique ont été obtenus avec une electrode tournante.La première partie de cette étude présente les résultats obtenus pour deux concentrations du mélange et deux temps d'immersion préalable au potentiel de corrosion. Les essais électrochimiques montrent que l'effet inhibiteur est d'autant plus marqué que la concentration augmente. Une légère diminution de la protection de la surface du laiton Amirauté est observée avec l'augmentation du temps de maintien au potentiel de corrosion.La deuxième partie de l'étude compare les effets inhibiteurs de chacun des constituants du mélange, d'une part, pour les valeurs de concentration utilisées lors du traitement des eaux des circuits de refroidissement (0,1 mg/l de solution contenant les dérivés thiazolés et 1 mg/l de solution contenant les alkylamines) et, d'autre part, pour des valeurs de concentration comparables (5 mg/l).Pour la concentration de 0,1 mg/l l'action inhibitrice des dérivés thiazolés n'a pas été clairement mise en évidence. Ainsi, la protection contre la corrosion des circuits de refroidissement en laiton Amirauté avec le mélange est apportée principalement par les alkylamines. Celles-ci forment un film compact très protecteur à la surface de l'électrode.Pour des valeurs de concentration plus importantes, l'addition de 0,5 mg/l de dérivés thiazolés à 5 mg/l d'alkylamines améliore la protection du matériau.In this study, electrochemical measurements were carriet out to characterize the behaviour of Admiralty Brass in a 0.5 M sodium chloride solution in the absence of inhibitors and in the presence of a mixture of alkylamines and thiazol-derived products. This formulation is employed for water treatment in cooling circuits.The steady-state current voltage curves and the impedance diagrams were obtained with a rotating disc electrode in order to control the hydrodynamic conditions.The first part of this study deals with the results obtained for two concentrations of the mixture and for two immersion times at the corrosion potential. It has been shown that the inhibitive effect is more marked when the concentration increases from 10 to 50 mg/l. A slight decrease of the protection of the brass surface is observed when the immersion time increasesThe second part of this study is a comparison of the inhibitive effects of each compound of the mixture, on one hand, for concentration values used in the water treatment (0.1 mg/l of tbe solution containing the thiazol-derived products and 1 mg/l of the solution containing the alkylamines) and on the other hand, for identical concentration values (5 mg/l ). For 0.1 mg/l, no inhibitive action of thiazol-derived products could be detected. Thus, the corrosion protection of cooling circuits in Admiralty brass is attributed essentially to the alkylamines. They form a thick, protective film at the electrode surface. For higher concentration values, the addition of 0.5 mg/l of thiazol-derived products to 5 mg/l of alkylamines improves the corrosion resistance of brass

Inhibition de la corrosion d'un acier au carbone par des produits dérivés de phosphonates en association avec des sels de zinc

Dans cette étude, des mesures électrochimiques ont été utilisées pour caractériser l'efficacité inhibitrice de produits dérivés de phosphonates associés à des sels de zinc, employés pour le traitement des eaux des circuits de refroidissement. L'influence de la concentration de cette formulation ainsi que l'effet du pH du milieu ont été étudiés.Les courbes courant-tension stationnaires et les diagrammes d'impédance électrochimique ont été obtenus avec des électrodes tournantes en acier au carbone dans une solution de chlorure de sodium à 200 mg l-1. Ce milieu a été choisi car sa faible conductivité électrique est proche de celle rencontrée dans les eaux naturelles.La méthode stationnaire (relevé des courbes courant-tension) a permis de déterminer la vitesse de corrosion en l'absence et en présence de l'inhibiteur et par conséquent, le taux de protection. Ainsi, le composé présente une très bonne efficacité dès les faibles concentrations (50 mg · l-1). Entre 50 et 200 mg · l-1, l'efficacité inhibitrice augmente de 95 à 98 %. Pour la concentration de 100 mg · l-1 il est efficace dans un large domaine de pH (de 5,5 à 9). Cette efficacité apparaît légèrement supérieure à pH = 7 et à pH = 8.Les valeurs des résistances de polarisation mesurées à partir des diagrammes d'impédance confirment les résultats obtenus à partir des courbes stationnaires.En outre, l'efficacité inhibitrice du composé a été comparée à celle de produits déjà testés au Laboratoire pour des utilisations identiques. Le chlorure de zinc, le monofluorophosphate de zinc et l'association d'une amine grasse et d'acide phosphonique présentent des efficacités moindres que le mélange testé ici à base de produits dérivés de phosphonates associés aux sels de zinc.In this study, electrochemical measurements were carried out to characterize the inhibitive efficiency of the association of phosphonate-derived products with zinc salts, employed for water treatment in cooling circuits.The influence of parameters such as the concentration of the formulation and the effect of the solutions pH on the protection of the metal were studied.Steady-state current-voltage curves and electrochemical impedance diagrams have been obtained for a carbon steel rotating disc in a 200 mg · l-1 NaCl solution. The choice of this medium is based upon the following criteria :(i) its low electrical conductivity is close to that encountered in natural saline waters ;(ii) its corrosivity is fairly high ;(iii) it Is formed by an easily reproducible baseline solution.The inhibitive efficiency has been determined tram the plotting of the cathodic potentiostatic curves. It is important to note that in low conductivity media, the current-voltage curves are distorted by a non-negligible uncompensated ohmic drop (I.Re), Re being the electrolyte resistance between the working and the reference electrodes. The interpretation of these curves (i.e. corrosion rate evaluation, Tafel slopes determination) is only possible if they have been corrected according to the following relationship. Eapparent = Etrue + ReIIn this study, the electrolytic resistance value has been determined from electrochemical Impedance measurements : the high frequency limit of the impedance gives Re.The ohmic drop is then automatically compensated by the potentiostat to obtain the corrected steady-state curve.The inhibitive efficiency is evaluated by the relationship :Ei = (icorr0-icorr / icorr0) x 100in which iocorr and icorr represent the current densities without and with inhibitor, respectively.In addition to the determination of the current densities obtained from the steady-state current-voltage curves, the polarization resistance, Rp, has been measured from the impedance diagram : the low frequency limit of the impedance gives the sum Re + Rp ; Rp is equal to the slope of the steady-state current voltage curve.In this study, only the evolution of this value as a function of concentration has been examined.It has been shown from the steady-state technique that the compound presents a very good efficiency for low concentrations (50 mg · l-1). Between 50 and 200 mg · l-1, the inhibitive efficiency increases from 95 to 98 %. For 100 mg · l-1 it is effective over a wide pH range (5.5 to 9) with a better protection for pH = 7 and pH = 8.The measurements of the polarization resistance corroborate these results.In a second part, the inhibitive efficiency of the compound has been compared to different inhibitors used for similar uses and tested in the laboratory. Thus, zinc chloride, zinc fluorophosphate and the association of fatty amine and phosphonic acid present a lower efficiency than the product tested here

Optimisation of through-thickness embedding location of Fibre Bragg grating sensor in CFRP for impact damage detection

Aerospace composites are susceptible to barely visible impact damage (BVID) produced by low-velocity-impact (LVI) events. Fibre Bragg grating (FBG) sensors can detect BVID, but often FBG sensors are embedded in the mid-plan, where residual strains produced by impact damage are lower, leading to an undervaluation of the damage severity. This study compares the residual strains produced by LVI events measured by FBG embedded at the mid-plan and other through-thickness locations of carbon fibre reinforced polymer (CFRP) composites. The instrumented laminates were subjected to multiple low-velocity impacts while the FBG signals were acquired. The FBG sensor measurements allowed not only for the residual strain after damage to be measured, but also for a strain peak at the time of impact to be detected, which is an important feature to identify the nature and presence of BVID in real-life applications. The results allowed an adequate optical fibre (OF) embedding location to be selected for BVID detection. The effect of small- and large-diameter OF on the impact resistance of the CFRP was compared.This research was funded by the European Regional Development Fund, grant number NORTE-01-0145-FEDER-000015, and the APC was funded by the European Space Agency’s Network/Partnering Initiative Program, with contract number 4000123315

Effects of combined sewer overflows on a periurban stream ecosystem: Methodological approach

International audienceHere we develop from a long term field experiment an assessment method of interstitial fauna resilience to combined sewer overflows (CSOs) effect. We address the case of small water courses for which the ratio of CSOs to natural flow can be 1 to much more. Biotic material was collected in the benthic and hyporheic layers. Biotic material focussed mainly on oligocheates species whose diversity, species category and abundance are resumed into metrics, called functional traits (FTrs), giving indications on flux dynamics and nutrient bio-assimilation capacity. The biotic resilience is assessed through the analysis of the response time of the biota to CSOs and natural flow characteristics, here called hydrological indices (HIs). In this aim, a series of hydrological indices are defined to reveal varying aspects of the dynamics of CSOs and natural flows. A main result is that CSOs can have both degrading and boosting effects on the biota of a stony stream. Some CSOs characteristics can explain the physical processes supporting these contrasting effects. In particular the geomorphic characteristics of the water course. Management perspectives emerge from the CSOs hydrological indices and resilience of the biota