 |
 |
|
|
||
|---|---|---|
|
inria-00524938v1
Communication dans un congrès
Bruno Barras, Pierre Corbineau, Benjamin Grégoire, Hugo Herbelin, Jorge Sacchini. A New Elimination Rule for the Calculus of Inductive Constructions Stefano Berardi and Ferruccio Damiani and Ugo de'Liguoro. Types for Proofs and Programs, Mar 2008, Torino, Italy. Springer, 5497, pp.32-48, 2009, Lecture Notes in Computer Science; Types for Proofs and Programs, International Conference, TYPES 2008, Torino, Italy, March 26-29, 2008, Revised Selected Papers. <10.1007/978-3-642-02444-3_3> |
||
|
hal-00681539v1
Chapitre d'ouvrage
François Faure, Christian Duriez, Hervé Delingette, Jérémie Allard, Benjamin Gilles et al. SOFA: A Multi-Model Framework for Interactive Physical Simulation Yohan Payan. Soft Tissue Biomechanical Modeling for Computer Assisted Surgery, 11, Springer, pp.283-321, 2012, Studies in Mechanobiology, Tissue Engineering and Biomaterials, 978-3-642-29013-8. <10.1007/8415_2012_125> |
||
|
tel-01380084v1
Thèse
Mehdi Pierre Daou. Développement d'une méthodologie de couplage multimodèles avec changements de dimension. Validation sur un cas-test réaliste Modélisation et simulation. Université Grenoble Alpes, 2016. Français |
||
|
inria-00377379v1
Article dans une revue
Christophe Lenglet, Emmanuel Prados, Jean-Philippe Pons, Rachid Deriche, Olivier Faugeras. Brain Connectivity Mapping using Riemannian Geometry, Control Theory and PDEs SIAM Journal on Imaging Sciences, Society for Industrial and Applied Mathematics, 2009, 2 (2), pp.285-322. <10.1137/070710986> |
||
|
hal-00848876v1
Communication dans un congrès
Xavier Alameda-Pineda, Radu Horaud, Bernard Mourrain. The Geometry of Sound-Source Localization using Non-Coplanar microphone Arrays WASPAA 2013 - IEEE Workshop on Applications of Signal Processing to Audio and Acoustics, Oct 2013, New Paltz, United States. IEEE, pp.1-4, 2013, <10.1109/WASPAA.2013.6701896> |
||
|
hal-00644924v1
Communication dans un congrès
Claire Chauvin, Frédéric Bernardin, Mireille Bossy, Antoine Rousseau. Wind Simulation Refinement: some New Challenges for Particle Methods ECMI 2008 - The European Consortium For Mathematics In Industry, Jun 2008, London, United Kingdom. Springer-Verlag Berlin Heidelberg, 15, pp.765-770, 2010, Mathematics in Industry; Progress in Industrial Mathematics at ECMI 2008. <10.1007/978-3-642-12110-4> |
||
|
hal-00449960v1
Pré-publication, Document de travail
Claire Chauvin, Pierre Saramito, Christophe Trophime. Convergence properties and numerical simulation by an adaptive FEM of the thermistor problem 2007 |
||
|
hal-00748153v1
Article dans une revue
L. Jacquin, V. Roca, Mohamed Ali Kaafar, F. Schuler, J.L. Roch. IBTrack: an ICMP black holes tracker IEEE GLOBECOM, IEEE, 2012 |
||
|
inria-00545955v5
Communication dans un congrès
Charles De Rousiers, Adrien Bousseau, Kartic Subr, Nicolas Holzschuch, Ravi Ramamoorthi. Real-Time Rough Refraction ACM Siggraph Symposium on Interactive 3D Graphics and Games (I3D), Feb 2011, San Francisco, United States. pp.111-118, 2011, <10.1145/1944745.1944764> |
||
|
inria-00319416v1
Communication dans un congrès
Jérémie Allard, Stéphane Cotin, François Faure, Pierre-Jean Bensoussan, François Poyer et al. SOFA - an Open Source Framework for Medical Simulation MMVR 15 - Medicine Meets Virtual Reality, Feb 2007, Palm Beach, United States. IOP Press, 125, pp.13-18, 2007, Studies in Health Technology and Informatics |
||
|
hal-00588072v1
Autre publication
Aida Boukottaya, Michel Buffa, Bernadette Charlier, Amaury Daele, Nathalie Deschryver et al. Description of six scenarios and of the results of six validated trials Description of six scenarios and of the results of six validated trials. 2007 |
||
|
inria-00319407v2
Communication dans un congrès
François Faure, Jérémie Allard, Stéphane Cotin, Paul Neumann, Pierre-Jean Bensoussan et al. SOFA: A modular yet efficient simulation framework Philippe Merloz and Jocelyne Troccaz. Surgetica 2007 - Computer-Aided Medical Interventions: tools and applications, Sep 2007, Chambéry, France. pp.101-108, 2007, Surgetica 2007, Gestes médicaux chirurgicaux assistés par ordinateur |
||
|
hal-00953324v1
Communication dans un congrès
Audrey Serna, Gaëlle Calvary, Dominique Scapin. Penser "Plasticité" peut améliorer la Qualité des Interfaces Homme-Machine : une étude de cas Calvary, G. and Wolff, M. Ergo'IA '10 Proceedings of the Ergonomie et Informatique Avancee Conference, Oct 2010, Biarritz, France. ACM, pp.77-84, 2010, <10.1145/1868650.1868663> |
||
|
hal-00953316v1
Communication dans un congrès
Audrey Serna, Gaëlle Calvary, Dominique Scapin. How Assessing Plasticity Design Choices Can Improve UI Quality: A Case Study EICS 2010 - Proceeding of the second ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Jun 2010, Berlin, Germany. ACM Press, pp.29-34, 2010, <10.1145/1822018.1822024> |
||
|
hal-01100923v1
Poster
Mehdi Pierre Daou, Agnès Cabal, Christophe Coulet, Olivier Bertrand, Éric Blayo et al. Modelling crisis management for improved action and preparedness (CRISMA): Modelling submersion on the Charente-Maritime coast Colloque international « Connaissance et compréhension des risques côtiers : Aléas, Enjeux, Représentations, Gestion », Jul 2014, Brest, France. <http://cocorisco.sciencesconf.org/> |
||
|
inria-00394469v2
Communication dans un congrès
Cécile Picard, Nicolas Tsingos, François Faure. Retargetting Example Sounds to Interactive Physics-Driven Animations AES 35th International Conference, Audio in Games, Feb 2009, London, United Kingdom. Audio Engineering Society, pp.Article 25, 2009, <http://www.aes.org/e-lib/browse.cfm?elib=15179> |
||
|
hal-01152576v1
Communication dans un congrès
Daniel J. Dougherty, Frederic Lang, Pierre Lescanne, Luigi Liquori, Kristoffer Rose. A Generic Object-Calculus Based on Addressed Term Rewriting Systems Proceedings of the Fourth Workshop on Explicit Substitutions Theory and Applications (WESTAPP '01), May 2001, Utrecht, Netherlands. University of Utrecht, Institute of Philosophy, Logic Group Preprint series, pp.6-25, Logic Group Preprint series |
||
|
inria-00345899v1
Communication dans un congrès
Cyril Crassin, Fabrice Neyret, Sylvain Lefebvre, Elmar Eisemann. GigaVoxels: Ray-Guided Streaming for Efficient and Detailed Voxel Rendering ACM SIGGRAPH Symposium on Interactive 3D Graphics and Games (I3D), Feb 2009, Boston, United States. ACM Press, pp.15-22, 2009, Proceedings of the 2009 symposium on Interactive 3D graphics and games. <10.1145/1507149.1507152> |
||
|
inria-00144016v2
Rapport
Nicolas Wotawa, Christophe Lenglet, Emmanuel Prados, Rachid Deriche, Olivier Faugeras. Anatomical connections in the human visual cortex: validation and new insights using a DTI Geodesic Connectivity Mapping method [Research Report] RR-6176, INRIA. 2007, pp.28 |
||
|
lirmm-00458376v1
Communication dans un congrès
Martine Eckert, Mitsuhiro Hayashibe, David Guiraud, Pierre-Brice Wieber, Philippe Fraisse. Simulating the human motion under Functional Electrical Stimulation using the HuMAnS toolbox Workshop on 3D Physiological Human, Dec 2008, Zermatt, Switzerland. pp.27, 2008, <http://3dph.miralab.unige.ch/> |
||
|
hal-01285014v1
Chapitre d'ouvrage
Eric Rutten, Nicolas Marchand, Daniel Simon. Feedback Control as MAPE-K loop in Autonomic Computing Software Engineering for Self-Adaptive Systems, Springer, 2016, Lecture Notes in Computer Science |
||
|
hal-00975220v3
Communication dans un congrès
Maxime Tournier, Matthieu Nesme, François Faure, Benjamin Gilles. Seamless Adaptivity of Elastic Models Paul G. Kry and Andrea Bunt. Graphics Interface, May 2014, Montréal, Canada. Canadian Information Processing Society Toronto, pp.17-24, 2014 |
||
|
lirmm-00342335v1
Chapitre d'ouvrage
Martine Eckert, Mitsuhiro Hayashibe, David Guiraud, Pierre-Brice Wieber, Philippe Fraisse. Simulating the Human Motion under Functional Electrical Stimulation using the HuMAnS Toolbox Nadia Magnenat-Thalmann and Jian J. Zhang and David D. Feng. Recent Advances in the 3D Physiological Human, Springer London, pp.121-131, 2009, 978-1-84882-564-2 (Print) 978-1-84882-565-9 (Online). <10.1007/978-1-84882-565-9_8>. <www.springerlink.com/content/wh0220j8470322k0/> |
||
|
lirmm-00806676v1
Communication dans un congrès
Maximilien Servajean, Esther Pacitti, Sihem Amer-Yahia, Pascal Neveu. Profile Diversity in Search and Recommendation Ido Guy; Michelle X. Zhou; Li Chen. SRS: Social Recommender Systems (in conjunction WWW 2013), May 2013, Rio de Janeiro, Brazil. IW3C2, International World Wide Web Conference Committee (IW3C2) - SRS 2013: 4th International Workshop on Social Recommender Systems (in conjunction WWW 2013 Companion, ACM 978-1-4503-2038-2/13/05., pp.973-980, 2013, <www2013.org/program/4th-international-conference-on-social-recommender-systems/> |
||
|
lirmm-00879575v1
Communication dans un congrès
Maximilien Servajean, Esther Pacitti, Sihem Amer-Yahia, Pascal Neveu. Profile Diversity for Phenotyping Data Search and Recommendation BDA: Bases de Données Avancées, Oct 2013, Nantes, France. 29e Journées Bases de Données Avancées, 2013, <http://bda2013.univ-nantes.fr> |
||
|
lirmm-00165445v1
Communication dans un congrès
Rodolphe Héliot, Strahinja Dosen, Christine Azevedo Coste, Bernard Espiau, Dejan B. Popovic. Online adaptation of optimal control of externally controlled walking of a hemiplegic individual CNE'07: 3rd International IEEE EMBS Conference on Neural Engineering, May 2007, Kohala Coast, HI, United States. IEEE, pp.36-39, 2007, <10.1109/CNE.2007.369605> |
||
|
hal-00802813v1
Chapitre d'ouvrage
Emilie Roche, Olivier Sename, Daniel Simon. LPV Approaches for Varying Sampling ControlDesign: Application to Autonomous Underwater Vehicles Olivier Sename and Peter Gaspar and József Bokor. Robust Control and Linear Parameter Varying Approaches, Springer-Verlag Berlin Heidelberg, pp.375-395, 2013, Lecture Notes in Control and Information Sciences ; vol. 437, 978-3-642-36109-8 (Print) 978-3-642-36110-4 (Online). <10.1007/978-3-642-36110-4_15> |
||
|
lirmm-01177564v1
Communication dans un congrès
Maximilien Servajean, Esther Pacitti, Miguel Liroz-Gistau, Sihem Amer-Yahia, Amr El Abbadi. Exploiting Diversification in Distributed Recommendation BDA: Bases de Données Avancées, Oct 2014, Grenoble-Autrans, France. INRIA-SILICONVALLEY, 2014, Gestion de Données – Principes, Technologies et Applications. <http://bda2014.imag.fr> |
||
|
lirmm-01086951v1
Communication dans un congrès
Marie-Christine Rousset, Federico Ulliana. Extracting Bounded-level Modules from Deductive RDF Triplestores AAAI: Conference on Artificial Intelligence, Jan 2015, Austin, Texas, United States. AAAI'15: 29th Conference on Artificial Intelligence |
||
|
|
||
