Search - Archive ouverte HAL Access content directly

Filter your results

40 Results
Image document

Répondre aux questions "Que faire pour" par synthèse de contrôleur sur des automates temporisés - Application à la gestion de la pêche

Yulong Zhao , Marie-Odile Cordier , Christine Largouët
RFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle), Jan 2012, Lyon, France
Conference papers hal-00656543v1
Image document

Foundations and state of the art

Nathalie Mitton , Ludovic Brossard , Tassadit Bouadi , Frédérick Garcia , Romain Gautron et al.
Agriculture and Digital Technology: Getting the most out of digital technology to contribute to the transition to sustainable agriculture and food systems, 6, INRIA, pp.30-75, 2022, White book Inrira
Book sections hal-03609470v2

Netspot: a simple Intrusion Detection System with statistical learning

Alban Siffer , Alexandre Termier , Pierre-Alain Fouque , Christine Largouët
TrustCom 2020 - IEEE 19th International Conference on Trust, Security and Privacy in Computing and Communications, Dec 2020, Guangzhou, China. ⟨10.1109/TrustCom50675.2020.00122⟩
Conference papers hal-03145963v1
Image document

Persistence-Based Discretization for Learning Discrete Event Systems from Time Series

Lénaïg Cornanguer , Christine Largouët , Laurence Rozé , Alexandre Termier
AAAI 2023 Workshop When Machine Learning meets Dynamical Systems: Theory and Applications, Feb 2023, Washington (DC), United States
Conference papers hal-03934438v1

Extended Automata for Temporal Planning of Interacting Agents

Christine Largouët , Omar Krichen , Yulong Zhao
International Journal of Monitoring and Surveillance Technologies Research, 2017, 5 (1), pp.30 - 48. ⟨10.4018/IJMSTR.2017010102⟩
Journal articles hal-01640137v1
Image document

Efficient trajectories computing using inversibilities properties

Marie-Odile Cordier , Alban Grastien , Christine Largouët , Yannick Pencolé
14th international workshop on principles of diagnosis, Jun 2003, Washington / USA
Conference papers inria-00000523v1

Dynamic modeling of nutrient use and individual requirements of lactating sows

Raphaël Gauthier , Christine Largouët , Charlotte Gaillard , Laetitia Cloutier , Fréderic Guay et al.
Journal of Animal Science, 2019, 97 (7), pp.2822-2836. ⟨10.1093/jas/skz167⟩
Journal articles hal-02142870v1
Image document

Modélisation dynamique de l’utilisation des nutriments et des besoins individuels chez la truie en lactation

Raphaël Gauthier , Christine Largouët , Charlotte Gaillard , Laetitia Cloutier , Fréderic Guay et al.
51. Journées de la Recherche Porcine, Feb 2019, Paris, France. pp.117-122
Conference papers hal-02738447v1
Image document

Scenario templates to analyse qualitative ecosystem models

