Sites Inria

Il y a 19 Résultats avec le mot clé : "algorithmes"

Médiation Scientifique

Premier de cordée en algorithmes

Marie Blanchard - 26/01/2015

Depuis plusieurs années Inria Nancy - Grand Est prend part aux cordées de la réussite et s’implique tout particulièrement lors de la Journée Nationale des Cordées de la Réussite. Jeudi 22 janvier, 200 lycéens du bassin lunévillois étaient réunis à la Faculté des Sciences de Nancy pour « Qu’ensemble chaque élève ose sa réussite » .

Mots-clés :

Accueil > Centre > Nancy > Actualités > Premier de cordée en algorithmes

Lire la suite

Une école et une conférence dédiées à la cryptographie

Workshop on Elliptic Curve Cryptography

19/09/2011 au 21/09/2011

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 :

Accueil > Centre > Nancy > Agenda > Workshop on Elliptic Curve Cryptography

lire la suite

© Digiteo

Événement

Séminaire Digiteo

24/05/2012

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

Intervenant(s) : Claire Mathieu (Brown University)

Mots-clés :

Accueil > Centre > Saclay > Agenda > Séminaire Digiteo

lire la suite

Yann Ponty, chargé de recherche, équipe Amib - © Inria Saclay - Île-de-France

Unithé ou café

Faire danser virtuellement les ARN

Laure Guion - 6/04/2012

Fête de village, avec ses danses traditionnelles où hommes et femmes se donnent tous la main pour former une farandole qui se replie et se déplie au gré des rencontres… un peu comme un brin d’ARN. L’ARN est la copie de l’ADN qui transmet les informations de notre code génétique pour permettre par exemple la production de protéines. L’ARN s’écrit avec 4 lettres (nucléotides) qui se combinent 2 par 2 : le A avec le U et le C avec le G ; et son repliement est essentiel car selon sa forme, sa fonction ne sera pas la même. La bioinformatique aide ici à modéliser les différentes combinaisons de formes possibles, et à identifier rapidement les perturbations génétiques qui peuvent entraîner des maladies.

Mots-clés :

Accueil > Centre > Saclay > Recherche > Santé, biologie et planète numériques > Faire danser virtuellement les ARN

Lire la suite

© Inria

Mathématiques appliquées, calcul et simulation

Algorithmes et théorie de l’évolution

20/06/2008

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

Lire la suite

Mathématiques appliquées, calcul et simulation

A(rt)lgorithme, design sous influence mathématique

7/05/2007

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

Lire la suite

École CEA-EDF-Inria

Ecoles CEA-EDF-Inria - Modélisation et vérification d'algorithmes en Coq : une introduction

14/11/2011 au 18/11/2011

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

Intervenant(s) : 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 > Agenda > Ecoles CEA-EDF-Inria - Modélisation et vérification d'algorithmes en Coq : une introduction

Lire la suite

Demi-heure de science

Demi-heure de science

4/12/2014

La demi-heure de science a lieu tous les mois, à partir de 11h, à l’amphithéâtre Jacques-Louis Lions au bâtiment 1. Un café vous accueillera dès 10h45.
Cette demi-heure a pour but de présenter, à tous les scientifiques du centre, un thème, son intérêt et les questions qui s’y rapportent, le but étant de répondre à la question  « pourquoi mène-t-on des recherches dans ce domaine-là ?».

Lieu : Inria Rocquencourt, bâtiment 1, amphi J-L. Lions

Intervenant(s) : Fabrice Rouillier (OURAGAN)

Mots-clés :

Accueil > Centre > Paris > Agenda > Demi-heure de science

lire la suite

École CEA-EDF-Inria

Ecoles CEA-EDF-Inria - Modélisation et vérification d'algorithmes en Coq : une introduction

7/06/2010 au 11/06/2010

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 > Agenda > Ecoles CEA-EDF-Inria - Modélisation et vérification d'algorithmes en Coq : une introduction

Lire la suite

Panorama de Lyon

Conférence

International Conference on Parallel Processing

1/10/2013 au 4/10/2013

Organisée sur 4 jours, cette 42ème édition annuelle portera sur le calcul parallèle et distribué, thème central dans les sciences, l'ingénierie et la société.

Lieu : Ecole Normale Supérieure de Lyon

Mots-clés :

Accueil > Centre > Grenoble > Agenda > International Conference on Parallel Processing

lire la suite

Haut de page

Suivez Inria tout au long de son 50e anniversaire et au-delà !