HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation


...
hal-01242851v1  Conference papers
Noura HamzéAlexandre BilgerChristian DuriezStéphane CotinCaroline Essert. Anticipation of Brain Shift in Deep Brain Stimulation Automatic Planning
IEEE Engineering in Medicine and Biology Society (EMBC’15), Aug 2015, Milan, Italy. pp.3635 - 3638 ⟨10.1109/EMBC.2015.7319180⟩
...
hal-00767663v1  Conference papers
Ludovic HablotOlivier GlückJean-Christophe MignotStéphane GenaudPascale Vicat-Blanc. Comparison and tuning of MPI implementation in a grid context
Proceedings of 2007 IEEE International Conference on Cluster Computing (CLUSTER), Sep 2007, Austin, United States. pp.458-463
...
hal-01695035v1  Conference papers
Benoît CaldairouNicolas PassatBenoît Naegel. Attribute-filtering and knowledge extraction for vessel segmentation
International Symposium on Visual Computing (ISVC), 2010, Las Vegas, United States. pp.13-22, ⟨10.1007/978-3-642-17289-2_2⟩
...
inria-00403933v1  Conference papers
Rached AbdelkhalekHenri CalendraOlivier CoulaudGuillaume LatuJean Roman. Fast Seismic Modeling and Reverse Time Migration on a GPU Cluster
The 2009 High Performance Computing & Simulation - HPCS'09, Jun 2009, Leipzig, Germany
...
lirmm-01054924v1  Journal articles
Mathieu RocheMaguelonne TeisseireBruno CrémilleuxPierre GançarskiChristian Sallaberry et al.  Animitex : Analyse d'Images fondée sur des Informations Textuelles
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2014, 19 (3), pp.163-167. ⟨10.3199/ISI.18.1.1⟩
...
hal-00644686v3  Journal articles
Emmanuel FrénodAntoine Rousseau. Paralic confinement: models and simulations
Acta Applicandae Mathematicae, Springer Verlag, 2013, 123 (1), pp.1-19. ⟨10.1007/s10440-012-9706-2⟩
...
inria-00584918v1  Conference papers
Tuan Minh PhamYves BertotJulien Narboux. A Coq-based Library for Interactive and Automated Theorem Proving in Plane Geometry
The 11th International Conference on Computational Science and Its Applications (ICCSA 2011), Jun 2011, Santander, Spain. pp.368-383, ⟨10.1007/978-3-642-21898-9_32⟩
...
hal-00723472v2  Journal articles
Morgane BergotMarc Duruflé. Approximation of H(div) with High-Order Optimal Finite Elements for Pyramids, Prisms and Hexahedra
Communications in Computational Physics, Global Science Press, 2013, 14 (5), pp.1372-1414. ⟨10.4208/cicp.120712.080313a⟩
hal-00139383v1  Journal articles
Vincent Torri. Numerical and dynamical analysis of undulation instability under shear stress
Discrete and Continuous Dynamical Systems - Series S, American Institute of Mathematical Sciences, 2005, 5 (2), pp.423-460
...
tel-00643585v1  Theses
Jonathan Weber. Segmentation morphologique interactive pour la fouille de séquences vidéo
Traitement des images [eess.IV]. Université de Strasbourg, 2011. Français
...
hal-00714875v1  Conference papers
Dominique ColnetBenoit Sonntag. Analyse simple de types dans les tableaux et optimisation du ramasse-miettes.
Conférence en IngénieriE du Logiciel - CIEL 2012, Jun 2012, Rennes, France. pp.1-15
...
hal-03241674v1  Conference papers
Pedro Henrique Suruagy PerrusiAnna CazzanigaPaul BaksicEleonora TagliabueElena de Momi et al.  Learning robotic needle steering from inverse finite element simulations
ICRA 2021 - Workshop on Representing and Manipulating Deformable Objects, May 2021, Xi’an / Virtual, China
inria-00594611v1  Conference papers
Christoph AltmannThomas BelatMichaël GutnicPhilippe HelluyHélène Mathis et al.  A local time-stepping Discontinuous Galerkin algorithm for the MHD system
Modélisation et Simulation de Fluides Complexes - CEMRACS 2008, Jul 2009, Marseille, France. ⟨10.1051/proc/2009038⟩
...
hal-00139352v1  Journal articles
Michel Mehrenberger. Critical length for a Beurling type theorem
Bollettino dell'Unione Matematica Italiana, Springer Verlag, 2005, 8, http://www.bdim.eu/item?id=BUMI_2005_8_8B_1_251_0
...
hal-00833327v2  Journal articles
Emmanuel FrénodJean-Philippe GouigouxLandry Touré. Modeling and Solving Alternative Financial Solutions Seeking
Journal of Industrial and Management Optimization, AIMS, 2015, 11 (1), pp.145-170. ⟨10.3934/jimo.2015.11.145⟩