Contrats de recherche

85 contrats (2012-2019)

Début Fin Acronyme Type Titre Équipe(s) Responsable Partenaires
20172020ACIFREPartitionnement incrémental de données massives : Analyse de l’usage et usure d’un turbofan pour les moteurs intelligentsA3
Kameleoon
20162020ParSiTiANRParSiTiRCLN
Alpage (UMR INRIA-P7), LIMSI (UPR CNRS)
20172020PCUFUIPlateforme de Connaissance UnifiéeA3-RCLN
Académiques : ESILV. Industriels (PME) : Smile (coordination), Proxem, Armadillo, Wallix
20152020MétAConCANRMéthodes Analytiques non Conventionnelles en CombinatoireCALIN
20122020EFLLabexFondements empiriques de la linguistiqueRCLN
LPP, LLF, Equipe PP du LPP, Llacan , ALPAGE LATTICE , CRLAO , MII , HTL , LACITO , SEDYL , Equipe mémoire et langage du LPNCog
20162019WolfinFUIWolfinAOC
Université Paris 6, équipe REGAL. Industriels : Alterway, Objectif Libre et Gandi
20152019M15MH01ECOS NordCartographie de la diaspora des savoirs par fouille sémantique des résultats recherche sur le webRCLN
Universidad Nacional Autónoma de México
20162019EDFCIFREAnalyse de réseaux multiplexes pour l’étude de sûretéA3
20142019PACSANRParametric Analyses of Concurrent SystemsLOVE
LIAFA, IRCCyN, LINA, Aalborg
20162019KCIFRE« Analyse prédictive massivement distribuée pour la personnalisation web en temps réel »A3
Kameleoon
20152018ElicaANRExpanding Logical Ideas for Complexity AnalysisLOVE
LIP (ENS Lyon), Loria (INRIA Carte), Università di Bologna (INRIA Focus)
20152018H-SCIFREHorizontal SoftwareAOC
20102018QPLIBPGMOA Library of Quadratic Programming Instances, Effective algorithms for generic quadratic problems using QPLIB2014AOC
LAMSADE
20152018MyndLytixCIFREApprentissage automatique et adaptatif pour le clustering de flux de données hétérogènesA3
20152018NeoVeilleBQRRepérage, analyse et suivi des néologismes en corpusRCLN
LDI (UP13), CLILLAC-ARP (UP7), ERTIM (INALCO), Université Sao Paulo (Brésil), Réseau de Néologie EMPNEO (Pologne, Tchéquie, Grèce)
20152018AdalabChisteraAdaptive Automated Scientific LaboratoryA3
Université Brunel (GB) coordinateur, Univ. Manchester (GB), Univ. Catholique de Leuven (B), Univ. Evry (F)
20132017CombPhysANR JCJCCombinatorial Physics, from Random Matrices to Random TensorsCALIN
20122017QuasiCoolANR JCJCRefroidissement des quasicristaux : des pavages aléatoires aux pavages apériodiquesCALIN
20162017PaToPBQRParallélisme Tolérantaux PannesAOC
20162017D-BDecision BrainDecision BrainAOC
20162017TAL SHSIdEx USPCOutils de Traitement Automatique des Langues pour les SHSRCLN
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)
20172017MultiTextPEPS Blancs Apprentissage artificiel Multi-Vues pour l’analyse de textesA3
LIPADE (Univ. Paris5), SYLED (Univ. Paris3), CeRCA/MSHS (Univ. Poitier)
20152017PESPGMOPartitionnement équicoloré des SmartgridsAOC
20142017WendelinFUIWendelinAOCIndustriels : Nexedi, 2nd Quadrant, Abilian. Académiques : Télécom ParisTech, INRIA
20142017PLCIFREPixaLioneRCLN
20142016BehaPPi-BMCNRS / PANBehaviour Preserving Parametric Bounded Model CheckingLOVE
 Institute of Computer Science, Polish Academy of Sciences Warsaw, Poland
