Filter your results
- 28
- 11
- 1
- 26
- 8
- 3
- 2
- 1
- 29
- 14
- 2
- 1
- 1
- 1
- 6
- 4
- 3
- 3
- 3
- 2
- 3
- 1
- 1
- 2
- 1
- 2
- 1
- 4
- 1
- 2
- 29
- 11
- 38
- 33
- 14
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 40
- 13
- 10
- 8
- 6
- 6
- 6
- 6
- 4
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
40 Results
|
|
sorted by
|
|
Répondre aux questions "Que faire pour" par synthèse de contrôleur sur des automates temporisés - Application à la gestion de la pêcheRFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle), Jan 2012, Lyon, France
Conference papers
hal-00656543v1
|
||
|
Foundations and state of the artAgriculture 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 learningTrustCom 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
|
|||
|
Persistence-Based Discretization for Learning Discrete Event Systems from Time SeriesAAAI 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 AgentsInternational Journal of Monitoring and Surveillance Technologies Research, 2017, 5 (1), pp.30 - 48. ⟨10.4018/IJMSTR.2017010102⟩
Journal articles
hal-01640137v1
|
|||
|
Efficient trajectories computing using inversibilities properties14th international workshop on principles of diagnosis, Jun 2003, Washington / USA
Conference papers
inria-00000523v1
|
||
|
Dynamic modeling of nutrient use and individual requirements of lactating sowsJournal of Animal Science, 2019, 97 (7), pp.2822-2836. ⟨10.1093/jas/skz167⟩
Journal articles
hal-02142870v1
|
||
|
Modélisation dynamique de l’utilisation des nutriments et des besoins individuels chez la truie en lactation51. Journées de la Recherche Porcine, Feb 2019, Paris, France. pp.117-122
Conference papers
hal-02738447v1
|
||
|
Scenario templates to analyse qualitative ecosystem modelsInternational Congress on Modelling and Simulation (MODSIM'09), 2009, Cairns, Australia. pp.2129-2135
Conference papers
inria-00461410v1
|
||
|
Intelligence Artificielle pour l'aide à la décision des systèmes dynamiques : Diagnostic, Prévision, Recommandation d'actionsIntelligence artificielle [cs.AI]. Université de Rennes 1, 2019
Habilitation à diriger des recherches
tel-02437159v1
|
||
|
TAG: Learning Timed Automata from LogsAAAI 2022 - 36th AAAI Conference on Artificial Intelligence, Feb 2022, Virtual, Canada. pp.1-9
Conference papers
hal-03564455v1
|
||
|
Des escape games sérieux pour enseigner l’élevage de précision à des étudiants de niveaux ingénieurs et BTS-licence26. Rencontres autour des Recherches sur les Ruminants (3R), Dec 2022, Paris, France. pp.à venir, 2022, 26ème Rencontres Recherches Ruminants
Poster communications
hal-03896382v1
|
||
|
Calcul de trajectoires utilisant les propriétés d'interversibilitéRJCIA'03 (Rencontres jeunes chercheurs en Intelligence Artificielle), Jul 2003, Laval / France
Conference papers
inria-00000525v1
|
||
|
Model-Checking an Ecosystem Model for Decision-AidIEEE 26th International Conference on Tools with Artificial Intelligence, Nov 2014, Limassol, Cyprus. ⟨10.1109/ICTAI.2014.87⟩
Conference papers
hal-01094742v1
|
||
|
Extending Decentralized Discrete-Event Modelling to Diagnose Reconfigurable Systems15 international workshop on principles of diagnosis, Jun 2004, Carcasonne / France
Conference papers
inria-00000524v1
|
||
|
Precision feeding of lactating sows: development of a decision support tool to handle variability69. 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 ModelsEnvironmental 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 simulateurAtelier INFORSID : Systèmes d'Information et de Décision pour l'Environnement, 2009, Toulouse, France
Conference papers
inria-00460719v1
|
|||
|
Anomaly Detection in Streams with Extreme Value TheoryKDD 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
|
||
|
First Steps Towards Incremental Diagnosis of Discrete-Event SystemsCanadian AI'05, May 2005, Victoria / Canada
Conference papers
inria-00000529v1
|
||
|
Automata Slicing for Diagnosing Discrete-Event Systems with Partially Ordered ObservationsAIIA'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èmeRFIA 2010 (Reconnaissance des Formes et Intelligence Artificielle), 2010, Caen, France
Conference papers
inria-00460722v1
|
|||
|
Développement d’un outil de prévision des besoins nutritionnels des truies en lactation. Application à l’alimentation de précisionJourné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
|
||
|
Improving Anchor-based ExplanationsCIKM 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 swine71. 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 SystemsIJCAI'05 (International Joint Conference on Artificial Intelligence), 2005, Edinburgh, Scotland, United Kingdom. pp.1564--1565
Conference papers
inria-00511109v1
|
|||
|
Are your data gathered? The Folding Test of UnimodalityKDD 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
|
||
|
Incremental Diagnosis of Discrete-Event SystemsDX, 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: EcoMataUnderstanding Marine Socio-ecological Systems including the human dimension in integrated ecosystem assessment, ICES, May 2016, Brest, France
Conference papers
hal-01398963v1
|
|||
|
Algorithme de prédiction en temps réel de la consommation alimentaire journalière chez la truie en lactation53. Journées de la Recherche Porcine, Ifip; Inrae, Feb 2021, En ligne, France. pp.127-132
Conference papers
hal-03134418v1
|
- 1
- 2