 |
 |
 |
|
|
||
|---|---|---|
| hal-00394608v1
Conference papers
Rationale for human modelling in human in the loop systems design 3rd Annual IEEE International Systems Conference, SysCon 2009, Mar 2009, Vancouver, Canada. pp.27-30 |
||
| inria-00426439v2
Conference papers
A Type System for Tom Proceedings Tenth International Workshop on Rule-Based Programming - RULE 2009, Jun 2009, Brasilia, Brazil. ⟨10.4204/EPTCS.21.5⟩ |
||
| hal-00685153v1
Conference papers
Impact of Asynchronism on GPU Accelerated Parallel Iterative Computations PARA 2010 - 10th International Conference on Applied Parallel and Scientific Computing, Jun 2010, Reykjavík, Iceland. pp.43-53, ⟨10.1007/978-3-642-28151-8_5⟩ |
||
| hal-00766063v1
Preprints, Working Papers, ...
Estimation of Probabilistic Minimum Inter-arrival Times Using Extreme Value Theory 2013 |
||
| inria-00129515v1
Conference papers
Term-graph rewriting in Tom using relative positions 4th International Workshop on Computing with Terms and Graphs, Mar 2007, Braga, Portugal. pp.3-17 |
||
| inria-00129392v1
Other publications
Polygraphs for termination of left-linear term rewriting systems 2007 |
||
| hal-00765596v1
Conference papers
Knowledge Continuous Integration Process (K-CIP) WWW 2012 - SWCS'12 Workshop - 21st World Wide Web Conference - Semantic Web Collaborative Spaces workshop, Apr 2012, Lyon, France. pp.1075-1082 |
||
| hal-00949908v1
Journal articles
Linguistic and Multilingual Issues in Virtual Worlds and Serious Games: a General Review Journal of virtual worlds research, Journal of virtual worlds research, 2014, Lantern, 7 (1) |
||
| inria-00204579v2
Reports
A Theoretical Limit for Safety Verification Techniques with Regular Fix-point Computations [Research Report] RR-6411, INRIA. 2008, pp.6 |
||
| hal-00390697v1
Conference papers
Une démarche fondée sur les treillis de Galois pour l'aide à la qualification de l'état des milieux aquatiques SIDE 2009, 2009, Toulouse, France. pp.95-104 |
||
| inria-00000832v1
Lectures
Initiation à la gestion mémoire des sytèmes informatiques. Université Henri Poincaré Nancy 1. Master ingénierie système, spécialité électronique embarquée et instrumentale Université Henri Poincaré Nancy 1, 2005 |
||
| |
||
| tel-00603975v1
Habilitation à diriger des recherches
The study of neural oscillations by traversing scales in the brain Modeling and Simulation. Université Nice Sophia Antipolis, 2011 |
||
| tel-01746477v2
Theses
Modèles de mémoires pour la navigation autonome Modélisation et simulation. Université Henri Poincaré - Nancy 1, 2000. Français. ⟨NNT : 2000NAN10122⟩ |
||
| hal-00764986v1
Journal articles
Reduced dynamics for delayed systems with harmonic or stochastic forcing Chaos: An Interdisciplinary Journal of Nonlinear Science, American Institute of Physics, 2012, 22 (4), pp.043121. ⟨10.1063/1.4760250⟩ |
||
| inria-00392754v1
Conference papers
Knowledge management in economic intelligence with reasoning on temporal attributes Séminaire on Veille Stratégique Scientifique et Technologique - VSST 2009, Mar 2009, Nancy, France |
||
| inria-00000827v1
Journal articles
PROTEUS – Creating Distributed Maintenance Systems through an Integration Platform Computers in Industry, Elsevier, 2006 |
||
| tel-00391141v1
Theses
Représentation et classification de structures spatiales -- Application à la reconnaissance de paysages agricoles Informatique [cs]. Université Henri Poincaré - Nancy I, 1998. Français |
||
| hal-00681664v1
Conference papers
FT-GReLoSSS: a Skeletal-Based Approach towards Application Parallelization and Low-Overhead Fault Tolerance 20th Euromicro International Conference on Parallel, Distributed and Network-Based Computing - PDP 2012, Feb 2012, Garching, Germany. 8 p |
||
| inria-00000754v1
Journal articles
Specification and Refinement of Mobile Systems in MTLA and Mobile UML Theoretical Computer Science, Elsevier, 2006, 351 (2), pp.184--202 |
||
| inria-00546399v1
Book sections
A neural population model of the bi-phasic EEG-power spectrum during general anaesthesia Axel Hutt. Sleep and Anaesthesia: Neural correlates in theory and experiment, 15, Springer, pp.227--242, 2011, Springer Series in Computational Neuroscience, 978-1-4614-0172-8. ⟨10.1007/978-1-4614-0173-5_10⟩ |
||
| tel-00203086v1
Habilitation à diriger des recherches
SVM Multiclasses, Théorie et Applications Autre [cs.OH]. Université Henri Poincaré - Nancy I, 2007 |
||
| hal-00123884v2
Conference papers
Trustworthy interface compliancy: data model adaptation using B refinement Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA), Satellite workshop of ETAPS, Mar 2007, Braga, Portugal. 13 p |
||
| hal-00841688v1
Books
Le multimédia Images et audiovisuels Lavoisier. Hermes Science Publisher, 2, pp.255, 2009, Informatique, Jean-Charles Pomerol, 978-2-7462-2350-9 |
||
| inria-00471874v1
Reports
Determining point correspondences between two views under geometric constraint and photometric consistency [Research Report] RR-7246, INRIA. 2010 |
||
| hal-00681199v1
Other publications
La discipline informatique et l'éducation à la maîtrise de l'information 2012, pp.12 |
||
| inria-00000661v2
Conference papers
Resource analysis by sup-interpretation Eighth International Symposium on Functional and Logic Programming - FLOPS 2006, Apr 2006, Fuji Susono, Japan. pp.163--176, ⟨10.1007/11737414_12⟩ |
||
| hal-00681211v1
Preprints, Working Papers, ...
La conception d'un système d'information soutenue par l'identification et la diffusion de connaissances 2008 |
||
| inria-00546802v1
Conference papers
Collaborative knowledge creation and management in information retrieval Fifth International Conference on Knowledge Management in Organizations - KMO 2010, May 2010, veszprém, Hungary |
||
| inria-00546808v1
Conference papers
Dynamic Capitalization and Visualization Strategy in Collaborative Knowledge Management System for EI Process International Conference in Knowledge Management and Knowledge Economy - ICKMKE 2010, Oct 2010, paris, France. pp.1-9 |
||
|
|
||
