Lifo - Laboratoire d'Informatique Fondamentale d'orléans INSA Centre Val de Loire Université d'Orléans Université d'Orléans

Lifo > Les Actions de Recherche du LIFO

English Version



Contact

LIFO - Bâtiment IIIA
Rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2

Email: contact.lifo
Tel: +33 (0)2 38 41 99 29
Fax: +33 (0)2 38 41 71 37



Les Actions de Recherche du LIFO

Actions en cours

  • ANR CoMeMoV : Modèles mémoires collaboratifs pour la vérification formelle
  • ANR HERELLES : Hétérogénéité des données - Hétérogénéité des méthodes : Un cadre collaboratif unifié pour l’analyse interactive de données temporelles
  • ANR InvolvD : Elicitation interactive de contraintes pour la fouille de données supervisée et semi-supervisée.
  • DOING : Données Intelligentes
  • INRIA-CAPPRIS : Collaborative Action on the Protection of Privacy in the Information Society
  • Projet ROV-Chasseur : Apprentissage auto et semi-supervisé et modèles profonds efficaces déployés sur un ROV pour la détection et la classification des objets sous-marins

Actions terminées

  • AI.iO (Intelligence Artificielle à Orléans) : Apprentissage à partir de données hétérogènes et de connaissances du domaine. Applications en Géologie et Sciences de l’Environnement (2020 - 2023)
  • ATHENA DeSSUF : A Methodology for the Design of a Safe, Secure and User-Friendly Reactive Programming Language for the Internet of Things (2022 - 2023)
  • Projet ACHS : (programme coopération scientifique financée par l’ambassade de France au Vietnam) Détection d'anomalies dans les données de santé des capteurs du smartphone (2022 - 2023)
  • RTR DIAMS : RTR Données, Intelligence Artificielle, Modélisation, Simulation (2019 - 2023)
  • SENDUP : The SEmantic Network of Data: Utility and Privacy (2018 - 2023)
  • REMIA : Projet Région REMIA (2020 - 2021)
  • ANR PARSEME-FR : Analyse syntaxique et expressions polylexicales en français (2015 - 2020)
  • IOT-CIA (2018 - 2020)
  • ODIL : Outiller les données pour le développement des industries de la langue (2015 - 2019)
  • RAVIOLI : Reconnaissance Automatique des Valeurs Injonctives à l’Oral, Langue en Interaction (2018 - 2019)
  • FUI ATELYN : trAçabiliTE Longitudinale hYbride uNitaire (2015 - 2018)
  • MAP : CAPES (Brésil) /COFECUB (France) MAP - Apprentissage automatique : une approche multi-stratégie (2015 - 2018)
  • MASTODONS : écouverte et exploitation des connaissances pour l’aide à la décision en chimie thérapeutique (DECADE) (2017 - 2018)
  • COST PARSEME : analyse syntaxique et expressions composées, vers une plus grande précision linguistique et une meilleure efficacité computationnelle en Traitement Automatique des Langues (2013 - 2017)
  • GIRAFON : Grands graphes: interrogation, fouille et analyse (2015 - 2017)
  • ARCADIA : Reconnaissance automatique de motifs pour l'analyse archéologiques de tessons céramiques (2014 - 2016)
  • Centre de recherche en apprentissage automatique et analyse des données (2012 - 2016)
  • SWANS : Analyse des masses de données en consomation d'énergie (2014 - 2016)
  • ANR LYRICS : Cryptographie pour la protection de la vie privée, optimisée pour les services mobiles sans contact (2012 - 2015)
  • Apprentissage Automatique et Bioinformatique (2011 - 2015)
  • DIASEMIE : Discrimination Automatique des Sens d’Emploi des Mots par l’Intonation. (2013 - 2015)
  • GDR GPL : Groupe de travail FORWAL : Formalismes et Outils pour la Vérification et la Validation (2006 - 2015)
  • Projet Européen Seed4C : Secured Embedded Element for Cloud (2012 - 2015)
  • ANR EMC : Émergence dans les modèles de calcul (2010 - 2014)
  • ANR ExaViz : Exa-scalable interactive visual analysis for life & materials sciences (2011 - 2014)
  • ANR PaPDAS (et JST) : Parallel Program Development with Algorithmic Skeletons (2011 - 2014)
  • FDTE : Fouille de données temporelles - Application à des données environnementales (2012 - 2014)
  • PEPS TransSem : vers un transfert fondé sur une représentation sémantique pour la traduction automatique entre l'allemand et le français (2013 - 2014)
  • ANR AGAPE : Algorithmes de graphes exacts et à paramètre fixe (2009 - 2013)
  • HPIAF : Haute Performance en Intelligence Artificielle pour la Finance (2011 - 2013)
  • INEX : Informatique en nuage : expérimentations (2011 - 2013)
  • PEPS AMISC : Analyse et Modélisation des Interactions dans les Systèmes Complexes (2012 - 2013)
  • ANR DEFIS CODEX : Efficiency, Dynamicity and Composition for XML: Models, Algorithms and Systems (2009 - 2012)
  • CLEVER : Cloud-Based Latin America Environmental Virtual Observatory (2011 - 2012)
  • ECOS-Conicyt : Programme franco-chilien sur la réalisation de graphes avec contraintes de degrés (2010 - 2012)
  • SPEED : Système de Programmation et d'Exécution Efficace de coDe sur architectures parallèles hétérogènes (2010 - 2012)
  • ANR GRAPHEM : Aide à l'expertise paléographique et à l'accès au contenu dans les écritures médiévales (2008 - 2011)
  • eXTenGIS : Extensibilité de moyen de calcul pour les systèmes d'information géographique (2009 - 2011)
  • GDR GPL : groupe de travail LaMHA : Langages et Modèles de Haut-niveau pour la programmation parallèle, distribuée, de grilles de calcul et Applications (2006 - 2011)
  • Modules Composés : Plate-forme pour la construction et la vérification de modules composés ( - 2011)
  • PEPS GraphIQ : Informatique quantique et théorie des graphes : étude des états graphes (2010 - 2011)
  • ANR DALIA : Transfert de données pour les applications interactives de grande taille (2006 - 2010)
  • ANR FVnano : un laboratoire virtuel pour modéliser les systèmes moléculaires nanoscopiques en biologie et dans les matériaux (2008 - 2010)
  • ANR SEC&SI : un système d’exploitation cloisonné et sécurisé pour l’internaute (2008 - 2010)
  • CRoTAL : Conditional RandOm Fields for TAL (2008 - 2010)
  • ANR CANAR : CANAR (2006 - 2009)
  • ANR GD2GS : From genomic data to graph structure (2005 - 2008)
  • ACI SATIN : Analyse de la Sécurité pour des Protocoles et Infrastructures de Confiance (2004 - 2007)
  • CASCIMODOT : CAlcul SCIentifique et MODélisation Orléans et Tours (2004 - 2007)
  • ESMERALDA : Une grille pour le calcul intensif et la réalité virtuelle ( - 2007)
  • PROPAC : Programmation Parallèle Certifiée ( - 2007)
  • VEHICULAIRE : Vérification Efficace de Haut-nIveau multi-proCesseur et modULAIRE ( - 2007)
  • ACI BIOTIM : Exploitation de Gisements Texte-Image en Biodiversité (2003 - 2006)
  • GDR ALP : Groupe de travail SLOVO : Sémantiques Logiques et Opérationnelles, Vérification et Optimisation (SLOVO) (2000 - 2005)
  • ACI CARAML : Coordination et répartition des applications multiprocesseurs en Objective Caml (2002 - 2004)
  • RNTL GEOBENCH : Visualisation immersive de données (géo)scientifiques (2003 - 2004)
  • RNTL OADymPPaC : Outils pour l'Analyse Dynamique et la mise au Point de Programmes avec Contraintes (2000 - 2004)
  • SECURYPTO : Réseau de recherche France-Québec sur la sécurité des protocoles cryptographiques. (2002 - 2004)
  • STUDIUM sécurité : Security of Information Flow: A multi-paradigm Approach (2003 - 2004)
  • The Solar System : Apprentissage de solveurs (2002 - 2004)
  • Contrat CEA Filtrage : Filtrage associatif et associatif-commutatif dans l'analyse des programmes (2001 - 2002)