Skip to Main content Skip to Navigation

hal-00394608v1  Conference papers
Didier FassRomain Lieber. 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
Claude KirchnerPierre-Etienne MoreauCláudia Tavares. 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
Sylvain Contassot-VivierThomas JostStéphane Vialle. 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⟩
inria-00129515v1  Conference papers
Emilie BallandPaul Brauner. Term-graph rewriting in Tom using relative positions
4th International Workshop on Computing with Terms and Graphs, Mar 2007, Braga, Portugal. pp.3-17
hal-00765596v1  Conference papers
Hala Skaf-MolliEmmanuel DesmontilsEmmanuel NauerGérôme CanalsAmélie Cordier et al.  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
Samuel Cruz-LaraAlexandre DenisNadia Bellalem. 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-00000832v1  Lectures
Olivier Zendra. 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
Axel Hutt. The study of neural oscillations by traversing scales in the brain
Modeling and Simulation. Université Nice Sophia Antipolis, 2011
tel-01746477v2  Theses
Nicolas P. Rougier. 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
Jérémie LefebvreAxel HuttViktor LeblancAndré Longtin. 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
Bolanle OladejoAdenike O. OsofisanVictor Odumuyiwa. 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
hal-00681664v1  Conference papers
Constantinos MakassikisStéphane VialleXavier Warin. 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
Alexander KnappStephan MerzMartin WirsingJulia Zappe. 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
Axel Hutt. 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
yann Guermeur. SVM Multiclasses, Théorie et Applications
Autre [cs.OH]. Université Henri Poincaré - Nancy I, 2007
hal-00123884v2  Conference papers
Samuel ColinArnaud LanoixJeanine Souquières. 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
Stéfane Paris. Le multimédia Images et audiovisuels
Lavoisier. Hermes Science Publisher, 2, pp.255, 2009, Informatique, Jean-Charles Pomerol, 978-2-7462-2350-9
inria-00000661v2  Conference papers
Jean-yves MarionRomain Péchoux. 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⟩
inria-00546802v1  Conference papers
Victor OdumuyiwaAmos David. 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
Bolanle OladejoVictor OdumuyiwaAmos David. 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