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-01949207v1  Journal articles
Niki VazouÉric TanterDavid van Horn. Gradual liquid type inference
Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (OOPSLA), pp.1-25. ⟨10.1145/3276502⟩
hal-01960553v1  Journal articles
Matías ToroElizabeth LabradaÉric Tanter. Gradual Parametricity, Revisited
Proceedings of the ACM on Programming Languages, ACM, 2019, 3 (POPL), ⟨10.1145/3290330⟩
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⟩
hal-01672706v1  Journal articles
Jonathan ProtzenkoJean‐karim ZinzindohouéAseem RastogiTahina RamananandroPeng Wang et al.  Verified Low‐Level Programming Embedded in F*
Proceedings of the ACM on Programming Languages, ACM, 2017, 1 (ICFP), pp.17:1--17:29. ⟨10.1145/3110261⟩
hal-02885666v1  Journal articles
Caroline RoneyChris CantwellJason BayerNorman QureshiPhang Boon Lim et al.  Spatial Resolution Requirements for Accurate Identification of Drivers of Atrial Fibrillation
Circulation. Arrhythmia and electrophysiology, Lippincott Williams & Wilkins, 2017, 10 (5), pp.e004899. ⟨10.1161/CIRCEP.116.004899⟩
hal-01441539v1  Journal articles
Sameh KessentiniDominique Barchiesi. Roughness effect on the efficiency of dimer antenna based biosensor
Advanced Electromagnetics, Advanced Electromagnetics, 2012, 1 (2), pp.41--47. ⟨10.7716/aem.v1i2.20⟩
hal-00629909v1  Journal articles
Nacim RamdaniNacim MeslemYves Candau. Computing reachable sets for uncertain nonlinear monotone systems
Nonlinear Analysis: Hybrid Systems, Elsevier, 2010, 4 (2), pp.263-278
hal-01497878v1  Journal articles
Jacques SaraydaryanFabrice JumelOlivier Simonin. Patrouille Multi-Agent Dynamique, application Robotique pour le Service de Personnes Mobiles
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2017, 31 (4), pp.379-400. ⟨10.3166/ria.31.379-400⟩
inria-00122482v1  Journal articles
Y.H. SongY. GuoB.G. LiPhilippe de Reffye. Virtual maize model II. plant morphological constructing based on organ biomass accumulation
Acta Ecologica Sinica, Elsevier, 2003, Acta Ecologica Sinica, 23 (12), pp.2579-2586
hal-01098554v1  Journal articles
Abdelkoddousse AhdidaAurélien AlfonsiErnesto Palidda. Smile with the Gaussian term structure model
The Journal of Computational Finance, Incisive Media, 2017, 21 (1), ⟨10.21314/JCF.2016.328⟩
hal-01555429v1  Journal articles
Pedro Henrique GomesThomas WatteyneBhaskar Krishnamachari. MABO-TSCH: Multi-hop And Blacklist-based Optimized Time Synchronized Channel Hopping
Transactions on emerging telecommunications technologies, Wiley-Blackwell, 2017
hal-01548381v1  Journal articles
Karun M. JosephThomas WatteyneBranko Kerkez. Awa: Using Water Distribution Systems to Transmit Data
Transactions on emerging telecommunications technologies, Wiley-Blackwell, 2017
hal-00907158v1  Journal articles
Rosa VilardiLuigi Alfredo GriecoChadi BarakatGennaro Boggia. Lightweight Enhanced Monitoring for High-speed Networks
Transactions on emerging telecommunications technologies, Wiley-Blackwell, 2013, ⟨10.1002/ett.2637⟩
hal-01252270v1  Journal articles
Ridha SouaPascale MinetErwan Livolant. Wave: a distributed scheduling algorithm for convergecast in IEEE 802.15.4e TSCH networks
Transactions on emerging telecommunications technologies, Wiley-Blackwell, 2015, pp.18
hal-01667057v1  Journal articles
Bernard LapeyreEmmanuel Temam. Competitive Monte Carlo methods for the pricing of Asian options
The Journal of Computational Finance, Incisive Media, 2001, 5 (1), pp.39 - 57. ⟨10.21314/JCF.2001.061⟩
hal-01533174v1  Journal articles
Tengfei ChangThomas WatteyneXavier VilajosanaQin Wang. CCR: Cost-Aware Cell Relocation in 6TiSCH Networks
Transactions on emerging telecommunications technologies, Wiley-Blackwell, 2017