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


inria-00172651v1  Conference papers
Cindy CappelleMaan El Badaoui El NajjarFrançois CharpilletDenis 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 SurBenoît BlaysatMichel 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 NguyenMostafa SadeghiElisa RicciXavier 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 ArtiguesCyril BriandMarie-Claude PortmannFranç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 CordierJean LieberPascal MolliEmmanuel NauerHala 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 TorresHala Skaf-MolliAlicia DiazPascal 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 TorresAlicia DiazHala Skaf-MolliPascal 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-MolliPascal MolliGé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 TorresHala Skaf-MolliAlicia DiazPascal 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 BeynierFrançois CharpilletDaniel SzerAbdel-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 BeynierFrançois CharpilletDaniel SzerAbdel-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 GloannecAbdel-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 GloannecAbdel-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 BouquetSébastien ChipeauxChristophe LangNicolas MarilleauJean-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 PlantevitChedy RaïssiBruno 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 SouletChedy RaïssiMarc PlantevitBruno 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 MbarkiChantal Soulé-DupuyNathalie 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 MbarkiChantal Soulé-DupuyNathalie 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 AlmeidaManuel BarbosaGilles BartheBenjamin GrégoireAdrien 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 BlanchetteNikolai 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 BardinMickael DelahayeRobin DavidNikolai KosmatovMike 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 EnglandWolfram KoepfTimur SadykovWerner SeilerThomas Sturm. Computer Algebra in Scientific Computing 2019
Mathematics in Computer Science, 15 (2), 2021
hal-03142461v1  Directions of work or proceedings
James Harold DavenportMatthew EnglandAlberto GriggioThomas SturmCesare Tinelli. Special Issue : Symbolic Computation and Satisfiability Checking
Journal of Symbolic Computation, 100, Elsevier, 2020
hal-03142063v1  Conference papers
Thomas SturmAshish 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 EnglandWolfram KoepfTimur SadykovWerner SeilerThomas Sturm. Special Issue
Aug 2019, Moscow, Russia. Mathematics in Computer Science, Springer, 2021
hal-02977488v1  Book sections
Hamid RahkooyThomas 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 EnglandFrançois BoulierTimur SadykovThomas Sturm. Computer Algebra in Scientific Computing 2020
Mathematics in Computer Science, 15 (3), 2021
hal-01648695v1  Journal articles
Thomas SturmErika AbrahamJohn AbbottBern BeckerAnna 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 BoltchevaJustine BasselinClément PoullHerve BarthelemyDmitry 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 SellersDavis BennettAxel HuttFlavio 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 ZoghlamiSabeur AridhiMondher MaddouriEngelbert 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 CholezGuillaume MontassierGuillaume DoyenRida KhatounIsabelle 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 LensinkSameer VelankarAndriy KryshtafovychShen-You HuangDina 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élouGilles 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 ClercLaurent BougrainFabien 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 ClercLaurent BougrainFabien Lotte. Brain-Computer Interfaces 2
Maureen Clerc; Laurent Bougrain; Fabien Lotte. France. Wiley-ISTE, 2016
hal-00862056v1  Conference papers
Mohammed TounsiMohammed MosbahDominique 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 MosbahMohamed TounsiDominique 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 TounsiAhmed Hadj KacemMohamed MosbahDominique 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