Christine Largouët , Marie-Odile Cordier , Guy Fontenelle
International Congress on Modelling and Simulation (MODSIM'09), 2009, Cairns, Australia. pp.2129-2135
Conference papers inria-00461410v1
Image document

Intelligence Artificielle pour l'aide à la décision des systèmes dynamiques : Diagnostic, Prévision, Recommandation d'actions

Christine Largouët
Intelligence artificielle [cs.AI]. Université de Rennes 1, 2019
Habilitation à diriger des recherches tel-02437159v1
Image document

TAG: Learning Timed Automata from Logs

Lénaïg Cornanguer , Christine Largouët , Laurence Rozé , Alexandre Termier
AAAI 2022 - 36th AAAI Conference on Artificial Intelligence, Feb 2022, Virtual, Canada. pp.1-9
Conference papers hal-03564455v1
Image document

Des escape games sérieux pour enseigner l’élevage de précision à des étudiants de niveaux ingénieurs et BTS-licence

Amélie Fischer , Clément Allain , Maxime Dumesny , Estelle Leroux , Anaelle Bouqueau et al.
26. Rencontres autour des Recherches sur les Ruminants (3R), Dec 2022, Paris, France. pp.à venir, 2022, 26ème Rencontres Recherches Ruminants
Poster communications hal-03896382v1
Image document

Calcul de trajectoires utilisant les propriétés d'interversibilité

Marie-Odile Cordier , Alban Grastien , Christine Largouët , Yannick Pencolé
RJCIA'03 (Rencontres jeunes chercheurs en Intelligence Artificielle), Jul 2003, Laval / France
Conference papers inria-00000525v1
Image document

Model-Checking an Ecosystem Model for Decision-Aid

Marie-Odile Cordier , Christine Largouët , Yulong Zhao
IEEE 26th International Conference on Tools with Artificial Intelligence, Nov 2014, Limassol, Cyprus. ⟨10.1109/ICTAI.2014.87⟩
Conference papers hal-01094742v1
Image document

Extending Decentralized Discrete-Event Modelling to Diagnose Reconfigurable Systems

Alban Grastien , Marie-Odile Cordier , Christine Largouët
15 international workshop on principles of diagnosis, Jun 2004, Carcasonne / France
Conference papers inria-00000524v1
Image document

Precision feeding of lactating sows: development of a decision support tool to handle variability

Raphaël Gauthier , Fréderic Guay , Ludovic Brossard , Christine Largouët , Jean-Yves Dourmad et al.
69. Annual Meeting of the European Federation of Animal Science, Aug 2018, Dubrovnik, Croatia
Conference papers hal-01949645v1

Use Of Timed Automata And Model-Checking To Explore Scenarios On Ecosystem Models

Christine Largouët , Marie-Odile Cordier , Yves-Marie Bozec , Yulong Zhao , Guy Fontenelle et al.
Environmental Modelling and Software, 2011, 30 (30), pp.123-138. ⟨10.1016/j.envsoft.2011.08.005⟩
Journal articles hal-00649275v1

Apprentissage incrémental de règles de décision à partir de données d'un simulateur

Marie-Odile Cordier , Thomas Guyet , Christine Largouët , Véronique Masson , Henri-Maxime Suchier et al.
Atelier INFORSID : Systèmes d'Information et de Décision pour l'Environnement, 2009, Toulouse, France
Conference papers inria-00460719v1
Image document

Anomaly Detection in Streams with Extreme Value Theory

Alban Siffer , Pierre-Alain Fouque , Alexandre Termier , Christine Largouët
KDD 2017 - Proceedings of the 23rd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Aug 2017, Halifax, Canada. ⟨10.1145/3097983.3098144⟩
Conference papers hal-01640325v1
Image document

First Steps Towards Incremental Diagnosis of Discrete-Event Systems

Alban Grastien , Marie-Odile Cordier , Christine Largouët
Canadian AI'05, May 2005, Victoria / Canada
Conference papers inria-00000529v1
Image document

Automata Slicing for Diagnosing Discrete-Event Systems with Partially Ordered Observations

Alban Grastien , Marie-Odile Cordier , Christine Largouët
AIIA'05 (Congress of the Italian Association for Artificial Intelligence), Sep 2005, Milan / Italy
Conference papers inria-00000531v1

Patrons de scénarios pour l'exploration qualitative d'un écosystème

Christine Largouët , Marie-Odile Cordier
RFIA 2010 (Reconnaissance des Formes et Intelligence Artificielle), 2010, Caen, France
Conference papers inria-00460722v1
Image document

Développement d’un outil de prévision des besoins nutritionnels des truies en lactation. Application à l’alimentation de précision

Raphaël Gauthier , Fréderic Guay , Ludovic Brossard , Christine Largouët , Jean-Yves Dourmad et al.
Journées d’animation scientifiques du département Phase, Apr 2018, Rennes, France. , pp.1, 2018, Journées d’animation scientifiques du département Phase - Recueil des résumés
Poster communications hal-01949603v1
Image document

Improving Anchor-based Explanations

Julien Delaunay , Luis Galárraga , Christine Largouët
CIKM 2020 - 29th ACM International Conference on Information and Knowledge Management, Oct 2020, Galway / Virtual, Ireland. pp.3269-3272, ⟨10.1145/3340531.3417461⟩
Conference papers hal-03133223v1

Machine learning algorithms to predict litter weight gain from birth to weaning in swine

Raphaël Gauthier , Christine Largouët , Jean-Yves Dourmad
71. Annual Meeting of the European Federation of Animal Science (EAAP), EAAP, Dec 2020, Virtual meeting, Portugal
Conference papers hal-03142051v1

Incremental Diagnosis of Discrete-Event Systems

Alban Grastien , Marie-Odile Cordier , Christine Largouët
IJCAI'05 (International Joint Conference on Artificial Intelligence), 2005, Edinburgh, Scotland, United Kingdom. pp.1564--1565
Conference papers inria-00511109v1
Image document

Are your data gathered? The Folding Test of Unimodality

Alban Siffer , Pierre-Alain Fouque , Alexandre Termier , Christine Largouët
KDD 2018 - 24th ACM SIGKDD International Conference on Knowledge Discovery & Data Minin, Aug 2018, London, United Kingdom. pp.2210-2218, ⟨10.1145/3219819.3219994⟩
Conference papers hal-01951676v1
Image document

Incremental Diagnosis of Discrete-Event Systems

Alban Grastien , Marie-Odile Cordier , Christine Largouët
DX, Richard Dearden et Sriram Narasimhan, Jun 2005, Pacific Grove, California, USA
Conference papers inria-00000121v1

Integrating socio-economic drivers in an explicit-time, qualitative fisheries model: EcoMata

Christine Largouët , Yves-Marie Bozec , Yulong Zhao
Understanding Marine Socio-ecological Systems including the human dimension in integrated ecosystem assessment, ICES, May 2016, Brest, France
Conference papers hal-01398963v1
Image document

Algorithme de prédiction en temps réel de la consommation alimentaire journalière chez la truie en lactation

Raphaël Gauthier , Christine Largouët , Laurence Rozé , Jean-Yves Dourmad
53. Journées de la Recherche Porcine, Ifip; Inrae, Feb 2021, En ligne, France. pp.127-132
Conference papers hal-03134418v1