Sites Inria

2014

© Inria

Conférence scientifique

Fabrice Le Fessant - OCaml : promouvoir dans l’industrie un langage de programmation issu de la recherche

6/02/2014

OCaml est un langage de programmation générique, conçu et développé depuis 25 ans à l’Inria. Malgré ses qualités exceptionnelles, il n’a conquis, pendant longtemps, qu’un petit nombre d’industriels.

Mots-clés :

Lire la suite

Conférence scientifique

Jean-David Benamou - Transport optimal et théorème de Brenier

6/03/2014

Après un aperçu très rapide de la théorie du transport optimal et de ses applications ...

Mots-clés :

Lire la suite

© Inria

Conférence scientifique

Gérard Le Lann - Futurs véhicules terrestres : autonomie ou automatisation ?

3/04/2014

Quelques problèmes ouverts dans les systèmes cyber-physiques critiques.

Mots-clés :

Lire la suite

© Inria

Conference scientifique

Frédérique Clément - Quelques questions biomathématiques soulevées par les axes neuro-endocriniens

15/05/2014

Les neurones sont connus pour leur rôle dans le traitement de l’information via des signaux électriques. On sait moins que certains d’entre eux sécrètent des signaux hormonaux et agissent à distance sur leurs cellules cibles, en dehors du système nerveux central.

Mots-clés :

Lire la suite

Irene-Vignon-Clementel

Conférence Scientifique

Nicolas Broutin - Structures combinatoires aléatoires : entre physique, mathématiques et informatique

5/06/2014

Les phénomènes de transition de phase fascinent les physiciens depuis plusieurs siècles. Plus récemment, on a observé des phénomènes similaires dans d’autres domaines notamment la combinatoire et l’informatique.

Mots-clés :

Lire la suite

© Inria

Conférence scientifique

Florent Jacquemard - Test et vérification automatique pour systèmes musicaux interactifs

3/07/2014

Le rôle d’un système musical interactif est de jouer d’égal à égal avec des musiciens humains. Pour cela, il doit réagir en temps réel au flux audio produit par les musiciens, suivant une "partition augmentée" écrite dans un langage spécialisé qui décrit en particulier des aspects temporels, des stratégies de synchronisation musicien/machine, des procédures de rattrapage d’erreurs...

Mots-clés :

Lire la suite

Francesco Zappa Nardelli - Inria

Conférence scientifique

Francesco Zappa Nardelli (PARKAS) : Langages de programmation et concurrence, une relation toujours épineuse

2/10/2014

Nous verrons ensemble pourquoi, fait remarquable et troublant, nous n'avons aucune proposition satisfaisante pour la définition d'un langage généraliste permettant la programmation concurrente en mémoire partagée.

Mots-clés :

Lire la suite

Conférence scientifique

Simon Lacoste-Julien (Sierra) : Apprentissage automatique et Big Data

6/11/2014

Nous vivons à l'ère de l'information : les données numériques prennent une place croissante en sciences, dans le monde technologique et dans la société. Un mot fourre-tout a même été créé récemment pour décrire cette tendance : le Big Data ... Mais comment extraire du sens de toutes ces données ?

Mots-clés :

Lire la suite

Conférence scientifique

Fabrice Rouillier (Ouragan) - Utilisation d’algorithmes de calcul scientifique en topologie et vice versa

Anais Aires - 4/12/2014

L’objectif de cet exposé est de tendre quelques élastiques permettant de relier certains travaux réputés abstraits en topologie et quelques applications supposées très concrètes, les élastiques  étant essentiellement constitués pour part d’algorithmes de calcul algébrique et de modélisations adaptées à ce type de calculs.

Mots-clés :

Lire la suite

Haut de page

Suivez Inria