-
Bisimulation Techniques and Algorithms for Concurrent Constraint Programming
Concurrency is concerned with systems of multiple computing agents that interact with each other. Bisimilarity is one of the main representatives of these. Concurrent... -
Centrifugaldistortionanalysis of the rotationalspectrum of aziridine: Compari...
International audience -
De l'ambiguïté de la chute du schwa en français
International audience -
Testing Various Metrics for the Description of Vowel Distortion in Dysarthria
International audience -
Epidemiology and antimicrobial resistance of Streptococcus pneumoniae in Fran...
International audience -
Hyperstoichiometric Interaction Between Silver and Mercury at the Nanoscale
International audience -
Dynamique des structures à interfaces non linéaires : Extension des technique...
The study deals with the dynamic simulation of structures with non linear interfaces and particularly with the development of various extensions of the harmonic... -
Scheduling Associative Reductions with Homogeneous Costs when Overlapping Com...
Reduction is a core operation in parallel computing. Optimizing its cost has a high potential impact on the application execution time, particularly in MPI and... -
Spectroscopic studies of arsenic retention onto biotite
International audience -
Graph reduction and application to lung tumors segmentation
In this thesis, we first present a new band-based strategy for reducing the graphs involved in binary graph cut segmentation. This is done by locally testing if a node... -
Synthesis of diketal diamines and bis-diketal diamines, cyclams and bicyclams...
Over the last 40 years, much work has been achieved for the conception of macrocycles in order to access to new biologically active compounds. In this context, we... -
Managing Micrometric Sources of Solvated Electrons: Application to the Local ...
Microelectrodes allow micrometric sources of a solvated electron solution to be easily handled at room temperature. Such strongly reducing sources are the key for a... -
Surface modification of halogenated polymers. 10. Redox catalysis induction o...
The polymerization of vinylic monomers such as DMAEMA ( 2-dimethyaminoethyl methacrylate) can be triggered electrochemically by an electrode and/or a solution... -
Surfaces functionalized with metal nanoparticles for optics and photonics
This study is focused on the elaboration, and the optical and structural characterization of mesostructured silica and titania films incorporating silver... -
PROCEDE DE FABRICATION D'UNE COMPOSITION CATALYTIQUE DE REDUCTION SELECTIVE D...
L'invention concerne un procédé de fabrication d'une composition catalytique de réduction sélective des oxydes d'azote à base d'argent supporté par une alumine... -
Perturbation analysis of second-order cone programming problems
We discuss first and second order optimality conditions for nonlinear second-order cone programming problems, and their relation with semidefinite programming... -
Abiotic redox reactions of antimony and plutonium under anoxic conditions
Redox reactions of Sb(V) and Sb(III) with mackinawite (FeS) and of aqueous Pu(III) and Pu(V) with various Fe(II)-bearing minerals and Fe(III)-oxides have been... -
Towards defining bio-indicateurs of arsenic mobility in soils
Arsenic (As) pollution in soils is a major health and environmental threat to water resources. Arsenic bioavailability in the environment is directly influenced by... -
Localization of the Riemann-Roch character
International audience
