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

Un indice biologique lacustre basé sur l'examen des oligochètes

L'utilisation des indices oligochètes relevés dans la littérature pose un certain nombre de problèmes conceptuels et pratiques lorsque l'on étudie des lacs de taille réduite, le rôle des sédiments dans la distribution des oligochètes étant la plupart du temps ignoré.A partir d'analyses en composantes principales normées (ACP) comprenant, comme variables actives, 12 variables physico-chimiques des sédiments profonds de 12 lacs situés dans le Jura et les Vosges, nous avons projeté, en données supplémentaires, la physico-chimie des eaux et des variables biologiques (nombre d'espèces et effectifs d'oligochètes).Les analyses mettent en évidence un premier facteur F1, commun aux sédiments de tous les lacs étudiés et caractérisé par un antagonisme entre la matière organique (C, N, P) et les carbonates. Ce facteur est considéré ici comme exprimant une capacité métabolique des plans d'eau à minéraliser la matière organique. Les variables physico-chimiques des eaux se projettent sur cette structure et ne contredisent pas la signification accordée au facteur F1. Les variables biologiques ne se révèlent fortement corrélées qu'avec F1, et s'opposent aux variables décrivant les teneurs en matières organiques.Par une régression multiple où la variable à expliquer est constituée par la première coordonnée factorielle des stations d'échantillonnage, on obtient l'indice EOLA = nombre d'espèces d'oligochètes + 3.log10 des effectifs d'oligochètes/0,1 m2, qui est corrélé avec la structure physico-chimique mise en évidence dans les ACP. Cet indice est considéré comme une potentialité biologique liée à la capacité des lacs à minéraliser la matière organique, capacité qui peut se révéler faible en raison de la présence d'apports d'origine autochtone ou allochtone (en particulier les rejets humains).Oligochaetes are often considered as good descriptors of the ecological situation in lakes. Unfortunately, the rote of sediments in the distribution of species is not well known, particularly in mail lakes. This problem needed re-examination, the importance of the sediments being emphasized. Twelve physico-chemical variables of the sediments (table 2) were taken into account and analysed by means of a standardized principal component analysis (PCA). The physico-chemical variables of the waters as well as the biological variables (species richness and abundance of oligochaetes, table 2) were projected as supplementary data in the PCA.The first principal component is characterized by an opposition between the organic matter (C, N, P) and the CaCO3 contents of the sediments (table 3). The second factor represents the total phosphorus. Lakes from cristalline area (Longemer and Gérardmer) are very contributive to the factor 2 as the total phosphorus contents of their sediments are very high (fig. 1 and table 6). When these lakes are removed from the data set, the second PCA indicates no changes in the signification of factor 1 (table 4). In both analyses, physicochemical variables of waters are correlated with the first factor, and do not contradict its signification. Biological variables are only correlated with factor 1 and show an opposite direction to organic matter (fig. 2).It is suggested that the first factor represents the capacities of the lakes to mineralize the organic matter. The first co-ordinates of sampling stations (COF1), the mean number of oligochaete species (NSPS) and the mean log10 of their abundance/0.1 m2 (EFFE) were compared by means of a multiple regression (table 5). The following biological index is obtained : EOLA = NSPS + 3EFFE. This oligochaete index is related to the factor 1 and it is suggested that if gives an assessment of the biological potentialities of lakes, these potentialities being related to the mineralizing capacities. Low values of the index EOLA are obtained both from human and natural organic enrichment

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

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

Quantum Hall resistance standards from graphene grown by chemical vapor deposition on silicon carbide

Replacing GaAs by graphene to realize more practical quantum Hall resistance standards (QHRS), accurate to within $10^{-9}$ in relative value, but operating at lower magnetic fields than 10 T, is an ongoing goal in metrology. To date, the required accuracy has been reported, only few times, in graphene grown on SiC by sublimation of Si, under higher magnetic fields. Here, we report on a device made of graphene grown by chemical vapour deposition on SiC which demonstrates such accuracies of the Hall resistance from 10 T up to 19 T at 1.4 K. This is explained by a quantum Hall effect with low dissipation, resulting from strongly localized bulk states at the magnetic length scale, over a wide magnetic field range. Our results show that graphene-based QHRS can replace their GaAs counterparts by operating in as-convenient cryomagnetic conditions, but over an extended magnetic field range. They rely on a promising hybrid and scalable growth method and a fabrication process achieving low-electron density devices.Comment: 12 pages, 8 figure

Quantitative Models and Implicit Complexity

We give new proofs of soundness (all representable functions on base types lies in certain complexity classes) for Elementary Affine Logic, LFPL (a language for polytime computation close to realistic functional programming introduced by one of us), Light Affine Logic and Soft Affine Logic. The proofs are based on a common semantical framework which is merely instantiated in four different ways. The framework consists of an innovative modification of realizability which allows us to use resource-bounded computations as realisers as opposed to including all Turing computable functions as is usually the case in realizability constructions. For example, all realisers in the model for LFPL are polynomially bounded computations whence soundness holds by construction of the model. The work then lies in being able to interpret all the required constructs in the model. While being the first entirely semantical proof of polytime soundness for light logi cs, our proof also provides a notable simplification of the original already semantical proof of polytime soundness for LFPL. A new result made possible by the semantic framework is the addition of polymorphism and a modality to LFPL thus allowing for an internal definition of inductive datatypes.Comment: 29 page

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