20152016DOUETBQRDistributed Symbolic Unfolding ExplorationLOVE
20152016EQPEAMRPEPSEfficient Quadratic Programming Exact Algorithm mixing Relaxa- tionsAOC
20142016A3FDPEPS JCJCA3FDA3
20152016PCESBQRPartitionnement connexe équilibré des SmartgridsAOC
20142016EAGQPPGMOEAGQPAOC
20152016APERoPEPSAlgorithmes Pour l’Exascale RobusteAOC
20152016GOLFREDPIRAT Génération de récits à partir d’expériences spatiales d’un robot de service par extraction de connaissances textuellesRCLN
 IIMAS (UNAM, Mexique), LORIA
20132016S-QPIASquare PredictA3
LIPADE, LARIS, Arrow group , Isthma-Viseo , Digital & Ethics
20132016NovediaCIFRENovediaLOVE
20162016EP-TenderEP-TenderSolving a problem of network design for a new shared mobility systemAOC
20152016P4SPCAnalyse 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 graphesCALIN
20152016ONPROPGMOOptimising Nuclear Power Plants refueling outageAOC
EDF, Fondation Mathématique Jacques Hadamard (FMJH)
20132016AleaIntra-IDEXAlea SorbonneCALIN
LIAFA , LAGA
20152016PSyCoSJCJCPSyCoSAOC
20132015ELFICLabEx DigicosmeProgrammes d’éléments finis formellement vérifiésLOVE
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)
20142015SWCIFRE« Apprentissage massivement distribué dans un environnement Big Data »A3
20112015COCLICOANR Thém.COllaboration, CLassification, Incrémentalité et COnnaissancesA3
LSIIT, LIPN, AgroParisTech/INRA + LIVE, ESPACE DEV/IRD
20132015EEAGPPPGMOEfficient exact algorithms for Graph Partitioning ProblemsAOC
LAMSADE, LCOMS
20142015EthicPhoneEthicPhoneEthicPhoneAOC
20142015HYDRATAPEPSHypergraphes et Datamining: Algorithmes et Analyses probabilistesCALIN
GREYC, LBBE, RISC
20142015PsyCoSPEPS JCJCParallel SYnthesis for COncurrent SystemsAOC-LOVE
20152015A3FDJCJCApprentissage non-supervisé Autonome pour l’Analyse de Flux de DonnéesA3
20132015COQUASANR JCJCCOmputing with QUAntitative SemanticsLOVE
20122014PANIROEOptimisation du placement des arrêts nucléairesAOCFondation Mathématique Jacques Hadamard (FMJH) + EDF
20132014Cartes3DPEPSCartes 3DCALIN
20132014CATSSTIC AsieCompositional Analysis of Timed SystemsLOVE
Hochiminh City University of Technology (HCMUT) et National University of Singapore (NUS)
20132014SynPaTicBQRSynthèse de paramètres temporels distribuée multi-cœursLOVE
2013201413MATH-07MathAmSudAlgorithmic, algebraic and structural issues on coloring and matching theory of graphsCALIN
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)
20112014HermèsFUIRelation Client Personnalisée et ContextualiséeA3
INRIA, LEM, LIFL, LITIS + Auchan, Blogbang, Brand Alley, Cylande, Keyneosoft, Leroy Merlin, Norsys, Numsight
20142014
20112014MultiCritPGdR ROChemins Multi-critères / Multi-modaux dans les grands graphesAOC
LIX, IMB (Bordeaux), INRIA Bordeaux Sud-Ouest.
20102014MAGNUMANR BlancMéthodes Algorithmiques de Génération aléatoire Non Uniforme, Modèles et applicationsCALIN
LIP6, LIAFA
20102014LOCIANR BlancLocativité et Interaction en Logique, Linguistique et InformatiqueLOVE
SFL (Paris 8), IML, LABRI, Queen Mary (Univ. of London)
20102014LOGOIANR BlancLOGique et Géométrie de l’InteractionLOVE
PPS, IML
20102014MODUMANR Thém.Mutualisation et Optimisation de la Distribution Urbaine de MarchandisesAOC
ARMINES-CMP (Ecole des Mines de Saint-Etienne), ESSEC (Cergy), LET (Université Lyon 2), LVMT (Ecole Nationale des Ponts et Chaussées)
20112014CIFREA3
 TALEND
