-
Synthesis and characterization of III-V colloidal semiconductor nanocrystals ...
This thesis focuses on the synthesis of III-V colloidal semiconductor nanocrystals (NCs) doped with rare earth (RE) ions by various synthetic methods. Nearly... -
From Si nanowire to SiC nanotube
International audience -
Synthesis and characterization of apatite structure sputter deposited coating...
International audience -
Synthesis of Quasi Delay Insensitive Monitors
ISBN 978-1-4244-9138-4 -
Synthesis and properties of poly(butylene succinate): Efficiency of different...
International audience -
Synthesis and evaluation of new phosphonic, bisphosphonic and difluoromethylp...
International audience -
Synthèse, caractérisation et criblage biologique de nouveaux dérivés ferrocén...
Flavonoids are antioxidants from the plants, and their protecting effects on the organism are now well known, since they are called " nutraceuticals ". Ferrocene is a... -
The surprizing complexity of generalized reachability games
Games on graphs provide a natural and powerful model for reactive systems. In this paper, we consider generalized reachability objectives, defined as conjunctions of... -
Synthesis and characterization of hydrophobically modified derivatives of pol...
The main aim of this work was the synthesis of new amphiphilic systems from neutral polysaccharides (guar, hydroxyethyl guar) or charged polysaccharides (hyaluronic... -
Synthesis of pseudo-telechelic diols by transesterification and thiol-ene cou...
International audience -
Quantified Mu-calculus for Control Synthesis
We consider an extension of the mu-calculus as a general framework to describe and synthesize controllers. This extension is obtained by quantifying atomic... -
Synthesis of Novel Oligoester-block-polyacrylate-block-oligoester ABA Tribloc...
International audience -
Phosphites as Alternative Coreagents for the One-Pot Aminolysis/Thiol-Ene Syn...
International audience -
The Petri net synthesis problem for automatic graphs
Automatic graphs are possibly infinite graphs with a rational presentation by finite automata; they include grids as a particular case, and Sénizergues has shown in a... -
Characterization and spectral study of 1,4-dimethylquinoxaline-2,3-dione pota...
International audience -
Fabrication of highly homogeneous As2Se3 glass under argon flow
International audience -
Synthesis of Distributed Testers from True-concurrency Models of Reactive Sys...
Automatic synthesis of test cases for conformance testing has been principall- y developed with the objective of generating sequential test cases. In the distributed...
