Skip to Main content Skip to Navigation

hal-03201974v1  Conference papers
Stéphane DemriArnaud Sangnier. When Model-Checking Freeze LTL over Counter Machines Becomes Decidable
FOSSACS 2010 - Foundations of Software Science and Computational Structures, 13th International Conference, Luke Ong, Mar 2010, Paphos, Cyprus. pp.176-190, ⟨10.1007/978-3-642-12032-9_13⟩
hal-03188381v1  Journal articles
Stéphane DemriDenis Lugiez. Complexity of Modal Logics with Presburger Constraints
Journal of Applied Logic, Elsevier, 2010, 8 (3), pp.233-252. ⟨10.1016/j.jal.2010.03.001⟩
hal-03177982v1  Journal articles
Henrieta ŠkovierováGerald Larrouy-MaumusHa PhamMartina BelanováNathalie Barilone et al.  Biosynthetic Origin of the Galactosamine Substituent of Arabinogalactan in Mycobacterium tuberculosis*
Journal of Biological Chemistry, American Society for Biochemistry and Molecular Biology, 2010, 285 (53), pp.41348-41355. ⟨10.1074/jbc.M110.188110⟩
hal-03138973v1  Conference papers
Sana Tmar-Ben HamidaJean-Benoit PierrotClaude Castelluccia. Empirical analysis of UWB channel characteristics for secret key generation in indoor environments
2010 IEEE 21st International Symposium on Personal, Indoor and Mobile Radio Communications - (PIMRC 2010), Sep 2010, Istanbul, France. pp.1984-1989, ⟨10.1109/PIMRC.2010.5671596⟩
hal-03130383v1  Directions of work or proceedings
Yves LechevallierGilbert Saporta. Proceedings of COMPSTAT'2010
Compstat'2010, Aug 2010, Paris, France. Physica Verlag, 2010, 978-3-7908-2604-3
hal-00589922v1  Conference papers
Jean-Francois ScheidJan SokolowskiKatarzyna Szulc. A numerical method for shape and topology optimization for semilinear elliptic equation
MMAR 2010 : 15th International Conference on Methods & Models in Automation & Robotics, Aug 2010, Miedzyzdroje, Poland. pp.290-295, ⟨10.1109/MMAR.2010.5587220⟩
hal-03117246v1  Journal articles
Nicolas GinouxJean-François Grosjean. Almost harmonic spinors
Comptes Rendus Mathématique, Elsevier Masson, 2010, 348 (13-14), pp.811-814. ⟨10.1016/j.crma.2010.06.010⟩
inria-00543949v2  Reports
Denis Roegel. A reconstruction of Edward Sang's table of logarithms (1871)
[Research Report] LORIA (Université de Lorraine, CNRS, INRIA). 2010
inria-00543950v2  Reports
Denis Roegel. A construction of Edward Sang's projected table of nine-place logarithms to one million (1872)
[Research Report] LORIA (Université de Lorraine, CNRS, INRIA). 2010
hal-03089977v1  Conference papers
Kondo H. Adjallah. Approach of Data and Information collection for the Decision Support in Industrial Asset Management
V Congresso Colombiano de Computacion 2010 (CCC2010), Apr 2010, Cartagena de Indias, Colombia
hal-03089965v1  Conference papers
Kondo H. Adjallah. About the extraction of relevant health information of equipment for optimizing their performances
2010 International Conference on Electrical and Control Engineering - ICECE 2010, Jun 2010, Wuhan, China
hal-00465155v2  Journal articles
Guillaume RivièreNadine CouturePatrick Reuter. The activation of modality in virtual objects assembly
Journal on Multimodal User Interfaces, Springer, 2010, 3 (3), pp.189-196. ⟨10.1007/s12193-010-0038-0⟩
hal-00408042v1  Book sections
Nadine CoutureGuillaume RivièrePatrick Reuter. Tangible Interaction in Mixed Reality Systems
Dubois E., Gray P. and Nigay L. The Engineering of Mixed Reality Systems, Springer-Verlag, pp.101-120, 2010, Human-Computer Interaction Series, 978-1-84882-732-5. ⟨10.1007/978-1-84882-733-2_6⟩
hal-01125818v1  Conference papers
Francoise SailhanThierry DelotAnimesh PathakAymeric PuechMatthieu Roy. Dependable Sensor Networks
Atelier sur la GEstion des Données dans les Systèmes d'Information Pervasifs (GEDSIP). Conférence INFORSID, May 2010, X, France. pp.1-15
inria-00543082v1  Journal articles
S. EnaultD. LombardiPhilippe PoncetMarc Thiriet. Mucus dynamics subject to air and wall motion
ESAIM: Proceedings, EDP Sciences, 2010, 30, pp.125-141
hal-02754347v2  Conference papers
Emilie GennariCatherine Faron-ZuckerPascal NeveuCaroline DomergJuliette Fabre et al.  Using ontologies of software : example of R functions management
12. International Conference on Information Integration and Web-based Applications & Services (iiWAS2010), Nov 2010, Paris, France
hal-00784056v1  Journal articles
Grégoire AllaireAndro MikelicAndrey Piatnitski. Homogenization approach to the dispersion theory for reactive transport through porous media
SIAM Journal on Mathematical Analysis, Society for Industrial and Applied Mathematics, 2010, 42 (1), pp.125-144
hal-00784058v1  Journal articles
Grégoire AllaireAndrey Piatnitski. Homogenization of nonlinear reaction-diffusion equation with a large reaction term
Annali dell'Universita di Ferrara, Springer Verlag, 2010, 56, pp.141-161