Skip to Main content Skip to Navigation


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
...
inria-00543185v1  Journal articles
Irène KorsakissokVivien Mallet. Development and application of a reactive plume-in-grid model: evaluation over Greater Paris
Atmospheric Chemistry and Physics, European Geosciences Union, 2010, 10 (18), pp.8917--8931. ⟨10.5194/acp-10-8917-2010⟩
...
hal-02392487v1  Journal articles
Francisco NavasVicente Milanés. Mixing V2V- and non-V2V-equipped vehicles in car following
Transportation research. Part C, Emerging technologies, Elsevier, 2019, 108, pp.167-181. ⟨10.1016/j.trc.2019.08.021⟩
...
inria-00087226v5  Journal articles
Julien CarmeRémi GilleronAurélien LemayJoachim Niehren. Interactive Learning of Node Selecting Tree Transducers
Machine Learning, Springer Verlag, 2007, Machine Learning, 66 (1), pp.33-67. ⟨10.1007/s10994-006-9613-8⟩
...
hal-01222045v1  Journal articles
Jérémy FreyAurélien AppriouFabien LotteMartin Hachet. Classifying EEG Signals during Stereoscopic Visualization to Estimate Visual Comfort
Computational Intelligence and Neuroscience, Hindawi Publishing Corporation, 2016, 2016, ⟨10.1155/2016/2758103⟩
...
hal-01671777v3  Journal articles
Matthieu SozeauCyprien Mangin. Equations reloaded
Proceedings of the ACM on Programming Languages, ACM, 2019, 3 (ICFP), pp.1-29. ⟨10.1145/3341690⟩
...
hal-01672734v1  Journal articles
Danel Ahman. Handling Fibred Algebraic Effects
Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (POPL), pp.1-29. ⟨10.1145/3158095⟩
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-01672735v1  Journal articles
William J. BowmanYouyou CongNick RiouxAmal Ahmed. Type‐Preserving CPS Translation of Σ and Π Types is Not Not Possible
Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (POPL), pp.1-33. ⟨10.1145/3158110⟩
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⟩
...
inria-00470101v1  Journal articles
Isabelle Tellier. Learning Recursive Automata from Positive Examples
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2006, New Methods in Machine Learning. Theory and Applications, 20 (6), pp.775-804. ⟨10.3166/ria.20.775-804⟩
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⟩
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-01533174v1  Journal articles
Tengfei ChangThomas WatteyneXavier VilajosanaQin Wang. CCR: Cost-Aware Cell Relocation in 6TiSCH Networks
Transactions on emerging telecommunications technologies, Wiley-Blackwell, 2017
...
inria-00112838v1  Journal articles
Sylvain GellyOlivier Teytaud. Bayesian Networks: a Non-Frequentist Approach for Parametrization, and a more Accurate Structural Complexity Measure
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2006
hal-01055084v1  Journal articles
Christian MuehlBrendan AllisonAnton NijholtGuillaume Chanel. A survey of affective brain computer interfaces: principles, state-of-the-art, and challenges
Brain-Computer Interfaces, Taylor & Francis, 2014, Special Issue: Affective Brain-Computer Interfaces, 1 (2), ⟨10.1080/2326263X.2014.912881⟩
inria-00615646v1  Journal articles
Maxime SermesantKawal RhodeS. HegdeG. Sanchez-OrtizDaniel Rueckert et al.  Electromechanical Modelling of the Myocardium using XMR Interventional Imaging
Journal of Cardiovascular Magnetic Resonance, BioMed Central, 2004, 6 (1), pp.123--125
...
inria-00070230v1  Journal articles
Antoine Gloria. An analytical framework for the numerical homogenization of monotone elliptic operators and quasiconvex energies
Multiscale Modeling and Simulation: A SIAM Interdisciplinary Journal, Society for Industrial and Applied Mathematics, 2006, 5 (3), pp.996-1043. ⟨10.1137/060649112⟩
...
hal-00826581v1  Journal articles
Anne TilloyVivien MalletDavid PouletCéline PesinFabien Brocheton. BLUE-based NO2 data assimilation at urban scale
Journal of Geophysical Research, American Geophysical Union, 2013, 118 (4), pp.2031-2040. ⟨10.1002/jgrd.50233⟩
...
hal-00772721v1  Journal articles
Nicolas PouillardFrançois Pottier. A unified treatment of syntax with binders
Journal of Functional Programming, Cambridge University Press (CUP), 2012, 22 (4--5), pp.614--704. ⟨10.1017/S0956796812000251⟩
hal-00903880v1  Journal articles
Vivien MalletAlexander NakonechnySergiy Zhuk. Minimax filtering for sequential aggregation: Application to ensemble forecast of ozone analyses
Journal of Geophysical Research, American Geophysical Union, 2013, 118 (19), pp.11,294-11,303. ⟨10.1002/jgrd.50751⟩
...
inria-00547903v1  Journal articles
Vivien Mallet. Ensemble forecast of analyses: Coupling data assimilation and sequential aggregation
Journal of Geophysical Research, American Geophysical Union, 2010, 115 (D24303), ⟨10.1029/2010JD014259⟩
hal-01100346v1  Journal articles
Yan ChenJoshua DunfieldMatthew A. HammerUmut A. Acar. Implicit self-adjusting computation for purely functional programs
Journal of Functional Programming, Cambridge University Press (CUP), 2014, 24 (1), pp.56-112
...
hal-00939188v1  Journal articles
Nikhil SwamyJuan ChenCédric FournetPierre-Yves StrubKarthikeyan Bhargavan et al.  Secure Distributed Programming with Value-Dependent Types
Journal of Functional Programming, Cambridge University Press (CUP), 2013, 23 (4), pp.402-451
...
hal-00922936v1  Journal articles
Adi AdimurthiG. D. Veerappa GowdaJérôme Jaffré. The DFLU flux for systems of conservation laws
Journal of Computational and Applied Mathematics, Elsevier, 2013, 247, pp.102-123. ⟨10.1016/j.cam.2012.12.025⟩
hal-01411848v1  Journal articles
Zeinab HmedehHarry KourdounakisVassilis ChristophidesCédric Du MouzaMichel Scholl et al.  Content-Based Publish/Subscribe System for Web Syndication
Journal of Computer Science and Technology, Springer Verlag, 2016, 31, pp.359 - 380. ⟨10.1007/s11390-016-1632-8⟩
hal-00781127v1  Journal articles
Jing-Rebecca LiLeslie Greengard. Strongly consistent marching schemes for the wave equation
Journal of Computational Physics, Elsevier, 2003, 188 (1), pp.194--208
...
inria-00074988v1  Journal articles
Stéphane GrumbachVictor Vianu. Tractable query languages for complex object databases
Journal of Computer and System Sciences, Elsevier, 1995, 51 (2), pp.149-167. ⟨10.1006/jcss.1995.1058⟩
...
inria-00564552v1  Journal articles
Sylvain Salvati. MIX is a 2-MCFL and the word problem in $\mathbb{Z}^2$ is solved by a third-order collapsible pushdown automaton
Journal of Computer and System Sciences, Elsevier, 2015, 81 (7), pp.1252 - 1277
hal-00781131v1  Journal articles
Jing-Rebecca LiLeslie Greengard. High order marching schemes for the wave equation in complex geometry
Journal of Computational Physics, Elsevier, 2004, 198 (1), pp.295--309