archive-fr.com » FR » I » INRIA.FR

Total: 1610

Choose link from "Titles, links and description words view":

Or switch to "Titles and links view".
  • Partenariats - Inria
    recherche européenne AB 22 08 2015 Inria rejoint l association Big Data Value Association BDVA qui coordonne le Partenariat Public Privé PPP européen sur les Big Data lancé au début de l année 2015 Lire la suite Actualités scientifiques Agenda scientifique Domaines de recherche Rechercher une équipe Mobilité internationale Stratégie Transfert Innovation Recrutement métiers UPMC L Ardhuin Prix Inria 2015 Benoît Perthame Grand Prix Inria Académie des sciences AB 24 09 2015 Mathématicien de premier plan Benoît Perthame est une personnalité clé de la communauté scientifique internationale Spécialiste des équations cinétiques il est un pionnier depuis les années 2000 du domaine des maths bio Sa modélisation mathématique de la théorie de l évolution de Darwin ses études sur le cancer ou l organisation de communauté cellulaires illustrent sa capacité à inventer de nouveaux concepts et à développer des outils d analyse appliqués aux sciences du vivant Lire la suite Inria D Grandmougin Prix Inria 2015 Véronique Cortier Prix Inria Académie des sciences du jeune chercheur AB Spécialiste des protocoles de sécurité Véronique Cortier imagine aujourd hui les solutions qui permettront demain de sécuriser notre vie numérique Elle développe notamment un système de vote électronique open source appelé Belenios Son credo faire confiance à son ordinateur est globalement une mauvaise idée Lire la suite Inria C Tourniaire Prix Inria 2015 Marc Lavielle Prix de l innovation Inria Académie des sciences Dassault Systèmes AB 24 09 2015 Utiliser la statistique comme un outil moderne pour mieux aborder les grands enjeux de santé de notre époque voilà le défi que s est lancé Marc Lavielle En conciliant des travaux scientifiques de premier plan et une capacité unique à s appuyer sur des partenariats industriels il a réussi à mettre au point une solution innovante bénéficiant aujourd hui à toute l industrie pharmaceutique Lire la suite Rechercher une équipe Actualités Innovation Agenda Innovation Partenariats industriels Télécoms Aéronautique Environnement Systèmes embarqués Santé iCOMMUNITY Une plateforme web pour innover avec la recherche publique iCOMMUNITY est un site web développé par Inria et soutenu par Allistène Alliance des sciences et technologies numériques pour tous ceux qui veulent innover avec la recherche publique Ce site a pour objectif de faciliter les échanges et encourager les collaborations entre le monde de l industrie et l ensemble des acteurs de la recherche au service de la société Lire la suite Transfert technologique Patrimoine logiciel d Inria Inria est à l origine d une importante production de logiciels Ci dessous quelques exemples de logiciels phares classés par secteur Retrouvez l intégralité du patrimoine logiciel sur iCOMMUNITY Lire la suite Partenariats Les partenariats stratégiques avec les grands industriels Les partenariats stratégiques que met en place Inria sont des partenariats bilatéraux et de long terme avec de grands groupes industriels formalisés dans un contrat cadre Un programme de recherche est élaboré conjointement pour Inria et son partenaire sur la base des thématiques prioritaires proposées par l industriel Des projets de recherche s inscrivant dans ce programme sont ensuite construits conjointement par les équipes

    Original URL path: http://www.inria.fr/institut/partenariats (2015-12-30)
    Open archived version from archive


  • Recrutement & métiers - Inria
    il a réussi à mettre au point une solution innovante bénéficiant aujourd hui à toute l industrie pharmaceutique Lire la suite Rechercher une équipe Actualités Innovation Agenda Innovation Partenariats industriels Télécoms Aéronautique Environnement Systèmes embarqués Santé iCOMMUNITY Une plateforme web pour innover avec la recherche publique iCOMMUNITY est un site web développé par Inria et soutenu par Allistène Alliance des sciences et technologies numériques pour tous ceux qui veulent innover avec la recherche publique Ce site a pour objectif de faciliter les échanges et encourager les collaborations entre le monde de l industrie et l ensemble des acteurs de la recherche au service de la société Lire la suite Transfert technologique Patrimoine logiciel d Inria Inria est à l origine d une importante production de logiciels Ci dessous quelques exemples de logiciels phares classés par secteur Retrouvez l intégralité du patrimoine logiciel sur iCOMMUNITY Lire la suite Partenariats Les partenariats stratégiques avec les grands industriels Les partenariats stratégiques que met en place Inria sont des partenariats bilatéraux et de long terme avec de grands groupes industriels formalisés dans un contrat cadre Un programme de recherche est élaboré conjointement pour Inria et son partenaire sur la base des thématiques prioritaires proposées par l industriel Des projets de recherche s inscrivant dans ce programme sont ensuite construits conjointement par les équipes d Inria et du partenaire De plus un comité de pilotage et un comité scientifique garantissent la cohérence et la bonne marche de la collaboration Lire la suite Création d entreprises 30 ans de création d entreprises Dircom 26 11 2014 1984 Inria devient actionnaire d une première société SIMULOG C est le début d une histoire de création d entreprises toujours en marche Dès aujourd hui et dans les mois qui viennent Inria donne un coup de projecteur sur ses 30 ans de belles aventures entrepreneuriales L occasion de rappeler que dans sa recherche d impact économique et sociétal la création d entreprises est une des voies qu Inria a décidé de privilégier Entretien avec Antoine Petit Président directeur général d Inria et Eric Horlait directeur général délégué au transfert et aux partenariats industriels d Inria Lire la suite Recrutement métiers Accueil Institut Recrutement métiers A la une Rejoignez nous Inria est le seul établissement de recherche public dédié exclusivement aux sciences du numérique L institut produit une recherche de haut niveau dans les champs informatiques et mathématiques appliquées et en garantit les impacts économiques et sociétaux Lire la suite Offres Inria recrute Chaires internationales Inria Séjours de recherche post doctoraux Mobilité inter fonction publique Thèses Concours internes Autres offres de CDD Chaires internationales Concours logiciel Boost your Code Toutes nos offres d emploi Nous rejoindre Vous souhaitez rejoindre Inria Devenir chercheur ingénieur accompagner la recherche au sein de l institut Ou simplement effectuer un stage Savez vous que l institut accueille chaque année de nouveaux collaborateurs au sein de ses équipes Pour cela plusieurs modalités existent concours mobilité voie contractuelle ou stage Inria a également mis en place un

    Original URL path: http://www.inria.fr/institut/recrutement-metiers (2015-12-30)
    Open archived version from archive

  • Benoît Perthame : Grand Prix Inria – Académie des sciences - Inria
    dans ce programme sont ensuite construits conjointement par les équipes d Inria et du partenaire De plus un comité de pilotage et un comité scientifique garantissent la cohérence et la bonne marche de la collaboration Lire la suite Création d entreprises 30 ans de création d entreprises Dircom 26 11 2014 1984 Inria devient actionnaire d une première société SIMULOG C est le début d une histoire de création d entreprises toujours en marche Dès aujourd hui et dans les mois qui viennent Inria donne un coup de projecteur sur ses 30 ans de belles aventures entrepreneuriales L occasion de rappeler que dans sa recherche d impact économique et sociétal la création d entreprises est une des voies qu Inria a décidé de privilégier Entretien avec Antoine Petit Président directeur général d Inria et Eric Horlait directeur général délégué au transfert et aux partenariats industriels d Inria Lire la suite Inria en bref Accueil Institut Inria en bref Prix Inria Lauréats 2015 Benoît Perthame Grand Prix Sélection Présentation Lauréats 2015 Lauréats 2014 Lauréats 2013 Lauréats 2012 Prix Inria 2015 AB 24 09 2015 Benoît Perthame Grand Prix Inria Académie des sciences UPMC L Ardhuin Mathématicien de premier plan Benoît Perthame est une personnalité clé de la communauté scientifique internationale Spécialiste des équations cinétiques il est un pionnier depuis les années 2000 du domaine des maths bio Sa modélisation mathématique de la théorie de l évolution de Darwin ses études sur le cancer ou l organisation de communauté cellulaires illustrent sa capacité à inventer de nouveaux concepts et à développer des outils d analyse appliqués aux sciences du vivant Rien ne prédisposait Benoît Perthame à embrasser une carrière scientifique ni son entourage familial ni la terre industrielle du Nord où il a grandi Porté par une passion précoce pour les mathématiques il trouve sa vocation de chercheur au sein de l École normale supérieure ENS Ulm C est un lieu ouvert où l on s intéresse tout à la fois à la théorie et à la raison d être des mathématiques Cet état d esprit m a toujours attiré Benoît Perthame est aujourd hui un spécialiste internationalement connu des équations aux dérivées partielles Il fait partie dès 1986 de l équipe qui a obtenu un résultat majeur le lemme de moyennes pour les solutions d équations cinétiques Les sciences du vivant comme nouvel horizon des mathématiques Devenu professeur en mathématiques appliquées à l ENS Ulm il est l un des premiers à travailler sur les sciences du vivant à nouer des contacts avec les chercheurs français et internationaux puis à créer une équipe au sein d Inria mêlant chercheurs biologistes et médecins C était avant 2000 J observais le foisonnement de la recherche dans les domaines de la mécanique des fluides de la finance des thèmes où l école française est très présente À cette époque les biologistes avaient encore peu de contacts avec les mathématiciens et peu de chercheurs en mathématiques appliquées pensaient aux sciences du vivant Il y avait

    Original URL path: http://www.inria.fr/institut/inria-en-bref/prix-inria/laureats-2015/benoit-perthame-grand-prix (2015-12-30)
    Open archived version from archive

  • Actualités - Inria
    d Inria Inria est à l origine d une importante production de logiciels Ci dessous quelques exemples de logiciels phares classés par secteur Retrouvez l intégralité du patrimoine logiciel sur iCOMMUNITY Lire la suite Partenariats Les partenariats stratégiques avec les grands industriels Les partenariats stratégiques que met en place Inria sont des partenariats bilatéraux et de long terme avec de grands groupes industriels formalisés dans un contrat cadre Un programme de recherche est élaboré conjointement pour Inria et son partenaire sur la base des thématiques prioritaires proposées par l industriel Des projets de recherche s inscrivant dans ce programme sont ensuite construits conjointement par les équipes d Inria et du partenaire De plus un comité de pilotage et un comité scientifique garantissent la cohérence et la bonne marche de la collaboration Lire la suite Création d entreprises 30 ans de création d entreprises Dircom 26 11 2014 1984 Inria devient actionnaire d une première société SIMULOG C est le début d une histoire de création d entreprises toujours en marche Dès aujourd hui et dans les mois qui viennent Inria donne un coup de projecteur sur ses 30 ans de belles aventures entrepreneuriales L occasion de rappeler que dans sa recherche d impact économique et sociétal la création d entreprises est une des voies qu Inria a décidé de privilégier Entretien avec Antoine Petit Président directeur général d Inria et Eric Horlait directeur général délégué au transfert et aux partenariats industriels d Inria Lire la suite Actualités Accueil Recherches Actualités 1 Page 2 Page 3 Page 4 Page 5 Suivant A la une Inria Kaksonen Collège de France De la création numérique 3D aux mondes virtuels animés 27 11 2014 La Chaire d Informatique et Sciences numériques du Collège de France est attribuée à Marie Paule Cani pour l année 2015 La leçon inaugurale sera donnée le 12 février 2015 Mots clés Chaire informatique et sciences numériques Marie Paule Cani Informatique Graphique 3D Collège de France Lire la suite Leslie Lamport Photo Bernard Lachaud Prix Turing Leslie Lamport un pionnier de l informatique distribuée Olivier Lapirot 3 06 2014 Le prix Turing 2013 de l Association for Computing Machinery a été décerné cette année à Leslie Lamport chercheur du laboratoire commun Inria Microsoft Research Retour sur 40 ans de travaux d un chercheur qui met les mathématiques au service du numérique Mots clés Prix Turing Système distribué ACM Microsoft research Lire la suite Christophe Godin et Teva Vernoux Inria Publication Modélisation et biologie récit d une collaboration à succès Cyril Da 17 12 2013 Christophe Godin de l équipe Inria Virtual Plants et Teva Vernoux du Laboratoire de reproduction et développement des plantes CNRS ENS Lyon INRA UCBL ont mené un projet dont les résultats jettent une lumière nouvelle sur la façon dont les plantes forment ces étonnants et universels arrangements d organes en spirales ou en couronnes Au total 23 chercheurs et ingénieurs de domaines disciplinaires variés ont contribué à cette découverte qui fait l objet d une publication

    Original URL path: http://www.inria.fr/recherches/actualites (2015-12-30)
    Open archived version from archive

  • Agenda - Inria
    Business Convention on Big Data Charlotte Renauld 26 10 2015 L Université Paris Saclay organise une Convention d Affaires sur la thématique Big Data à Saclay Il s agit d un événement ambitieux à portée nationale avec un ciblage sur les thématiques autour des enjeux et des opportunités du Big Data incluant les sciences de la donnée le potentiel économique et l impact sociétal Nozha Boujemaa directrice du centre de recherche Inria Saclay Ile de France est présidente du comité d organisation de cette convention qui se déroulera les 24 et 25 novembre 2015 à HEC Paris Lire la suite Europe Relations internationales Big Data Value Association Partenariats européens Inria acteur de la recherche européenne AB 22 08 2015 Inria rejoint l association Big Data Value Association BDVA qui coordonne le Partenariat Public Privé PPP européen sur les Big Data lancé au début de l année 2015 Lire la suite Actualités scientifiques Agenda scientifique Domaines de recherche Rechercher une équipe Mobilité internationale Stratégie Transfert Innovation Recrutement métiers UPMC L Ardhuin Prix Inria 2015 Benoît Perthame Grand Prix Inria Académie des sciences AB 24 09 2015 Mathématicien de premier plan Benoît Perthame est une personnalité clé de la communauté scientifique internationale Spécialiste des équations cinétiques il est un pionnier depuis les années 2000 du domaine des maths bio Sa modélisation mathématique de la théorie de l évolution de Darwin ses études sur le cancer ou l organisation de communauté cellulaires illustrent sa capacité à inventer de nouveaux concepts et à développer des outils d analyse appliqués aux sciences du vivant Lire la suite Inria D Grandmougin Prix Inria 2015 Véronique Cortier Prix Inria Académie des sciences du jeune chercheur AB Spécialiste des protocoles de sécurité Véronique Cortier imagine aujourd hui les solutions qui permettront demain de sécuriser notre vie numérique Elle développe notamment un système de vote électronique open source appelé Belenios Son credo faire confiance à son ordinateur est globalement une mauvaise idée Lire la suite Inria C Tourniaire Prix Inria 2015 Marc Lavielle Prix de l innovation Inria Académie des sciences Dassault Systèmes AB 24 09 2015 Utiliser la statistique comme un outil moderne pour mieux aborder les grands enjeux de santé de notre époque voilà le défi que s est lancé Marc Lavielle En conciliant des travaux scientifiques de premier plan et une capacité unique à s appuyer sur des partenariats industriels il a réussi à mettre au point une solution innovante bénéficiant aujourd hui à toute l industrie pharmaceutique Lire la suite Rechercher une équipe Actualités Innovation Agenda Innovation Partenariats industriels Télécoms Aéronautique Environnement Systèmes embarqués Santé iCOMMUNITY Une plateforme web pour innover avec la recherche publique iCOMMUNITY est un site web développé par Inria et soutenu par Allistène Alliance des sciences et technologies numériques pour tous ceux qui veulent innover avec la recherche publique Ce site a pour objectif de faciliter les échanges et encourager les collaborations entre le monde de l industrie et l ensemble des acteurs de la recherche au service de la société

    Original URL path: http://www.inria.fr/recherches/agenda (2015-12-30)
    Open archived version from archive

  • Structures de recherche - Inria
    de la communauté scientifique internationale Spécialiste des équations cinétiques il est un pionnier depuis les années 2000 du domaine des maths bio Sa modélisation mathématique de la théorie de l évolution de Darwin ses études sur le cancer ou l organisation de communauté cellulaires illustrent sa capacité à inventer de nouveaux concepts et à développer des outils d analyse appliqués aux sciences du vivant Lire la suite Inria D Grandmougin Prix Inria 2015 Véronique Cortier Prix Inria Académie des sciences du jeune chercheur AB Spécialiste des protocoles de sécurité Véronique Cortier imagine aujourd hui les solutions qui permettront demain de sécuriser notre vie numérique Elle développe notamment un système de vote électronique open source appelé Belenios Son credo faire confiance à son ordinateur est globalement une mauvaise idée Lire la suite Inria C Tourniaire Prix Inria 2015 Marc Lavielle Prix de l innovation Inria Académie des sciences Dassault Systèmes AB 24 09 2015 Utiliser la statistique comme un outil moderne pour mieux aborder les grands enjeux de santé de notre époque voilà le défi que s est lancé Marc Lavielle En conciliant des travaux scientifiques de premier plan et une capacité unique à s appuyer sur des partenariats industriels il a réussi à mettre au point une solution innovante bénéficiant aujourd hui à toute l industrie pharmaceutique Lire la suite Rechercher une équipe Actualités Innovation Agenda Innovation Partenariats industriels Télécoms Aéronautique Environnement Systèmes embarqués Santé iCOMMUNITY Une plateforme web pour innover avec la recherche publique iCOMMUNITY est un site web développé par Inria et soutenu par Allistène Alliance des sciences et technologies numériques pour tous ceux qui veulent innover avec la recherche publique Ce site a pour objectif de faciliter les échanges et encourager les collaborations entre le monde de l industrie et l ensemble des acteurs de la recherche au service de la société Lire la suite Transfert technologique Patrimoine logiciel d Inria Inria est à l origine d une importante production de logiciels Ci dessous quelques exemples de logiciels phares classés par secteur Retrouvez l intégralité du patrimoine logiciel sur iCOMMUNITY Lire la suite Partenariats Les partenariats stratégiques avec les grands industriels Les partenariats stratégiques que met en place Inria sont des partenariats bilatéraux et de long terme avec de grands groupes industriels formalisés dans un contrat cadre Un programme de recherche est élaboré conjointement pour Inria et son partenaire sur la base des thématiques prioritaires proposées par l industriel Des projets de recherche s inscrivant dans ce programme sont ensuite construits conjointement par les équipes d Inria et du partenaire De plus un comité de pilotage et un comité scientifique garantissent la cohérence et la bonne marche de la collaboration Lire la suite Création d entreprises 30 ans de création d entreprises Dircom 26 11 2014 1984 Inria devient actionnaire d une première société SIMULOG C est le début d une histoire de création d entreprises toujours en marche Dès aujourd hui et dans les mois qui viennent Inria donne un coup de projecteur sur ses 30

    Original URL path: http://www.inria.fr/recherches/structures-de-recherche (2015-12-30)
    Open archived version from archive

  • Mobilité internationale - Inria
    opportunités du Big Data incluant les sciences de la donnée le potentiel économique et l impact sociétal Nozha Boujemaa directrice du centre de recherche Inria Saclay Ile de France est présidente du comité d organisation de cette convention qui se déroulera les 24 et 25 novembre 2015 à HEC Paris Lire la suite Europe Relations internationales Big Data Value Association Partenariats européens Inria acteur de la recherche européenne AB 22 08 2015 Inria rejoint l association Big Data Value Association BDVA qui coordonne le Partenariat Public Privé PPP européen sur les Big Data lancé au début de l année 2015 Lire la suite Actualités scientifiques Agenda scientifique Domaines de recherche Rechercher une équipe Mobilité internationale Stratégie Transfert Innovation Recrutement métiers UPMC L Ardhuin Prix Inria 2015 Benoît Perthame Grand Prix Inria Académie des sciences AB 24 09 2015 Mathématicien de premier plan Benoît Perthame est une personnalité clé de la communauté scientifique internationale Spécialiste des équations cinétiques il est un pionnier depuis les années 2000 du domaine des maths bio Sa modélisation mathématique de la théorie de l évolution de Darwin ses études sur le cancer ou l organisation de communauté cellulaires illustrent sa capacité à inventer de nouveaux concepts et à développer des outils d analyse appliqués aux sciences du vivant Lire la suite Inria D Grandmougin Prix Inria 2015 Véronique Cortier Prix Inria Académie des sciences du jeune chercheur AB Spécialiste des protocoles de sécurité Véronique Cortier imagine aujourd hui les solutions qui permettront demain de sécuriser notre vie numérique Elle développe notamment un système de vote électronique open source appelé Belenios Son credo faire confiance à son ordinateur est globalement une mauvaise idée Lire la suite Inria C Tourniaire Prix Inria 2015 Marc Lavielle Prix de l innovation Inria Académie des sciences Dassault Systèmes AB 24 09 2015 Utiliser la statistique comme un outil moderne pour mieux aborder les grands enjeux de santé de notre époque voilà le défi que s est lancé Marc Lavielle En conciliant des travaux scientifiques de premier plan et une capacité unique à s appuyer sur des partenariats industriels il a réussi à mettre au point une solution innovante bénéficiant aujourd hui à toute l industrie pharmaceutique Lire la suite Rechercher une équipe Actualités Innovation Agenda Innovation Partenariats industriels Télécoms Aéronautique Environnement Systèmes embarqués Santé iCOMMUNITY Une plateforme web pour innover avec la recherche publique iCOMMUNITY est un site web développé par Inria et soutenu par Allistène Alliance des sciences et technologies numériques pour tous ceux qui veulent innover avec la recherche publique Ce site a pour objectif de faciliter les échanges et encourager les collaborations entre le monde de l industrie et l ensemble des acteurs de la recherche au service de la société Lire la suite Transfert technologique Patrimoine logiciel d Inria Inria est à l origine d une importante production de logiciels Ci dessous quelques exemples de logiciels phares classés par secteur Retrouvez l intégralité du patrimoine logiciel sur iCOMMUNITY Lire la suite Partenariats Les partenariats stratégiques avec les

    Original URL path: http://www.inria.fr/recherches/mobilite-internationale (2015-12-30)
    Open archived version from archive

  • Domaines de recherche - Inria
    Les équipes de recherche de ce domaine contribuent à définir ce que sera le futur de l internet comme infrastructure de communication mais aussi comme infrastructure de calcul au sens large Les chercheurs s intéressent autant au développement Inria Vanessa Peregrin Domaine de recherche Perception cognition interaction Les 700 personnes de ce domaine de recherche réparties en 43 équipes de recherche étudient la communication avec le monde physique sous toutes ses formes textuelle visuelle ou auditive Ces chercheurs s intéressent à la perception par le biais Alain Viari photo I Qinzburg Domaine de recherche Santé biologie et planète numériques Alain Viari est adjoint au directeur scientifique en charge du domaine Santé biologie et planète numériques Grégoire Malandain qui l a précédé à ce poste nous expliquait dans une interview réalisée en 2010 quels étaient les enjeux et Actions de recherche Nos actions de recherche Inria a développé des programmes d actions de recherche afin de valoriser soutenir et mettre en avant des sujets de recherche spécifiques Structures de recherche Inria Project Labs des recherches transversales majeures Domaines de recherche Actions exploratoires défricher de nouvelles voies de recherche Nos domaines et thèmes de recherche Mathématiques appliquées calcul et simulation Schémas et simulations numériques ACUMES Analysis and Control of Unsteady Models for Engineering Sciences CAGIRE Computational Approximation with discontinous Galerkin methods and compaRison with Experiments CARDAMOM Certified Adaptive discRete moDels for robust simulAtions of CoMplex flOws with Moving fronts DEFI Détermination de Formes Et Identification ECUADOR Transformations et outils informatiques pour le calcul scientifique GAMMA3 Génération automatique de maillages et méthodes avancées IPSO Méthodes numériques préservant les invariants MATHERIALS MATHematics for MatERIALS MEMPHIS Modeling Enablers for Multi PHysics and InteractionS MEPHYSTO Méthodes quantitatives pour les modèles aléatoires de la physique MOKAPLAN Avancées en calcul numérique des variations NACHOS Modélisation numérique et calcul intensif pour des problèmes d évolution en domaines complexes et milieux hétérogènes NANO D Algorithmes pour la Modélisation et la Simulation de Nanosystèmes POEMS Propagation des Ondes Étude Mathématique et Simulation RAPSODI Reliable numerical approximations of dissipative systems Approches stochastiques ASPI Applications statistiques des systèmes de particules en interaction CQFD Contrôle de Qualité et Fiabilité Dynamique MATHRISK Mathematical Risk handling TOSCA Simuler et calibrer des modèles stochastiques Optimisation apprentissage et méthodes statistiques DOLPHIN Optimisation multi critère parallèle coopérative GEOSTAT Géométrie et statistiques dans les données d acquisition INOCS Integrated Optimization with Complex Structure MISTIS Modélisation et Inférence de phenomenes aléatoires complexes et structures MODAL MOdel for Data Analysis and Learning REALOPT Reformulations et algorithmes pour l Optimisation combinatoire SELECT Sélection de modèles en apprentissage statistique SEQUEL Sequential Learning SIERRA Apprentissage Statistique et Parcimonie TAO thème Apprentissage et Optimisation Optimisation et contrôle de systèmes dynamiques APICS Analyse et problèmes Inverses pour le Contrôle et le Signal BIPOP Modélisation Simulation Commande et Optimisation des Systèmes Dynamiques Non Réguliers COMMANDS Controle Optimisation modèles Méthodes et Applications pour les Systèmes Dynamiques non linéaires DISCO Systèmes dynamiques interconnectés dans des environnements complexes GECO Geometric Control Design I4S Inférence Statistique pour la Surveillance et la Sécurité des Structures MAXPLUS algèbres max plus et mathématiques de la décision MCTAO Mathématiques pour le Contrôle le Transport et leurs Applications NECS Systèmes Commandés en Réseau NON A Non Asymptotic estimation for online systems QUANTIC QUANTum Information Circuits SPHINX System with physical heterogenities inverse problems numerical simulation control and stabilization Algorithmique programmation logiciels et architectures Preuves et vérification ANTIQUE Analyse Statique par Interprétation Abstraite CELTIQUE Certification de logiciel par analyse sémantique DEDUCTEAM Deduction modulo interopérabilité et démonstration automatique ESTASYS Efficient STAtistical methods in SYstems of systems GALLIUM Langages de programmation types compilation et preuves MARELLE Mathématiques Raisonnement et Logiciel MEXICO Modeling and Exploitation of Interaction and Concurrency PARSIFAL Recherche de preuve et raisonnement sur des spécifications logiques PI R2 Conception étude et implémentation de langages pour les preuves et les programmes SUMO SUpervision of large MOdular and distributed systems TOCCATA Certified Programs Certified Tools Certified Floating Point Computations VERIDIS Modeling and Verification of Distributed Algorithms and Systems Sécurité et confidentialité CARTE Théorie des calculs adverses et sécurité CASSIS Combinaison d approches pour la sécurité des systèmes infinis COMETE Concurrence Mobilité et Transactions DECENTRALISE DECENTRALISE DICE Données sur l Internet au coeur de l Economie PRIVATICS Modèles architectures et outils pour la protection de la vie privée dans la société de l information PROSECCO Programming securely with cryptography Algorithmique calcul formel et cryptologie ARIC Arithmétiques des ordinateurs méthodes formelles génération de code CARAMEL Cryptologie Arithmétique Matériel et Logiciel CASCADE Conception et Analyse de Systèmes pour la Confidentialité et l Authentification de Données et d Entités GALAAD2 Géométrie Algèbre Algorithmes GEOMETRICA Calcul géométrique GRACE Geometry arithmetic algorithms codes and encryption LFANT Théorie algorithmique des nombres rapide et flexible OURAGAN OUtils de Résolution Algébriques pour la Géométrie et ses ApplicatioNs POLSYS Polynomial Systems SECRET Sécurité Cryptologie et Transmissions SPECFUN Symbolic Special Functions Fast and Certified VEGAS Algorithmes géométriques effectifs pour la visibilité et les surfaces Systèmes embarqués et temps réel AOSTE modèles et méthodes pour l analyse et l optimisation des systèmes temps réel embarqués CONVECS Construction de systèmes concurrents vérifiés HYCOMES Modélisation hybride conception par contrats pour les systèmes embarqués multi physiques MUTANT Synchronous Realtime Processing and Programming of Music Signals PARKAS Parallélisme de Kahn Synchrone POSET Modèles pour la Programmation Structurée de l Espace et du Temps SPADES Programmation de systèmes embarqués sûrs et adaptatifs TEA Time Events and Architectures Architecture langages et compilation ALF La loi d Amdahl est pour toujours ATEAMS Analyse et Transformation a base des composition fideles des outils CAIRN Systèmes sur puce reconfigurables architectures algorithmes et compilation CAMUS Compilation pour les Architectures MUlti coeurS COMPSYS Compilation et systèmes embarqués de calcul CORSE compiler optimization and run time systems DREAMPAL Dynamic Reconfigurable Massively Parallel Architectures and Languages POSTALE Performance Optimization by Software Transformation and Algorithms Librairies Enhancement TASC Theory Algorithms and Systems for Constraints Réseaux systèmes et services calcul distribué Réseaux et télécommunications COATI Combinatoire Optimisation et Algorithmes pour les Télécommunications DANTE Réseaux dynamiques approche structurelle et temporelle DIANA Conception Mise en oeuvre et Analyse d Architectures

    Original URL path: http://www.inria.fr/recherches/domaines-de-recherche (2015-12-30)
    Open archived version from archive