Contrats de recherche

80 contrats (2012-2018)

Début Fin Acronyme Type Titre Équipe(s) Responsable Partenaires
2016 2020 ParSiTi ANR ParSiTi RCLN
Alpage (UMR INRIA-P7), LIMSI (UPR CNRS)
2017 2020 PCU FUI Plateforme de Connaissance Unifiée A3-RCLN
Acade?miques : ESILV. Industriels (PME) : Smile (coordination), Proxem, Armadillo, Wallix
2015 2020 MétAConC ANR Méthodes Analytiques non Conventionnelles en Combinatoire CALIN
2012 2020 EFL Labex Fondements empiriques de la linguistique RCLN
LPP, LLF, Equipe PP du LPP, Llacan , ALPAGE LATTICE , CRLAO , MII , HTL , LACITO , SEDYL , Equipe mémoire et langage du LPNCog
2015 2019 M15MH01 ECOS Nord Cartographie de la diaspora des savoirs par fouille sémantique des résultats recherche sur le web RCLN
Universidad Nacional Autónoma de México
2014 2019 PACS ANR Parametric Analyses of Concurrent Systems LCR
LIAFA, IRCCyN, LINA, Aalborg
2016 2019 EDF CIFRE Analyse de réseaux multiplexes pour l’étude de sûreté A3
2016 2019 K CIFRE « Analyse prédictive massivement distribuée pour la personnalisation web en temps réel » A3
2015 2018 Elica ANR Expanding Logical Ideas for Complexity Analysis LCR
LIP (ENS Lyon), Loria (INRIA Carte), Università di Bologna (INRIA Focus)
2015 2018 H-S CIFRE Horizontal Software AOC
2015 2018 MyndLytix CIFRE Apprentissage automatique et adaptatif pour le clustering de flux de données hétérogènes A3
2015 2018 NeoVeille BQR Repérage, analyse et suivi des néologismes en corpus RCLN
LDI (UP13), CLILLAC-ARP (UP7), ERTIM (INALCO), Université Sao Paulo (Brésil), Réseau de Néologie EMPNEO (Pologne, Tchéquie, Grèce)
2015 2018 Adalab Chistera Adaptive Automated Scientific Laboratory A3
Université Brunel (GB) coordinateur, Univ. Manchester (GB), Univ. Catholique de Leuven (B), Univ. Evry (F)
2013 2017 CombPhys ANR JCJC Combinatorial Physics, from Random Matrices to Random Tensors CALIN
2016 2017 TAL SHS IdEx USPC Outils de Traitement Automatique des Langues pour les SHS RCLN
Alpage (Univ. Paris 7), CLESTHIA (Univ. Paris 3), LPP (Univ. Paris 3), CLILLAC ARP (Univ. Paris 7), SEDYL (Inalco), LDI (Univ. Paris 13), THALIM (Univ. Paris 3)
2012 2017 QuasiCool ANR JCJC Refroidissement des quasicristaux : des pavages aléatoires aux pavages apériodiques CALIN
2016 2017 D-B Decision Brain Decision Brain AOC
2016 2017 PaToP BQR Parallélisme Tolérantaux Pannes AOC
2015 2017 PES PGMO Partitionnement équicoloré des Smartgrids AOC
2014 2017 Wendelin FUI Wendelin AOC Industriels : Nexedi, 2nd Quadrant, Abilian. Académiques : Télécom ParisTech, INRIA
2014 2017 PL CIFRE PixaLione RCLN
2014 2016 BehaPPi-BM CNRS / PAN Behaviour Preserving Parametric Bounded Model Checking LCR
Institute of Computer Science, Polish Academy of Sciences Warsaw, Poland
2014 2016 EAGQP PGMO EAGQP AOC
2015 2016 EQPEAMR PEPS Efficient Quadratic Programming Exact Algorithm mixing Relaxa- tions AOC
2015 2016 DOUET BQR Distributed Symbolic Unfolding Exploration LCR
2015 2016 APERo PEPS Algorithmes Pour l’Exascale Robuste AOC
2015 2016 PCES BQR Partitionnement connexe équilibré des Smartgrids AOC
2014 2016 A3FD PEPS JCJC A3FD A3
2015 2016 GOLFRED PIRAT Génération de récits à partir d’expériences spatiales d’un robot de service par extraction de connaissances textuelles RCLN
IIMAS (UNAM, Mexique), LORIA
2013 2016 S-Q PIA Square Predict A3
LIPADE, LARIS, Arrow group , Isthma-Viseo , Digital & Ethics
2016 2016 EP-Tender EP-Tender Solving a problem of network design for a new shared mobility system AOC
2013 2016 Novedia CIFRE Novedia LCR
2015 2016 P4 SPC Analyse en moyenne de modules premiers dans la décomposition modulaire des graphes P4-sparse et complexité algorithmique de certains problèmes d’optimisation dans ces graphes CALIN
2015 2016 ONPRO PGMO Optimising Nuclear Power Plants refueling outage AOC
EDF, Fondation Mathématique Jacques Hadamard (FMJH)
2013 2016 Alea Intra-IDEX Alea Sorbonne CALIN
LIAFA , LAGA
2015 2016 PSyCoS JCJC PSyCoS AOC
2012 2016 COCLICO ANR Thém. COllaboration, CLassification, Incrémentalité et COnnaissances A3 LSIIT, LIPN, AgroParisTech/INRA + LIVE, ESPACE DEV/IRD
2013 2015 ELFIC LabEx Digicosme Programmes d’éléments finis formellement vérifiés LCR
Inria Saclay, équipe Toccata ; Ecole Polytechnique, LIX ; CEA LIST; Inria Paris-Rocquencourt, équipe Pomdapi; UTC, LMAC (Laboratoire de Mathématiques Appliquées de Compiègne)
2014 2015 SW CIFRE « Apprentissage massivement distribué dans un environnement Big Data » A3
2014 2015 EthicPhone EthicPhone EthicPhone AOC
2014 2015 HYDRATA PEPS Hypergraphes et Datamining: Algorithmes et Analyses probabilistes CALIN
GREYC, LBBE, RISC
2015 2015 A3FD JCJC Apprentissage non-supervisé Autonome pour l’Analyse de Flux de Données A3
2013 2015 EEAGPP PGMO Efficient exact algorithms for Graph Partitioning Problems AOC
LAMSADE, LCOMS
2014 2015 PsyCoS PEPS JCJC Parallel SYnthesis for COncurrent Systems AOC-LCR
2013 2015 COQUAS ANR JCJC COmputing with QUAntitative Semantics LCR
2012 2014 PAN IROE Optimisation du placement des arrêts nucléaires AOC Fondation Mathématique Jacques Hadamard (FMJH) + EDF
2011 2014 Hermès Commerce Relation Client Personnalisée et Contextualisée A3
INRIA, LEM, LIFL, LITIS + Auchan, Blogbang, Brand Alley, Cylande, Keyneosoft, Leroy Merlin, Norsys, Numsight
2013 2014 Cartes3D PEPS Cartes 3D CALIN
2013 2014 CATS STIC Asie Compositional Analysis of Timed Systems LCR
Hochiminh City University of Technology (HCMUT) et National University of Singapore (NUS)
2013 2014 13MATH-07 MathAmSud Algorithmic, algebraic and structural issues on coloring and matching theory of graphs CALIN
France (Universités Paris-Nord, Paris-Dauphine et Paris-6), Argentine (Universidad de Buenos Aires), Brésil (Universidade Federal do Rio de Janeiro), Chili (Universidad de Chile)
2013 2014 SynPaTic BQR Synthèse de paramètres temporels distribuée multi-cœurs LCR
2014 2014
2011 2014 MultiCritP GdR RO Chemins Multi-critères / Multi-modaux dans les grands graphes AOC
LIX, IMB (Bordeaux), INRIA Bordeaux Sud-Ouest.
2010 2014 LOGOI ANR Blanc LOGique et Géométrie de l’Interaction LCR
PPS, IML
2010 2014 MODUM ANR Thém. Mutualisation et Optimisation de la Distribution Urbaine de Marchandises AOC
ARMINES-CMP (Ecole des Mines de Saint-Etienne), ESSEC (Cergy), LET (Université Lyon 2), LVMT (Ecole Nationale des Ponts et Chaussées)
2012 2014 Holonomix PEPS _ CALIN
INRIA Rocquencourt, Université Grenoble 1, Université Claude Bernard (Lyon), IMCCE (Paris)
2010 2014 MAGNUM ANR Blanc Méthodes Algorithmiques de Génération aléatoire Non Uniforme, Modèles et applications CALIN
LIP6, LIAFA
2010 2014 LOCI ANR Blanc Locativité et Interaction en Logique, Linguistique et Informatique LCR
SFL (Paris 8), IML, LABRI, Queen Mary (Univ. of London)
2011 2014 CIFRE A3
TALEND
2011 2014 Coquelicot Digiteo A new Coq library for Reals LCR
INRIA Saclay, LIX-Ecole Polytechnique
2010 2013 Résilience System@tic Résilience AOC
Institut Telecom, INRIA + Nexedi, Morpho, EADS Astrium GEO Information, Alcatel Lucent, Alixen, Xwiki, Wallix, AlterWay, CEA List
2013 2013 MARMOT BQR Marches, ARbres et MOTs CALIN
LAGA
2013 2013 CombAlg BQR Combinatoire Algébrique CALIN
2012 2013 IOP GDR GPL Intégration d’Outils de vérification dans la Plate-forme cosyverif LCR
2011 2013 Holomix PEPS Coefficients des fonctions holonomes CALIN
INRIA Rocquencourt, Université Grenoble 1, Université Claude Bernard (Lyon), IMCCE (Paris)
2012 2013 GDF GDF GDF AOC
2010 2013 INSIGht Rech. Bioméd. Identification de cibles thérapeutiques par la recherche de réseaux spécifiquement altérés dans les cancers A3 Institut Curie ; LIPN-CNRS; Equipe Recherche translationnelle en oncogénèseurogénitale, INSERM, Créteil ; Institut de Biologie Systémique et Synthétique (iSSB), Université d’Evry
2012 2013 DOC GdR Ro Dualite pour l’Optimisation Combinatoire AOC LIX, IMB (Bordeaux), INRIA Bordeaux Sud-Ouest
2011 2013 CombGraph PEPS Combinatoire et invariants des graphes topologiques et de leurs généralisations CALIN
Laboratoire de Physique Théorique Orsay, Centre de Physique Théorique de Marseille, Institut Camille Jordan de Lyon
2009 2013 PANDA ANR Blanc LCR
INRIA Saclay, CEA, PPS, LSV, LIP, LAMA, LIF, IML, Airbus
2010 2013 CIFRE A3
Anticipeo
2012 2013 MultiCut GdR Ro Multicoupes et connexité dans les graphes AOC LIP6 (Université Paris 6), IMB (Bordeaux)
2009 2013 OADLIB GIS R2DS Outils d’Aide à la Décision pour l’exploitation des systèmes de transport en LIBre-service AOC LVMT (Ecole Nationale des Ponts et Chaussées)
2012 2013 ONTO-APP BQR Ontologie et Apprentissage pour un système de suggestions nutritionnelles personnalisées A3 Lim&Bio; (porteur), équipe déterminants, UREN (Unité de Recherche en Epidémiologie Nutritionnelle, UMR U557 Inserm/U1125 Inra/Cnam)
2010 2013 CIFRE A3
INA
2012 2013 RCG Google Arward Reoptimization and Column Generation AOC
2011 2012 AirLiquide Air Liquide Air Liquide AOC
2011 2012 CoHyVa IROE Optimality for Tough Combinatorial Hydro Valley Problems AOC
LIX (Ecole polytechnique), IASI (CNR, Italie)
2009 2012 Legilocal Cap Digital Legilocal RCLN CERSA + Victoires Editions (coordination), Jamespot, Mondeca, Temis, ViaSema
2009 2012 Médiamobil CIFRE Calcul rapide des plus courts chemins multimodaux dans des réseaux de transport à dynamique aléatoire AOC