Skip to Main content Skip to Navigation


hal-00854662v1  Journal articles
Henri CohenFrank Thorne. Dirichlet series associated to cubic fields with given quadratic resolvent
Michigan Mathematical Journal, University of Michigan, 2014, 63, pp.253-273
hal-01406655v1  Book sections
Bernt ØksendalAgnès SulemTusheng Zhang. A stochastic HJB equation for optimal control of forward-backward SDEs
The Fascination of Probability, Statistics and their Applications, Springer Verlag, pp.11, 2016
hal-01306998v1  Journal articles
Kamel AissatAmmar Oulamara. A priori approach of real-time ridesharing problem with intermediate meeting locations
Journal of Artificial Intelligence and Soft Computing Research, 2014, 4 (4), pp.287-299
hal-00654533v1  Books
Dominique ChapelleK.J. Bathe. The Finite Element Analysis of Shells - Fundamentals - Second Edition
Springer, pp.410, 2011, Computational Fluid and Solid Mechanics, 978-3-642-16407-1. ⟨10.1007/978-3-642-16408-8⟩
hal-00826909v1  Journal articles
Yelva RoustanMarc BocquetLuc Musson-GenonBruno Sportisse. Modélisation du mercure, du plomb et du cadmium à l'échelle européenne
Pollution Atmosphérique : climat, santé, société, Le Kremlin Bicêtre : Revue Pollution atmosphérique, 2006, 48 (191), pp.317-327
hal-00826931v1  Journal articles
Anne MathieuIrène KorsakissokDenis QuéloOlivier SaunierJérôme Groëll et al.  État de la modélisation pour simuler l'accident nucléaire de la centrale Fukushima Daiichi
Pollution Atmosphérique : climat, santé, société, Le Kremlin Bicêtre : Revue Pollution atmosphérique, 2013
hal-00933358v1  Journal articles
Isabelle HerlinVivien Mallet. La qualité de l'air sous surveillance
Textes et documents pour la classe, SCEREN-CNDP (2002-2013), CANOPE (2014- ), INRDP (1967- ), 2013, Les mathématiques de la terre, pp.40-41
inria-00633749v1  Journal articles
Marc BocquetBruno Sportisse. Modélisation inverse pour la qualité de l'air : éléments de méthodologie et exemples
Pollution Atmosphérique : climat, santé, société, Le Kremlin Bicêtre : Revue Pollution atmosphérique, 2007, pp.395-404
hal-01724375v1  Journal articles
Imen Ben OthmaneJoseph Di MartinoKais Ouni. Enhancement of esophageal speech using statistical and neuromimetic voice conversion techniques
Journal of International Science and General Applications, ISGA, 2018, 1 (1), pp.10
lirmm-01397013v1  Journal articles
Olivier GascuelTanja Stadler. Mathematical and Computational Evolutionary Biology (2013)
Systematic Biology, Oxford University Press (OUP), 2015, 64 (1), pp.1-2. ⟨10.1093/sysbio/syu086⟩
tel-01746842v1  Theses
Olivier Fissore. Terminaison de la réécriture sous stratégies
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2003. Français. ⟨NNT : 2003NAN10176⟩
hal-00769658v1  Journal articles
Hassan FahsMohamad Safa. High-order explicit time-integrators for discontinuous Galerkin discretizations of the Maxwell equations
International Journal of Modeling, Simulation, and Scientific Computing, World Scientific Publishing, 2012, 4 (1), pp.Article ID : 1250029. ⟨10.1142/S1793962312500298⟩
hal-01949209v1  Journal articles
Max NewAmal Ahmed. Graduality from embedding-projection pairs
Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (ICFP), pp.1-30. ⟨10.1145/3236768⟩
hal-01890511v1  Journal articles
Jan-Oliver KaiserBeta ZilianiRobbert KrebbersYann Régis-GianasDerek Dreyer. Mtac2: typed tactics for backward reasoning in Coq
Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (ICFP), pp.1 - 31. ⟨10.1145/3236773⟩
hal-02886275v1  Journal articles
Krishnanand BalasundaramKarthikeyan UmapathyJoyce JeyaratnamAhmed NiriStéphane Massé et al.  Tracking Rotors With Minimal Electrodes
Circulation. Arrhythmia and electrophysiology, Lippincott Williams & Wilkins, 2015, 8 (2), pp.447-455. ⟨10.1161/CIRCEP.114.002306⟩