Il y a 5 Résultats avec le mot clé : "INRIA Paris - Rocquencourt"
Route automatisée
Le Cybus d’Inria en démonstration à la Rochelle
Pertinence : 100 %
L’Inria lance une démonstration de Cybus, un système de minibus électrique sans chauffeur qui évolue à la Rochelle sur un parcours urbain de 800 mètres. Cette expérimentation fait partie du projet européen Citymobil auquel à contribuer l’équipe IMARA.
Mots-clés :
Accueil > Actualité > Médiacenter > Cybus Inria
European Research Council 2011
Xavier Rival : vérifier automatiquement la sûreté des logiciels critiques
Pertinence : 100 %
Cette année encore, quatre jeunes chercheurs d’Inria ont décroché une bourse du très sélectif Conseil européen de la recherche (ou European Research Council, ERC) pour mener pendant 5 ans une recherche exploratoire, avec un budget de 1 à 1,5 million d’euros. Xavier Rival, chercheur en informatique, membre de l’équipe-projet Abstraction, est un des lauréats. Il explique son projet.
Mots-clés :
- Xavier Rival
- ABSTRACTION
- INRIA Paris - Rocquencourt
- Sûreté de fonctionnement
- Preuve de programme
- Astrée
- ERC
- Logiciel
Accueil > Centre > Paris - Rocquencourt > Actualités > Xavier Rival : vérifier automatiquement la sûreté des logiciels critiques
Workshop
EIT-ICT LABS MEETING
Pertinence : 100 %
Les partenaires français d'EIT-ICT Labs (http://eit.ictlabs.eu/) organisent une réunion sur l'état d'avancement de ce programme européen et sur l'appel à propositions qui sera publié le 1er mai prochain et clos le 31 mai.
Lieu : Ecole Polytechnique à Palaiseau
Mots-clés :
Accueil > Centre > Paris - Rocquencourt > Agenda > EIT-ICT LABS MEETING
Recherche
Vers une ingénierie des systèmes quantiques
Pertinence : 100 %
Mazyar Mirrahimi de l’équipe Sisyphe a co-signé récemment un article remarqué dans la revue Nature en collaboration avec l'équipe de Serge Haroche et Jean-Michel Raimond de l'ENS et Pierre Rouchon de l’Ecole des Mines de Paris. Entretien avec un automaticien passionné par les problèmes de physique quantique.
Mots-clés :
- INRIA Paris - Rocquencourt
- Automatique
- Mazyar Mirrahimi
- Physique quantique
- Équipe sisyphe
- Ordinateur quantique
- Cryptographie quantique
Accueil > Centre > Paris - Rocquencourt > Actualités > Vers une ingénierie des systèmes quantiques
Antescofo, realtime automatic accompaniment
-
Ircam/Antescofo
Recherche
Science et musique
Pertinence : 100 %
Déléguer à l'ordinateur non seulement l'interprétation, mais aussi l'écriture musicale: telle est l’idée qui régit la création de la nouvelle équipe de recherche MuSync. Avec l'objectif de cerner au plus près l’activité humaine complexe du compositeur et de l'interprète.
Mots-clés :
- Informatique musicale
- Traitement de signal
- Ircam
- Equipe MuSync
- Inria Paris - Rocquencourt
- UPMC
- Arshia Cont
Accueil > Centre > Paris - Rocquencourt > Actualités > Science et musique
Inria
Inria Channel
Centres de recherche Inria