Skip to Main content Skip to Navigation


hal-03468875v1  Conference papers
Shideh RezaeifarRobert DadashiNino VieillardLéonard HussenotOlivier Bachem et al.  Offline Reinforcement Learning as Anti-Exploration
36th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence (AAAI), Feb 2022, Vancouver, Canada
hal-03468859v1  Conference papers
Nino VieillardOlivier PietquinMatthieu Geist. Munchausen Reinforcement Learning
NeurIPS, Dec 2020, Vancouver (online), Canada
hal-03468847v1  Conference papers
Robert DadashiShideh RezaeifarNino VieillardLéonard HussenotOlivier Pietquin et al.  Offline Reinforcement Learning with Pseudometric Learning
38th International Conference on Machine Learning, Jun 2021, virtual, France
hal-03349433v1  Conference papers
Zainab AssaghirMehdi KaytoueAmedeo NapoliHenri Prade. Organiser la fusion d'informations par l'Analyse Formelle de Concepts
Rencontres Francophones sur la Logique Floue et ses Applications (LFA 2010), ENSSAT : École Nationale Supérieure des Sciences Appliquées et de Technologie (Lannion), Nov 2010, Lannion, France. pp.133-140
hal-03270285v1  Conference papers
Jérémie GaidamourXavier Antoine. A parallel computation of the stationary states of rotating Bose-Einstein condensates using an iterative pseudo-spectral method
Workshop on Mathematical and Computational Methods for Quantum Systems, Dec 2018, Montreal, Canada
hal-03270271v1  Conference papers
Jérémie GaidamourXavier Antoine. A parallel framework for the numerical simulation of Bose–Einstein condensates
International Conference on Scientific Computation and Differential Equations (SciCADE), Jul 2019, Innsbruck, Austria
hal-03024433v1  Conference papers
Cyril BrzenczekSophie Wantz-MézièresYann GaudeauMarie BlonskiFabien Rech et al.  An original MRI-based method to quantify the diffuse low-grade glioma brain infiltration
10th International Conference on Image Processing Theory, Tools and Applications, IPTA’20, Nov 2020, Paris, France
hal-02754636v1  Conference papers
Katarzyna AdamczykFrédérique AngevinNathalie ColbachClaire LavigneFlorence Le Ber et al.  GENEXP, un logiciel simulateur de paysages agricoles pour l'étude de la diffusion de transgènes
Colloque International de Géomatique et d'Analyse Spatiale, Recherches et Développements - SAGEO-2006, 2006, Strasbourg, France. ⟨10.3166/GEO.17⟩
hal-02667483v1  Journal articles
Frédéric MazencPierre-Alexandre Bliman. Backstepping design for time-delay nonlinear systems
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2006, 51 (1), pp.149-154. ⟨10.1109/CDC.2003.1272269⟩
hal-02565330v1  Conference papers
Haoxun ChenChengbin ChuJean-Marie Proth. A more efficient Lagrangian relaxation approach to job-shop scheduling problems
1995 IEEE International Conference on Robotics and Automation, May 1995, Nagoya, Japan. pp.496-501, ⟨10.1109/ROBOT.1995.525332⟩
hal-02565328v1  Conference papers
Haoxun ChenChengbin ChuJean-Marie Proth. Cyclic hoist scheduling based on graph theory
1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation. ETFA'95, Oct 1995, Paris, France. pp.451-459, ⟨10.1109/ETFA.1995.496798⟩
hal-02565323v1  Conference papers
Haoxun ChenChengbin ChuJean-Marie Proth. Cyclic part scheduling in a robotic cell
IEEE International Conference on Systems, Man and Cybernetics, Oct 1996, Beijing, China. pp.2928-2933, ⟨10.1109/ICSMC.1996.561407⟩
hal-02492942v1  Journal articles
Haoxun ChenChengbin ChuJean-Marie Proth. Cyclic scheduling of a hoist with time window constraints
IEEE Transactions on Robotics and Automation, Institute of Electrical and Electronics Engineers (IEEE), 1998, 14 (1), pp.144-152. ⟨10.1109/70.660860⟩
hal-02490619v1  Journal articles
Haoxun ChenChengbin ChuJean-Marie Proth. An improvement of the Lagrangean relaxation approach for job shop scheduling: a dynamic programming method
IEEE Transactions on Robotics and Automation, Institute of Electrical and Electronics Engineers (IEEE), 1998, 14 (5), pp.786-795. ⟨10.1109/70.720354⟩
hal-02457888v1  Conference papers
Sergey PodkorytovChristian GentilDmitry SokolovSandrine Lanquetin. Propriétés différentielles du raccord entre deux courbes fractales
Groupe de Travail en Modélisation Géométrique (GTMG), Mar 2012, Grenoble, France
hal-02457884v1  Conference papers
Anton MishkinisChristian GentilSandrine LanquetinDmitry Sokolov. Approximation de l'enveloppe convexe de l'attracteur d'un IFS affine
Groupe de Travail en Modélisation Géométrique (GTMG), Mar 2012, Grenoble, France
hal-02342707v1  Conference papers
Rida KhatounGuillaume DoyenDominique GaïtiRadwane SaadAhmed Serhrouchni. Decentralized Alerts Correlation Approach for DDoS Intrusion Detection
2008 New Technologies, Mobility and Security (NTMS), Nov 2008, Tangier, France. pp.1-5, ⟨10.1109/NTMS.2008.ECP.36⟩
hal-02342696v1  Conference papers
Badis HammiRida KhatounGuillaume Doyen. A Factorial Space for a System-Based Detection of Botcloud Activity
2014 6th International Conference on New Technologies, Mobility and Security (NTMS), Mar 2014, Dubai, France. pp.1-5, ⟨10.1109/NTMS.2014.6813996⟩
hal-02342695v1  Conference papers
Hammi BadisGuillaume DoyenRida Khatoun. Understanding botclouds from a system perspective: A principal component analysis
NOMS 2014 - 2014 IEEE/IFIP Network Operations and Management Symposium, May 2014, Krakow, France. pp.1-9, ⟨10.1109/NOMS.2014.6838310⟩
hal-02304001v1  Journal articles
Daniel RoyDidier AnciauxThibaud MonteiroLatifa Ouzizi. Multi‐agent architecture for supply chain management
Journal of Manufacturing Technology Management, Emerald, 2004, 15 (8), pp.745-755. ⟨10.1108/17410380410565339⟩
hal-02303947v1  Conference papers
Thibaud MonteiroDaniel Roy. Architecture de pilotage semi-distribuée de l’entreprise virtuelle
5e International Industrial Engineering Conference (GI2003), Oct 2003, Québec, Canada
hal-02303802v1  Conference papers
Didier AnciauxMunerato FrancisDaniel RoyFrancois B. VernadatXiaolan Xie. INTAS Project 2183: Concurrent Design of Flexible Manufacturing Systems: Control and Command
International Conference on Industrial Logistics, Jun 1999, Saint Perterbourg, Russia
hal-02278048v1  Journal articles
Oliver GlauserBenedek VartokWan-Chun MaDaniele PanozzoAlec Jacobson et al.  Rig animation with a tangible and modular input device
Interactions, Association for Computing Machinery, 2017, 24 (2), pp.16-17. ⟨10.1145/3041959⟩
hal-02278033v1  Journal articles
Shane GriffithGeorges ChahineCedric Pradalier. Symphony Lake Dataset
The International Journal of Robotics Research, SAGE Publications, 2017, 36 (11), pp.1151-1158. ⟨10.1177/0278364917730606⟩
hal-02273741v1  Conference papers
Matthieu GeistBruno ScherrerOlivier Pietquin. A Theory of Regularized Markov Decision Processes
ICML 2019 - Thirty-sixth International Conference on Machine Learning, Jun 2019, Long Island, United States
hal-02273713v1  Conference papers
Yonathan EfroniGal DalalBruno ScherrerShie Mannor. How to Combine Tree-Search Methods in Reinforcement Learning
AAAI 19 - Thirty-Third AAAI Conference on Artificial Intelligence, Jan 2019, Honolulu, Hawai, United States
hal-02164364v1  Journal articles
Romain AzaïsGuillaume CeruttiDidier GemmerléFlorian Ingels. Treex : a Python package for manipulating rooted trees
Journal of Open Source Software, Open Journals, 2019, 4 (38), pp.1-2. ⟨10.21105/joss.01351⟩
hal-02141769v1  Books
Antoine BeugnardOlivier Zendra. Conférence francophone sur les Architectures Logicielles : CAL 2009
Cépaduès, L-4, pp.104, 2009, RNTI, RNTI, 978-2-85428-887-2
hal-02007524v1  Book sections
Baudouin DafflonFranck GechterPablo GruerAbder Koukam. An Agent Based Layered Decision Process for Vehicle Platoon Control
Informatics in Control, Automation and Robotics, pp.107-122, 2015
hal-01961722v1  Book sections
Marianne ClauselJean-Baptiste Durand. Modèles génératifs
Data Science. Cours et exercices, Eyrolles, 2018, 978-2-212-67410-1
tel-01746519v1  Theses
Sébastien Gorges. Vers un système de navigation 3D en neuroradiologie interventionnelle
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2007. Français. ⟨NNT : 2007NAN10035⟩
hal-01490406v1  Conference papers
Walid TahaAdam DuraczYingfu ZengAtkinson KevinPaul Brauner et al.  Acumen: An Open-Source Testbed for Cyber-Physical Systems Research
International Internet of Things Summit, Oct 2015, Rome, Italy. pp.118-130, ⟨10.1007/978-3-319-47063-4_11⟩
hal-01480003v1  Journal articles
Michael ZockGil FrancopouloAbdellatif Laroui. SWIM: a Natural Interface for the Scientifically Minded Language Learner
Computers and the Humanities, Springer Verlag, 1989, 23 (4/5), pp.411-422
hal-01479998v1  Book sections
Michael ZockAbdellatif LarouiGil Francopoulo. DIAM: une autre manière d'apprendre la langue de Molière.
Monique Baron and Jean François Nicaud. Journées EIAO du PRC-GDR Intelligence Artificielle, pp.283--296, 1990
hal-01479862v1  Journal articles
Philippe HelluySylvain MairePatrick Ravel. Intégration numérique d'ordre élevé de fonctions régulières ou singulières sur un intervalle
Comptes Rendus de l'Académie des Sciences - Series I - Mathematics, Elsevier, 1998, 327 (9), pp.843-848
hal-01479854v1  Journal articles
Sylvain Maire. A Monte Carlo computation of polynomial approximations on a hypercube
Comptes Rendus. Mathématique, Académie des sciences (Paris), 2003, 336 (2), pp.185-190. ⟨10.1016/S1631-073X(03)00014-1⟩
hal-01479853v1  Journal articles
Sylvain Maire. An iterative computation of approximations on Korobov-like spaces
Journal of Computational and Applied Mathematics, Elsevier, 2003, 157 (2), pp.261-281. ⟨10.1016/S0377-0427(03)00410-2⟩
hal-01479851v1  Journal articles
Sylvain Maire. Un algorithme probabiliste de calculs d'approximations polynomiales sur un hypercube
Comptes Rendus. Mathématique, Académie des sciences (Paris), 2003, 336 (2), pp.185-190
hal-01479850v1  Journal articles
Sylvain Maire. Reducing variance using iterated control variates
Journal of Statistical Computation and Simulation, Taylor & Francis, 2003, 73 (1), pp.1-30. ⟨10.1080/00949650215726⟩
hal-01479848v1  Journal articles
Sylvain Maire. Polynomial approximations of multivariate smooth functions from quasi-random data
Statistics and Computing, Springer Verlag (Germany), 2004, 14 (4), pp.333-336
hal-01479844v1  Journal articles
Emmanuel GobetSylvain Maire. A spectral Monte Carlo method for the Poisson equation
Monte Carlo Methods and Applications, De Gruyter, 2004, 10 (3-4), pp.275-285
hal-01479840v1  Journal articles
Sylvain MaireDenis Talay. On a Monte Carlo method for neutron transport criticality computations
IMA Journal of Numerical Analysis, Oxford University Press (OUP), 2006, 26 (4), pp.657-685
hal-01479838v1  Journal articles
Emmanuel GobetSylvain Maire. Sequential control variates for functionals of Markov processes
SIAM Journal on Numerical Analysis, Society for Industrial and Applied Mathematics, 2006, 43 (3), pp.1256-1275. ⟨10.1137/040609124⟩
hal-01479837v1  Journal articles
Sylvain MaireChristophe De Luigi. Quasi Monte Carlo quadratures for multivariate smooth functions
Applied Numerical Mathematics, Elsevier, 2006, 56 (2), pp.146-162
hal-01479829v1  Journal articles
Sylvain MaireEtienne Tanré. Some new simulation schemes for the evaluation of Feynman-Kac representations
Monte Carlo Methods and Applications, De Gruyter, 2008, 14 (1), pp.29-51
hal-01466800v1  Journal articles
Maxime Amblard. Regard sur « Le temps des algorithmes »
Interstices, INRIA, 2017
hal-01434770v1  Conference papers
Fabrice RouillierM.F. Roy. Polynomial system solving in practice
FoCM'97, 1997, Unknown, Unknown Region
hal-01434768v1  Conference papers
Fabrice Rouillier. Application of Modules (RealSolving/FRISCO)
MuPAD Workshop 1997, 1997, Unknown, Unknown Region
hal-01434764v1  Conference papers
Jean-Charles FaugèreFabrice Rouillier. Design of filter and filter banks using dedicated Computer Algebra Tools
International Conference on Applications of Computer Algebra (ACA'99), Jun 1999, Madrid, Spain
hal-01434763v1  Conference papers
Jean-Charles FaugèreLuc RollandFabrice Rouillier. Using Computer algebra tools for off-line studies of parallel manipulators
International Conference on Applications of Computer Algebra (ACA'99), Jun 1999, Madrid, Spain
hal-01434761v1  Conference papers
Fabrice Rouillier. Real Solving of Polynomial Systems and Applications
ICIAM'99 - Edhimburg, 1999, Unknown, Unknown Region
hal-01434759v1  Conference papers
Fabrice Rouillier. Efficient Agorithms Based on the Critical Point Method
DIMACS Workshop on Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science, Mar 2001, Rutgers, United States. pp.123-138
hal-01434760v1  Conference papers
Fabrice Rouillier. Well-defined semantics for floating-point computations: the MPFR library
MuPAD Workshop 2000, 2000, Unknown, Unknown Region
hal-01434758v1  Conference papers
Nathalie RevolFabrice Rouillier. A library for arbitrary precision interval arithmetic
10th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (scan2002), 2002, Paris, France
hal-01434757v1  Book sections
Fabrice Rouillier. Efficient algorithms based on critical points method
Algorithmic and Quantitative Real Algebraic Geometry, 60, American Mathematical Society, pp.123--138, 2003, Discrete Mathematics and Theoretical Computer Science
hal-01431513v1  Book sections
Eddy CaronFrédéric DesprezEric FleuryFrédéric LombardJean-Marc Nicod et al.  Une approche hiérarchique des serveurs de calculs
Françoise Baude. Calcul réparti à grande échelle, Hermès Science Paris, pp.23, 2002, 2-7462-0472-X
hal-01431508v1  Conference papers
Eddy CaronFrédéric DesprezFrédéric LombardJean-Marc NicodMartin Quinson et al.  A Scalable Approach to Network Enabled Servers
8th International EuroPar Conference, 2002, Paderborn, Germany. pp.4
hal-01406873v1  Conference papers
Layla El AsriRomain LarocheOlivier Pietquin. Compact and Interpretable Dialogue State Representation with Genetic Sparse Distributed Memory
7th International Workshop on Spoken Dialogue Systems (IWSDS 2016), Jan 2016, Saariselka, Finland
hal-01401140v2  Journal articles
Bossy MireilleJose EspinaJacques MoriceCristian ParisAntoine Rousseau. Modeling the wind circulation around mills with a Lagrangian stochastic approach
SMAI Journal of Computational Mathematics, Société de Mathématiques Appliquées et Industrielles (SMAI), 2016, 2, pp.177-214 ⟨10.5802/smai-jcm.13⟩
hal-01326803v1  Journal articles
Paul RetifThierry BastogneMuriel Barberi-Heyob. Robustness analysis of a Geant4-Gate simulator for nano-radiosensitizers characterization
IEEE Transactions on NanoBioscience, Institute of Electrical and Electronics Engineers, 2016, 15 (3), pp.209-217. ⟨10.1109/TNB.2016.2527720⟩
hal-01321281v1  Conference papers
Mériem Ben AbdallahMarie BlonskiSophie Wantz-MézièresYann GaudeauLuc Taillandier et al.  Modèles prédictifs pour les gliomes diffus de bas grade sous chimiothérapie
Modélisation biostatistique et biomathématique des données d'imagerie en cancérologie, Cancéropôle Grand Sud-Ouest, Apr 2016, Bordeaux, France
hal-01291495v1  Conference papers
Julien PérolatBilal PiotBruno ScherrerOlivier Pietquin. On the Use of Non-Stationary Strategies for Solving Two-Player Zero-Sum Markov Games
19th International Conference on Artificial Intelligence and Statistics (AISTATS 2016), May 2016, Cadiz, Spain
hal-01264168v1  Book sections
Dominique Martinez. Olfaction artificielle et inspiration biologique
Odorat et Goût : de la neurobiologie des sens chimiques aux applications agronomiques, industrielles et médicales, 2012
hal-01264166v1  Conference papers
Jaber Al YamaniFarid BoussaidAmine BermakDominique Martinez. Experimental evaluation of latency coding for gas recognition
IDT 2013 - 8th IEEE International Design and Test Symposium, 2013, Marrakesh, Morocco. pp.4, ⟨10.1109/IDT.2013.6727123⟩
hal-01264156v1  Conference papers
Dominique Martinez. Neural correlates of a search strategy
1st International Workshop on Odor Spaces, Apr 2013, Hannover, Germany
hal-01258499v1  Conference papers
Sylvain Contassot-VivierStéphane Vialle. Algorithmic scheme for hybrid computing with CPU, Xeon-Phi/MIC and GPU devices on a single machine
International Conference on Parallel Computing 2015 (ParCo 2015), Sep 2015, Edinburgh, United Kingdom. pp.1-10
hal-01257714v1  Conference papers
Youssef BouajilaMohamed BoutayebDominique Martinez. Modeling, control and simulation of cable robots
Third International Conference on Advances in Computing, Electronics and Electrical Technology, CEET 2015, Apr 2015, Kuala Lumpur, Malaysia. ⟨10.15224/978-1-63248-056-9-32⟩
hal-01256345v1  Conference papers
Benjamin CamusChristine BourjotVincent Chevrier. Combining DEVS with Multi-agent Concepts to Design and Simulate Multi-models of Complex Systems (WIP)
Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium (TMS/DEVS 15), Society for Computer Simulation International, Apr 2015, Alexandria, VA, USA, France
hal-01253359v1  Conference papers
Manuel RebuschiMaxime AmblardMichel Musiol. Interpreting conversations in pathological contexts
Investigating semantics: Empirical and philosophical approaches, Oct 2013, Bochum, Germany