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
  1. Search


inria-00172651v1  Conference papers
Cindy Cappelle, Maan El Badaoui El Najjar, François Charpillet, Denis Pomorski. Outdoor Obstacle Detection and Localisation with Monovision and 3D Geographical Database
The 10th International IEEE Conference on Intelligent Transportation Systems - ITSC'07, Oct 2007, Seattle, United States. pp.1102-1107
inria-00098449v1  Journal articles
Jean-Pierre Thomesse. A Review of the Fieldbuses
Annual Reviews in Control, Elsevier, 1998, 22, pp.35-45. ⟨10.1016/S1367-5788(98)00003-0⟩
hal-03585479v1  Book sections
Frédéric Sur, Benoît Blaysat, Michel Grédiac. Which Pattern for a Low Pattern-Induced Bias?
Sharlotte L.B. Kramer, Rachael Tighe, Ming-Tzer Lin, Cosme Furlong, Chi-Hung Hwang. Thermomechanics & Infrared Imaging, Inverse Problem Methodologies, Mechanics of Additive & Advanced Manufactured Materials, and Advancements in Optical Methods & Digital Image Correlation, Volume 4, Springer International Publishing, pp.103-105, 2022, Conference Proceedings of the Society for Experimental Mechanics Series, ⟨10.1007/978-3-030-86745-4_15⟩
hal-02930662v1  Conference papers
Viet-Nhat Nguyen, Mostafa Sadeghi, Elisa Ricci, Xavier Alameda-Pineda. Deep Variational Generative Models for Audio-visual Speech Separation
MLSP 2021 - IEEE International Workshop on Machine Learning for Signal Processing, Oct 2021, Gold Coast, Australia
inria-00100964v1  Book sections
Christian Artigues, Cyril Briand, Marie-Claude Portmann, François Roubellat. Pilotage d'atelier basé sur un ordonnancement flexible
Patrick Pujo et Jean-Paul Kieffer. Méthodes du pilotage des systèmes de production, Hermes Lavoisier, pp.61-97, 2002, IC2 Productique
inria-00432353v1  Conference papers
Amélie Cordier, Jean Lieber, Pascal Molli, Emmanuel Nauer, Hala Skaf-Molli et al.  WIKITAAABLE: A semantic wiki as a blackboard for a textual case-based reasoning system
SemWiki 2009 - 4rd Semantic Wiki Workshop at the 6th European Semantic Web Conference - ESWC 2009, Jun 2009, Heraklion, Greece
inria-00432323v1  Conference papers
Diego Torres, Hala Skaf-Molli, Alicia Diaz, Pascal Molli. Supporting Personal Semantic Annotations in P2P Semantic Wikis
20th International Conference on Database and Expert Systems Applications - DEXA 2009, Aug 2009, Linz, Austria. pp.317-331, ⟨10.1007/978-3-642-03573-9_26⟩
inria-00432335v1  Conference papers
Diego Torres, Alicia Diaz, Hala Skaf-Molli, Pascal Molli. Personal Navigation in Semantic Wikis
International Workshop on Adaptation and Personalization for Web 2.0 - AP-WEB 2.0 2009, Jun 2009, Trento, Italy. pp.148-151
inria-00432337v1  Conference papers
Hala Skaf-Molli, Pascal Molli, Gérôme Canals. SWooki: Supporting Disconnection in a Peer-to-peer Semantic Wiki
5èmes journées Francophones Mobilité et Ubiquité 2009 - UbiMob'09, Jul 2009, Lille, France
inria-00432345v1  Conference papers
Diego Torres, Hala Skaf-Molli, Alicia Diaz, Pascal Molli. Personal and Shared Knowledge Building in P2P Semantic Wikis
6th European Semantic Web Conference (ESWC 2009), May 2009, Heraklion, Greece
inria-00335156v1  Book sections
Aurélie Beynier, François Charpillet, Daniel Szer, Abdel-Illah Mouaddib. Dec-MDP/POMDP
O. Buffet and O. Sigaud. Processus décisionnels de Markov en intelligence artificielle, 2 - méthodes avancées et applications, Lavoisier - Hermes Science Publications, pp.109-153, 2008, IC2 - informatique et systèmes d'information, 978-2746220584
hal-00969197v1  Book sections
Aurélie Beynier, François Charpillet, Daniel Szer, Abdel-Illah Mouaddib. DEC-MDP / DEC-POMDP
Olivier Buffet, Olivier Sigaud. Markov Decision Processes in Artificial Intelligence, Wiley-ISTE, pp.277-313, 2010, 978-1-84821-167-4
inria-00439130v1  Book sections
Simon Le Gloannec, Abdel-Illah Mouaddib. Resource Consumption Control for an Autonomous Robot
Olivier Sigaud and Olivier Buffet. Markov Decision Processes in Artificial Intelligence, ISTE Ltd and John Wiley & Sons Inc, 2010, 1848211678
inria-00335233v1  Book sections
Simon Le Gloannec, Abdel-Illah Mouaddib. Contrôle d'une mission d'exploration
O. Buffet and O. Sigaud. Processus décisionnels de Markov en intelligence artificielle, 2 - méthodes avancées et applications, Lavoisier - Hermes Science Publications, pp.207-217, 2008, IC2 - informatique et systèmes d'information, 978-2746220584
hal-01246023v1  Book sections
Fabrice Bouquet, Sébastien Chipeaux, Christophe Lang, Nicolas Marilleau, Jean-Marc Nicod et al.  Introduction à l'approche agent
Simulation spatiale à base d'agents avec NetLogo, partie 1, ISTE, pp.15--36, 2015
hal-00653579v1  Conference papers
Marc Plantevit, Chedy Raïssi, Bruno Crémilleux. Motifs séquentiels δ-libres
Extraction et gestion des connaissances (EGC'2011), Ali Khenchaf, Pascal Poncelet, Jan 2011, Brest, France
inria-00623566v1  Conference papers
Arnaud Soulet, Chedy Raïssi, Marc Plantevit, Bruno Crémilleux. Mining Dominant Patterns in the Sky
The 11th IEEE International Conference on Data Mining - ICDM 2011, Dec 2011, Vancouver, B.C, Canada
hal-03615570v1  Conference papers
Mohamed Mbarki, Chantal Soulé-Dupuy, Nathalie Vallès-Parlangeau. Modeling and Flexible exploitation of Audio Documents
1st International Conference on Signal-Image Technology and Internet-Based Systems (SITIS 2005), Nov 2005, Yaoundé, Cameroon. pp.216-223
hal-03615569v1  Conference papers
Mohamed Mbarki, Chantal Soulé-Dupuy, Nathalie Vallès-Parlangeau. Vers une exploitation flexible de documents multimédia
23ème Congès d'INFormatique des ORganisations et Systèmes d'Information et de Décision (INFORSID 2005), May 2005, Grenoble, France. pp.95-112
hal-02974993v1  Conference papers
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos et al.  The Last Mile: High-Assurance and High-Speed Cryptographic Implementations
SP 2020 - 41st IEEE Symposium on Security and Privacy, May 2020, San Francisco / Virtual, United States. pp.965-982, ⟨10.1109/SP40000.2020.00028⟩
cea-01834980v1  Directions of work or proceedings
Jasmin Christian Blanchette, Nikolai Kosmatov. Tests and Proofs
Jasmin Christian Blanchette; Nikolai Kosmatov. Tests and Proofs, Jul 2015, L’Aquila, Italy. 9154, Springer Verlag, 2015, 9783319212142. ⟨10.1007/978-3-319-21215-9⟩
cea-01836560v1  Conference papers
Sebastien Bardin, Mickael Delahaye, Robin David, Nikolai Kosmatov, Mike Papadakis et al.  Sound and quasi-complete detection of infeasible test requirements
ICST 2015 - IEEE 8th International Conference on Software Testing, Verification and Validation, Apr 2015, Graz, Austria. pp.1-10, ⟨10.1109/ICST.2015.7102607⟩
hal-03438907v1  Directions of work or proceedings
Matthew England, Wolfram Koepf, Timur Sadykov, Werner Seiler, Thomas Sturm. Computer Algebra in Scientific Computing 2019
Mathematics in Computer Science, 15 (2), 2021
hal-03142461v1  Directions of work or proceedings
James Harold Davenport, Matthew England, Alberto Griggio, Thomas Sturm, Cesare Tinelli. Special Issue : Symbolic Computation and Satisfiability Checking
Journal of Symbolic Computation, 100, Elsevier, 2020
hal-03142063v1  Conference papers
Thomas Sturm, Ashish Tiwari. Verification and synthesis using real quantifier elimination
Proc. ISSAC 2011, Jun 2011, San Jose, United States. pp.329, ⟨10.1145/1993886.1993935⟩
hal-03142481v1  Directions of work or proceedings
Matthew England, Wolfram Koepf, Timur Sadykov, Werner Seiler, Thomas Sturm. Special Issue
Aug 2019, Moscow, Russia. Mathematics in Computer Science, Springer, 2021
hal-02977488v1  Book sections
Hamid Rahkooy, Thomas Sturm. First-Order Tests for Toricity
Computer Algebra in Scientific Computing: 22nd International Workshop - CASC 2020, 12291, pp.510-527, 2020, LNCS, ⟨10.1007/978-3-030-60026-6_30⟩
hal-03438922v1  Directions of work or proceedings
Matthew England, François Boulier, Timur Sadykov, Thomas Sturm. Computer Algebra in Scientific Computing 2020
Mathematics in Computer Science, 15 (3), 2021
hal-01648695v1  Journal articles
Thomas Sturm, Erika Abraham, John Abbott, Bern Becker, Anna Maria Bigatti et al.  Satisfiability Checking and Symbolic Computation
ACM Communications in Computer Algebra, Association for Computing Machinery (ACM), 2016, 50 (4), pp.145-147. ⟨10.1145/3055282.3055285⟩
hal-02983073v1  Journal articles
Dobrina Boltcheva, Justine Basselin, Clément Poull, Herve Barthelemy, Dmitry Sokolov. Topological-based roof modeling from 3D point clouds
Journal of WSCG, University of West Bohemia, Czech Republic, 2020, 28 (1-2), pp.137-146. ⟨10.24132/JWSCG.2020.28.17⟩
hal-00872155v1  Journal articles
Kristin Sellers, Davis Bennett, Axel Hutt, Flavio Frohlich. Anesthesia Differentially Modulates Spontaneous Network Dynamics by Cortical Area and Layer
Journal of Neurophysiology, American Physiological Society, 2013, 110 (12), pp.2739-2751. ⟨10.1152/jn.00404.2013⟩
hal-02393742v1  Journal articles
Manel Zoghlami, Sabeur Aridhi, Mondher Maddouri, Engelbert Mephu Nguifo. Multiple instance learning for sequence data with across bag dependencies
International journal of machine learning and cybernetics, Springer, 2020, 11, pp.629-642. ⟨10.1007/s13042-019-01021-5⟩
hal-02611044v1  Conference papers
Thibault Cholez, Guillaume Montassier, Guillaume Doyen, Rida Khatoun, Isabelle Chrisment et al.  Détection d'attaques dans les réseaux pair à pair
4ème Workshop du Groupement d'Intérêt Scientifique «Surveillance, Sûreté, Sécurité des Grands Systèmes» (GIS-3SGS'11), Oct 2011, Valenciennes, France
hal-01309105v1  Journal articles
Marc F Lensink, Sameer Velankar, Andriy Kryshtafovych, Shen-You Huang, Dina Schneidman-Duhovy et al.  Prediction of homo- and hetero-protein complexes by protein docking and template-based modeling: a CASP-CAPRI experiment
Proteins - Structure, Function and Bioinformatics, Wiley, 2016, Special Issue: Eleventh Meeting on the Critical Assessment of Techniques for Protein Structure Prediction, 84 (S1), pp.323-348. ⟨10.1002/prot.25007⟩
inria-00099193v1  Conference papers
Mireille Bousquet-Mélou, Gilles Schaeffer. Counting paths on the slit plane
Mathematics and Computer Science : Algorithms, Trees, Combinatorics and Probabilities, 2000, Versailles, France, pp.101-112
hal-01408991v1  Books
Maureen Clerc, Laurent Bougrain, Fabien Lotte. Brain-Computer Interfaces 1
Maureen Clerc; Laurent Bougrain; Fabien Lotte. Wiley-ISTE, 2016, Maureen Clerc, 978-1-84821-826-0
hal-01408998v1  Directions of work or proceedings
Maureen Clerc, Laurent Bougrain, Fabien Lotte. Brain-Computer Interfaces 2
Maureen Clerc; Laurent Bougrain; Fabien Lotte. France. Wiley-ISTE, 2016
hal-00862056v1  Conference papers
Mohammed Tounsi, Mohammed Mosbah, Dominique Méry. From Event-B Specifications to Programs for Distributed Algorithms
WETICE 2013: 22th IEEE International Conference on Enabling Technologies: Infrastructures for Collaborative Enterprises., Jun 2013, Hammamet, Tunisia. ⟨10.1109/WETICE.2013.44⟩
hal-01495802v1  Journal articles
Mohamed Mosbah, Mohamed Tounsi, Dominique Méry. From Event-B specifications to programs for distributed algorithms
International journal of autonomous and adaptive communications systems, Inderscience Publishers, 2016, 9 (3-4), pp.223 - 242. ⟨10.1504/IJAACS.2016.079623⟩
hal-00361933v1  Conference papers
Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah, Dominique Méry. A Refinement Approach for Proving Distributed Algorithms : Examples of Spanning Tree Problems
Integration of Model-based Formal Methods and Tools - IM_FMT'2009 - in IFM'2009, Feb 2009, Düsseldorf, Germany
Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/