20112014CoquelicotDigiteoA new Coq library for RealsLOVE
INRIA Saclay, LIX-Ecole Polytechnique
20122014HolonomixPEPS_CALIN
INRIA Rocquencourt, Université Grenoble 1, Université Claude Bernard (Lyon), IMCCE (Paris)
20132013CombAlgBQRCombinatoire AlgébriqueCALIN
20132013MARMOTBQRMarches, ARbres et MOTsCALIN
LAGA
20112013HolomixPEPSCoefficients des fonctions holonomesCALIN
INRIA Rocquencourt, Université Grenoble 1, Université Claude Bernard (Lyon), IMCCE (Paris)
20122013IOPGDR GPLIntégration d’Outils de vérification dans la Plate-forme cosyverifLOVE
20122013ORTGContrat GDFOptimisation de Réseaux de Transport de GazAOC
GDF
20102013RésilienceSystem@ticRésilienceAOC
Institut Telecom, INRIA + Nexedi, Morpho, EADS Astrium GEO Information, Alcatel Lucent, Alixen, Xwiki, Wallix, AlterWay, CEA List
20092013PANDAANR BlancLOVE
INRIA Saclay, CEA, PPS, LSV, LIP, LAMA, LIF, IML, Airbus
20122013DOCGdR RoDualite pour l’Optimisation CombinatoireAOCLIX, IMB (Bordeaux), INRIA Bordeaux Sud-Ouest
20112013CombGraphPEPSCombinatoire et invariants des graphes topologiques et de leurs généralisationsCALIN
Laboratoire de Physique Théorique Orsay, Centre de Physique Théorique de Marseille, Institut Camille Jordan de Lyon
20122013MultiCutGdR RoMulticoupes et connexité dans les graphesAOCLIP6 (Université Paris 6), IMB (Bordeaux)
20092013OADLIBGIS R2DSOutils d’Aide à la Décision pour l’exploitation des systèmes de transport en LIBre-serviceAOCLVMT (Ecole Nationale des Ponts et Chaussées)
20122013RCG Google ArwardReoptimization and Column GenerationAOC
20112012CoHyVaIROEOptimality for Tough Combinatorial Hydro Valley ProblemsAOC
LIX (Ecole polytechnique), IASI (CNR, Italie)
20092012ACIFREApproches pre?dictives d’apprentissage statistiqueA3
 Anticipeo
20092012ACIFREModèles de mélanges topologiques pour la classification de données structurées en séquencesA3
 INA
20092012E-FRAUDANR CSOSGDétection et Investigation de la fraude à la carte bancaireA3
LIP6-CNRS + ALTIC, KXEN, THALES Communications France (TCF), GIE Cartes Bancaires « CB », Gendarmerie Nationale, Police Nationale
20092012INSIGhtRech. Bioméd. Identification de cibles thérapeutiques par la recherche de réseaux spécifiquement altérés dans les cancersA3
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
20112012AirLiquideAir LiquideAir LiquideAOC
20112012ONTO-APPBQR Ontologie et Apprentissage pour un système de suggestions nutritionnelles personnaliséesA3
Lim&Bio; (porteur), équipe déterminants, UREN (Unité de Recherche en Epidémiologie Nutritionnelle, UMR U557 Inserm/U1125 Inra/Cnam)
20092012LegilocalCap DigitalLegilocalRCLNCERSA + Victoires Editions (coordination), Jamespot, Mondeca, Temis, ViaSema
20092012MédiamobilCIFRECalcul rapide des plus courts chemins multimodaux dans des réseaux de transport à dynamique aléatoireAOC