|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Modélisation qualitative des agro-écosystèmes et aide à leur gestion par utilisation d’outils de model-checking
Yulong Zhao
Theses
tel-00933443v4
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Temporal Planning with extended Timed Automata
Christine Largouët
,
Omar Krichen
,
Yulong Zhao
28th International Conference on Tools with Artificial Intelligence (ICTAI 2016), IEEE, Nov 2016, SAN JOSE, United States
Conference papers
hal-01398695v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Searching for Cost-Optimized Strategies: An Agricultural Application
Christine Largouët
,
Yulong Zhao
,
Marie-Odile Cordier
Conference papers
hal-01398660v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Improvement of Pyramidal Tract Side Effect Prediction Using a Data-Driven Method in Subthalamic Stimulation
Clement Baumgarten
,
Yulong Zhao
,
Paul Sauleau
,
Cécile Malrain
,
Pierre Jannin
et al.
Journal articles
hal-01438014v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Functional atlases for analysis of motor and neuropsychological outcomes after medial globus pallidus and subthalamic stimulation
Claire Haegelen
,
Clement Baumgarten
,
Jean-François Houvenaghel
,
Yulong Zhao
,
Julie Peron
et al.
Journal articles
hal-01861544v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
PaturMata, a model to manage grassland under climate change, Agronomy for Sustainable Development
Pauline Dusseux
,
Yulong Zhao
,
Marie-Odile Cordier
,
Thomas Corpetti
,
Luc Delaby
et al.
Journal articles
hal-01152055v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
21,000 Years of Ethiopian African monsoon variability recorded in sediments of the western Nile deep-sea fan
Marie Revel
,
Christophe Colin
,
Stefano Bernasconi
,
Nathalie Combourieu-Nebout
,
Emmanuelle Ducassou
et al.
Journal articles
hal-02008985v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Data-Driven Prediction of the Therapeutic Window during Subthalamic Deep Brain Stimulation Surgery
Clement Baumgarten
,
Claire Haegelen
,
Yulong Zhao
,
Paul Sauleau
,
Pierre Jannin
et al.
Journal articles
hal-01861553v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Self-guided training for deep brain stimulation planning using objective assessment
Matthew S Holden
,
Yulong Zhao
,
Claire Haegelen
,
Caroline Essert
,
Sara Fernandez-Vidal
et al.
Journal articles
hal-01807378v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Automatic preoperative planning of DBS electrode placement using anatomo-clinical atlases and volume of tissue activated
Olga Dergachyova
,
Yulong Zhao
,
Claire Haegelen
,
Pierre Jannin
,
Caroline Essert
et al.
Journal articles
hal-01812218v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
In vivo Exploration of the Connectivity between the Subthalamic Nucleus and the Globus Pallidus in the Human Brain Using Multi-Fiber Tractography
Sonia Pujol
,
Ryan Cabeen
,
Sophie B. Sébille
,
Jérôme Yelnik
,
Chantal François
et al.
Journal articles
hal-01466031v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|