Inria
Inria.fr
Inria Channel
Il y a 7 Résultats avec le mot clé : "Algorithmes"
Une école et une conférence dédiées à la cryptographie
Workshop on Elliptic Curve Cryptography
La conférence internationale ECC (workshop on Elliptic Curve Cryptography) se déroulera à Nancy du 19 au 21 septembre 2011.
Lieu : Villers-Les-Nancy
Mots-clés :
- Clef publique
- Courbes elliptiques
- Algorithmes
- Signature numérique
- Vote électronique
- Cryptographie
- Conférence scientifique
- Workshop
Accueil > Centre > Nancy > Agenda > Workshop on Elliptic Curve Cryptography
Événement
Séminaire Digiteo
Le RTRA Digiteo organise le 24 mai prochain sur le plateau de Saclay un nouveau séminaire à destination de la communauté scientifique.
Il sera animé par Claire Mathieu, professeur d'informatique à Brown University, et aura pour thème : Algorithmes pour l'optimisation avec données bruitées.
Lieu : Supélec, amphithéâtre F3-05
Intervenants : Claire Mathieu (Brown University)
Mots-clés :
Mathématiques appliquées, calcul et simulation
Algorithmes et théorie de l’évolution
Entre Darwin et les sciences de l’ingénieur, Marc Schoenauer explicite les algorithmes évolutionnaires.
Mots-clés :
Accueil > Centre > Saclay > Recherche > Algorithmes et théorie de l’évolution
Mathématiques appliquées, calcul et simulation
A(rt)lgorithme, design sous influence mathématique
Le Centre Pompidou à Paris offre en ce moment au regard de l’amateur comme à celui du curieux une nouvelle présentation de la collection du musée d’art moderne. Ce voyage artistique inclut une ouverture sur la jeune génération internationale d’architectes et de designers, parmi lesquels s’expose l’agence EZCT Architecture & Design Research et ses créations de chaises, fabriquées à partir d’algorithmes évolutionnaires conçus par des chercheurs d'Inria.
Mots-clés :
Accueil > Centre > Saclay > Recherche > A(rt)lgorithme, design sous influence mathématique
École CEA-EDF-Inria
Ecoles CEA-EDF-Inria - Modélisation et vérification d'algorithmes en Coq : une introduction
Cette école CEA-EDF-Inria abordera les techniques de base en modélisation et vérification d'algorithmes en Coq. Elle s'adresse aux étudiants, chercheurs ou ingénieurs qui ont une bonne connaissance de la programmation dans un langage conventionnel (C, Java).
Lieu : Inria - Antenne Parisienne, 23 avenue d'Italie - Paris 13ème
Intervenants : Yves Bertot (Inria), Pierre Castéran (U Bordeaux), Benjamin Gregoire (Inria), Pierre Letouzey (U. Denis Diderot), Assia Mahboubi (Inria).
Mots-clés :
Accueil > Centre > Paris - Rocquencourt > Agenda > Ecoles CEA-EDF-Inria - Modélisation et vérification d'algorithmes en Coq : une introduction
École CEA-EDF-Inria
Ecoles CEA-EDF-Inria - Modélisation et vérification d'algorithmes en Coq : une introduction
Cette école CEA-EDF-Inria abordera les techniques de base en modélisation et vérification d'algorithmes en Coq. Elle s'adresse aux étudiants, chercheurs ou ingénieurs qui ont une bonne connaissance de la programmation dans un langage conventionnel (C, Java).
Lieu : Inria - Rocquencourt bâtiment 1
Mots-clés :
Accueil > Centre > Paris - Rocquencourt > Agenda > Ecoles CEA-EDF-Inria - Modélisation et vérification d'algorithmes en Coq : une introduction
Fabien Torre, équipe Mostrare
Probabilités
Des simulations informatiques au service du football
Fabien Torre, Maître de conférence à Lille 3, membre de l'équipe de recherche MOSTRARE et bloggeur, nous dévoile sa méthode dédiée aux prévisions et résultats des matchs de ligues 1 et 2 du championnat français de football.
Mots-clés :
- Satistiques
- Algorithmes
- Equipe-projet MOSTRARE
- Centre de recherche Inria Lille Nord - Europe
- Simulations informatiques
Accueil > Centre > Lille > Actualités > Des simulations informatiques au service du football
Centres de recherche Inria
