|
||
---|---|---|
inria-00070476v2
Reports
Critères Ergonomiques pour les Interactions Homme-Environnements Virtuels : définitions, justifications et exemples [Rapport de recherche] RR-5531, INRIA. 2005, pp.47 |
||
tel-00008130v2
Theses
Elaboration et validation de Critères Ergonomiques pour les Interactions Homme-Environnements Virtuels Sciences de l'Homme et Société. Université de Metz, 2004. Français |
||
inria-00000360v1
Reports
A unified framework for detecting groups and application to shape recognition [Research Report] PI 1746, 2005, pp.36 |
||
inria-00101008v1
Journal articles
CASL: The Common Algebraic Specification Language Theoretical Computer Science, Elsevier, 2002, 286 (2), pp.153-196 |
||
inria-00099508v1
Journal articles
Deciding the Confluence of Ordered Term Rewrite Systems ACM Transactions on Computational Logic, Association for Computing Machinery, 2003, 4 (1), pp.33-55 |
||
hal-00602077v1
Journal articles
On selection dynamics for competitive interactions Journal of Mathematical Biology, Springer Verlag (Germany), 2010, ⟨10.1007/s00285-010-0370-8⟩ ![]() |
||
inria-00100984v1
Conference papers
An environment for Symbolic and Numeric Computation International Congress of Mathematical Software - ICMS'2002, 2002, Beijing, China. pp.239-249 |
||
inria-00319719v1
Books
A Theory of Shape Identification Springer, 1948, XII, 264 p., 2008, Lecture Notes in Mathematics, 978-3-540-68480-0 |
||
inria-00104260v1
Journal articles
An a contrario decision method for shape element recognition International Journal of Computer Vision, Springer Verlag, 2006, 69 (3), pp.295-315. ⟨10.1007/s11263-006-7546-0⟩ ![]() |
||
inria-00104021v1
Conference papers
Shape recognition via an a contrario model for size functions 3rd International Conference on Image Analysis and Recognition - ICIAR 2006, Sep 2006, Povoa de Varzim, Portugal. pp.410-421, ⟨10.1007/11867661_37⟩ ![]() |
||
hal-00863139v1
Conference papers
Adaptive Monitoring of End-user OSGi-based Home Boxes Component Based Software Engineering, Jun 2012, Bertinoro, Italy. pp.Pages 157-166, ⟨10.1145/2304736.2304763⟩ |
||
inria-00104255v1
Journal articles
A unified framework for detecting groups and application to shape recognition Journal of Mathematical Imaging and Vision, Springer Verlag, 2007, 27 (2), pp.91-119. ⟨10.1007/s10851-006-9176-0⟩ ![]() |
||
inria-00099470v1
Conference papers
Proof Search and Proof Check for Equational and Inductive Theorems Conference on Automated Deduction - CADE-19, Jul 2003, Miami, USA, 20 p |
||
inria-00107875v1
Conference papers
Certifying Term Rewriting Proof in ELAN 2nd International Workshop on Rule-based Programming - RULE'01, Sep 2001, Firenze, Italy, 18 p |
||
inria-00107874v1
Conference papers
Compact Normalisation Trace via Lazy Rewriting 1st International Workshop on Reduction Strategies in Rewriting and Programming - WRS'2001, S. Lucas and B. Gramlich, 2001, Utrecht, Pays-Bas, pp.79-96 |
||
inria-00100768v1
Conference papers
A constructive decision procedure for equalities modulo AC 16th International Workshop on Unification - UNIF 16, Jul 2002, Copenhagen, Denmark, 5 p |
||
inria-00107864v1
Conference papers
ELAN for equational reasoning in Coq 2nd Workshop on Logical Frameworks & Metalanguage - LFM'00, J. Despeyroux, Jun 2000, Santa Barbara, USA, 14 p |
||
inria-00101055v1
Reports
External rewriting for skeptical proof assistants (extended version) [Intern report] A02-R-099 || nguyen02a, 2002, 45 p |
||
inria-00101009v1
Journal articles
External rewriting for skeptical proof assistants Journal of Automated Reasoning, Springer Verlag, 2002, 29 (3-4), pp.309-336 |
||
hal-00468772v1
Conference papers
Neutral modelling of agricultural landscapes by tessellation methods: the GenExP-LandSiTes software - Application to the simulation of gene flow International Conference on Integrative Landscape Modelling, Feb 2010, Montpellier, France. pp.1-9 |
||
hal-00199114v1
Journal articles
GenExP, un logiciel simulateur de paysages agricoles pour l'étude de la diffusion de transgènes Revue Internationale de Géomatique, Lavoisier, 2007, 17 (3-4), pp.469-487 |
||
hal-02571134v1
Journal articles
Global gene expression profiling of Ehrlichia ruminantium at different stages of development FEMS Immunology and Medical Microbiology, Wiley-Blackwell: No OnlineOpen, 2012, 64 (1), pp.66-73. ⟨10.1111/j.1574-695X.2011.00901.x⟩ ![]() |
||
hal-02571127v1
Journal articles
Tick-borne diseases in cattle: Applications of proteomics to develop new generation vaccines Journal of Proteomics, Elsevier, 2012, 75 (14), pp.4232-4250. ⟨10.1016/j.jprot.2012.03.026⟩ |
||
inria-00098718v1
Conference papers
Automatic 3D Reconstruction of the Beating Left Ventricle Using Transthorasic Echographic Images Computers in Cardiology, 1998, Cleveland, 5 p |
||
inria-00000191v1
Conference papers
SIGffRid : Programme de recherche des sites de fixation des facteurs de transcription par approche comparative Journées Ouvertes Biologie Informatique Mathématiques - JOBIM'05, Guy Perrière, Alain Guénoche et Christophe Geourjon, Jul 2005, Lyon, France. pp.417-425 |
||
hal-00967890v1
Journal articles
Modeling the spatial distribution of crop sequences at a large regional scale using land-cover survey data: A case from France Computers and Electronics in Agriculture, Elsevier, 2014, 012, pp.51-63 |
||
hal-01378309v1
Journal articles
OFSEP, a nationwide cohort of people with multiple sclerosis: Consensus minimal MRI protocol Journal de Neuroradiologie / Journal of Neuroradiology, Elsevier Masson, 2015, 42 (3), pp.133 - 140. ⟨10.1016/j.neurad.2014.12.001⟩ |
||
inria-00338330v1
Book sections
The Specification Language TLA+ Dines Bjoerner and Martin Henson. Logics of specification languages, Springer, pp.401-452, 2008, Monographs in Theoretical Computer Science, 978-3-540-74106-0 |
||
hal-00771272v1
Reports
Indifferentiability with Distinguishers: Why Shabal Does Not Require Ideal Ciphers [Research Report] 2009/299, IACR Cryptology ePrint Archive. 2009 |
||
inria-00099577v1
Conference papers
Tree Shape Measurement at the Stand Level for Biomass, Volume and Wood Properties Assessment International Symposium on Plant growth Modeling, simulation, visualization and their Applications 2003 -PMA'03, 2003, Beijing, China, China. pp.360-371 |
||
|