88 contrats (2012-2021)
Début | Fin | Acronyme | Type | Titre | Équipe(s) | Responsable | Partenaires |
---|
2020 | 2021 | CoHOp | DIM RFSI | Complexity, Homology and Operads | LOVE | | |
2017 | 2020 | A | CIFRE | Partitionnement incrémental de données massives : Analyse de lusage et usure dun turbofan pour les moteurs intelligents | A3 | | Kameleoon |
2017 | 2020 | PCU | FUI | Plateforme de Connaissance Unifiée | A3-RCLN | | Académiques : ESILV. Industriels (PME) : Smile (coordination), Proxem, Armadillo, Wallix |
2016 | 2020 | ParSiTi | ANR | ParSiTi | RCLN | | Alpage (UMR INRIA-P7), LIMSI (UPR CNRS) |
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 |
2018 | 2019 | LoBE | PEPS | Lower Bounds and Entropy | LOVE | | |
2016 | 2019 | Wolfin | FUI | Wolfin | AOC | | Université Paris 6, équipe REGAL. Industriels : Alterway, Objectif Libre et Gandi |
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 |
2016 | 2019 | EDF | CIFRE | Analyse de réseaux multiplexes pour l’étude de sûreté | A3 | | |
2014 | 2019 | PACS | ANR | Parametric Analyses of Concurrent Systems | LOVE | | LIAFA, IRCCyN, LINA, Aalborg |
2016 | 2019 | K | CIFRE | « Analyse prédictive massivement distribuée pour la personnalisation web en temps réel » | A3 | | Kameleoon |
2015 | 2018 | Elica | ANR | Expanding Logical Ideas for Complexity Analysis | LOVE | | LIP (ENS Lyon), Loria (INRIA Carte), Università di Bologna (INRIA Focus) |
2010 | 2018 | QPLIB | PGMO | A Library of Quadratic Programming Instances, Effective algorithms for generic quadratic problems using QPLIB2014 | AOC | | LAMSADE |
2017 | 2018 | BIGRe | PEPS | Bornes Inférieures Géométriques par Réalisabilité | LOVE | | |
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 | | |
2017 | 2017 | MultiText | PEPS Blancs | Apprentissage artificiel Multi-Vues pour l’analyse de textes | A3 | | LIPADE (Univ. Paris5), SYLED (Univ. Paris3), CeRCA/MSHS (Univ. Poitier) |
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 | | |
2015 | 2016 | PCES | BQR | Partitionnement connexe équilibré des Smartgrids | AOC | | |
2014 | 2016 | BehaPPi-BM | CNRS / PAN | Behaviour Preserving Parametric Bounded Model Checking | LOVE | | Institute of Computer Science, Polish Academy of Sciences Warsaw, Poland |
2015 | 2016 | APERo | PEPS | Algorithmes Pour l’Exascale Robuste | AOC | | |
2015 | 2016 | DOUET | BQR | Distributed Symbolic Unfolding Exploration | LOVE | | |
2014 | 2016 | EAGQP | PGMO | EAGQP | AOC | | |
2014 | 2016 | A3FD | PEPS JCJC | A3FD | A3 | | |
2015 | 2016 | EQPEAMR | PEPS | Efficient Quadratic Programming Exact Algorithm mixing Relaxa- tions | AOC | | |
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 | LOVE | | |
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 | | |
2014 | 2015 | SW | CIFRE | « Apprentissage massivement distribué dans un environnement Big Data » | A3 | | |
2013 | 2015 | ELFIC | LabEx Digicosme | Programmes d’éléments finis formellement vérifiés | LOVE | | 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) |
2011 | 2015 | COCLICO | ANR Thém. | COllaboration, CLassification, Incrémentalité et COnnaissances | A3 | | LSIIT, LIPN, AgroParisTech/INRA + LIVE, ESPACE DEV/IRD |
2014 | 2015 | HYDRATA | PEPS | Hypergraphes et Datamining: Algorithmes et Analyses probabilistes | CALIN | | GREYC, LBBE, RISC |
2014 | 2015 | EthicPhone | EthicPhone | EthicPhone | AOC | | |
2013 | 2015 | EEAGPP | PGMO | Efficient exact algorithms for Graph Partitioning Problems | AOC | | LAMSADE, LCOMS |
2015 | 2015 | A3FD | JCJC | Apprentissage non-supervisé Autonome pour lAnalyse de Flux de Données | A3 | | |
2014 | 2015 | PsyCoS | PEPS JCJC | Parallel SYnthesis for COncurrent Systems | AOC-LOVE | | |
2013 | 2015 | COQUAS | ANR JCJC | COmputing with QUAntitative Semantics | LOVE | | |
2012 | 2014 | PAN | IROE | Optimisation du placement des arrêts nucléaires | AOC | | Fondation Mathématique Jacques Hadamard (FMJH) + EDF |
2013 | 2014 | Cartes3D | PEPS | Cartes 3D | CALIN | | |
2013 | 2014 | CATS | STIC Asie | Compositional Analysis of Timed Systems | LOVE | | Hochiminh City University of Technology (HCMUT) et National University of Singapore (NUS) |
2013 | 2014 | SynPaTic | BQR | Synthèse de paramètres temporels distribuée multi-curs | LOVE | | |
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) |
2011 | 2014 | Hermès | FUI | Relation Client Personnalisée et Contextualisée | A3 | | INRIA, LEM, LIFL, LITIS + Auchan, Blogbang, Brand Alley, Cylande, Keyneosoft, Leroy Merlin, Norsys, Numsight |
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 | 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) |
2010 | 2014 | LOGOI | ANR Blanc | LOGique et Géométrie de l’Interaction | LOVE | | PPS, IML |
2010 | 2014 | LOCI | ANR Blanc | Locativité et Interaction en Logique, Linguistique et Informatique | LOVE | | SFL (Paris 8), IML, LABRI, Queen Mary (Univ. of London) |
2012 | 2014 | Holonomix | PEPS | _ | CALIN | | INRIA Rocquencourt, Université Grenoble 1, Université Claude Bernard (Lyon), IMCCE (Paris) |
2011 | 2014 | Coquelicot | Digiteo | A new Coq library for Reals | LOVE | | INRIA Saclay, LIX-Ecole Polytechnique |
2011 | 2014 | | CIFRE | | A3 | | TALEND |
2010 | 2014 | MAGNUM | ANR Blanc | Méthodes Algorithmiques de Génération aléatoire Non Uniforme, Modèles et applications | CALIN | | LIP6, LIAFA |
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 dOutils de vérification dans la Plate-forme cosyverif | LOVE | | |
2011 | 2013 | Holomix | PEPS | Coefficients des fonctions holonomes | CALIN | | INRIA Rocquencourt, Université Grenoble 1, Université Claude Bernard (Lyon), IMCCE (Paris) |
2012 | 2013 | ORTG | Contrat GDF | Optimisation de Réseaux de Transport de Gaz | AOC | | GDF |
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 |
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 | | LOVE | | INRIA Saclay, CEA, PPS, LSV, LIP, LAMA, LIF, IML, Airbus |
2012 | 2013 | DOC | GdR Ro | Dualite pour l’Optimisation Combinatoire | AOC | | LIX, IMB (Bordeaux), INRIA Bordeaux Sud-Ouest |
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 | RCG | Google Arward | Reoptimization and Column Generation | AOC | | |
2012 | 2013 | MultiCut | GdR Ro | Multicoupes et connexité dans les graphes | AOC | | LIP6 (Université Paris 6), IMB (Bordeaux) |
2009 | 2012 | A | CIFRE | Modèles de mélanges topologiques pour la classification de données structurées en séquences | A3 | | INA |
2009 | 2012 | A | CIFRE | Approches pre?dictives dapprentissage statistique | A3 | | Anticipeo |
2009 | 2012 | E-FRAUD | ANR CSOSG | Détection et Investigation de la fraude à la carte bancaire | A3 | | LIP6-CNRS + ALTIC, KXEN, THALES Communications France (TCF), GIE Cartes Bancaires « CB », Gendarmerie Nationale, Police Nationale |
2009 | 2012 | 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 |
2011 | 2012 | 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) |
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 | | |