Accueil/ recherche

Recherche


Séminaire général du département d'informatique

44 résultat(s) sur le site


> Vous pouvez aussi chercher parmi nos archives

Affiner la recherche


Expression exacte Du
L'un des mots suivants Au
Tous les mots suivants
Ne contenant pas les mots suivants
Exposés (44)  Titre        Date 
photoExpose
New Results at the Crossroads of Convexity, Learning and Information Theory
Sébastien Bubeck
18/05/2016
Conférence de Sébastien Bubeck organisée par le département d’informatique. I will present three new results : (i) the Cramer transform of the uniform measure on a convex body is a universal self-concordant barrier ; (ii) projected gradient descent ...
Catégories : Séminaire général du département d'informatique
Mots-clefs: mathématiques, probabilité, statistique, algorithme, théorème de Bayes, machine learning, jeu du bandit, ...
photoExpose
Chiffrer mieux pour (dé)chiffrer plus
Anne Canteaut
13/04/2016
Conférence de Anne Canteaut organisée par le département d’informatique. Les algorithmes de chiffrement, qui visent à protéger la confidentialité des données, se répartissent en deux grandes familles : les algorithmes symétriques, ou à clef secrète...
Catégories : Séminaire général du département d'informatique
Mots-clefs: sécurité, Code, cryptographie, algorithme, chiffrement à clef
photoExpose
Chiffrer mieux pour (dé)chiffrer plus
Anne Canteaut
13/04/2016
Conférence de Anne Canteaut organisée par le département d’informatique. Les algorithmes de chiffrement, qui visent à protéger la confidentialité des données, se répartissent en deux grandes familles : les algorithmes symétriques, ou à clef secrète...
Catégories : Séminaire général du département d'informatique
Mots-clefs: sécurité, Code, cryptographie, algorithme, chiffrement à clef
photoExpose
Analyse de pire temps d'exécution et programmation synchrone
Pascal Raymond
16/03/2016
Conférence de Pascal Raymond organisée par le département d’informatique. Les systèmes embarqués sont des dispositifs informatisés dédiés à une tâche spécifique, typiquement le contrôle/commande d’un processus physique. On en trouve dans le domaine ...
Catégories : Séminaire général du département d'informatique
Mots-clefs: Langage, logiciel, modélisation, programmation, programmation synchrone, code séquentiel, système embarqué
photoExpose
Analyse de pire temps d'exécution et programmation synchrone
Pascal Raymond
16/03/2016
Conférence de Pascal Raymond organisée par le département d’informatique. Les systèmes embarqués sont des dispositifs informatisés dédiés à une tâche spécifique, typiquement le contrôle/commande d’un processus physique. On en trouve dans le domaine ...
Catégories : Séminaire général du département d'informatique
Mots-clefs: Langage, logiciel, modélisation, programmation, programmation synchrone, code séquentiel, système embarqué
photoExpose
Co-Adaptive Instruments. Can we reinvent the graphical user interface ?
Wendy Mackay
02/03/2016
Conférence de Wendy E. Mackay organisée par le département d’informatique. My research, in the field of Human-Computer Interaction, has the not-very-modest goal of reinventing how users interact with computers in general, and more specifically, the ...
Catégories : Séminaire général du département d'informatique
Mots-clefs: humain, logiciel, Nouvelles technologies, graphisme, interaction, programmation, interface, ordinateur, innovation, ...
photoExpose
Co-Adaptive Instruments. Can we reinvent the graphical user interface ?
Wendy Mackay
02/03/2016
Conférence de Wendy E. Mackay organisée par le département d’informatique. My research, in the field of Human-Computer Interaction, has the not-very-modest goal of reinventing how users interact with computers in general, and more specifically, the ...
Catégories : Séminaire général du département d'informatique
Mots-clefs: humain, logiciel, Nouvelles technologies, graphisme, interaction, programmation, interface, ordinateur, innovation, ...
photoExpose
Scade 6: conception d'un langage de programmation synchrone
Bruno Pagano
13/01/2016
Conférence de Bruno Pagano organisée par le département d’informatique. Scade 6: Conception d'un langage de programmation synchrone et réalisation de son compilateur pour les systèmes embarqués critiques Dans le contexte des systèmes embarqués crit...
Catégories : Séminaire général du département d'informatique
Mots-clefs: Langage, logiciel, modélisation, programmation, langages de programmation synchrones
photoExpose
Le patient numérique personnalisé
Nicholas Ayache
25/11/2015
Conférence de Nicholas Ayache (INRIA), organisée par le département d’informatique Le patient numérique personnalisé : images, informatique, médecineLe patient numérique personnalisé est un ensemble de données numériques et d’algorithmes permettant ...
Catégories : Séminaire général du département d'informatique
Mots-clefs: Médecine, Imagerie médicale, recherche scientifique, neuroimagerie, Nouvelles technologies, informatique, scanner, ...
photoExpose
Réduction de modèles de voies de signalisation intracellulaire
Jérôme Feret
14/10/2015
Conférence de Jérôme Feret organisée par le département d'informatique. Les voies de signalisation intracellulaire sont des cascades d'interaction entre protéines, qui permettent à la cellule de recevoir des signaux, de les propager jusqu'à son noya...
Catégories : Séminaire général du département d'informatique
Mots-clefs: cellule, protéine, interdisciplinarité, complexité combinatoire
photoExpose
Manipuler les réseaux euclidiens
Damien Sthelé
30/09/2015
Conférence de Damien Stehlé organisée par le département d'informatique. Un réseau est l’ensemble des combinaisons linéaires entières de vecteurs linéairement indépendants. Visuellement, le réseau forme une grille infinie de points régulièrement esp...
Catégories : Séminaire général du département d'informatique
Mots-clefs: mathématiques, cryptographie, algorithme, cryptologie, Arithmétique, réseau euclidien, géométrie des nombres
photoExpose
Structured Parallel Programming Primitives and their use in Compilers
Vivek Sarkar
26/06/2015
Conférence de Vivek Sarkar organisée par le département d'informatique. In this talk, we claim that structured parallel programming greatly simplifies the task of writing correct and efficient parallel programs, while also capturing the flexibility ...
Catégories : Séminaire général du département d'informatique
Mots-clefs: recherche scientifique, logiciel, internet, web, information, intelligence, Big Data, réseau, ordinateur
photoExpose
Cognitive Computing
Jérôme Pesenti
27/05/2015
Conférence de Jérôme Pesenti organisée par le département d'informatique. Between IBM Watson's victory against Ken Jennings at Jeopardy, Google and Facebook's introduction of deep learning algorithms for speech and vision recognition in their consum...
Catégories : Séminaire général du département d'informatique
Mots-clefs: recherche scientifique, apprentissage, Nouvelles technologies, sciences cognitives, internet, web, information, ...
photoExpose
Cognitive Computing
Jérôme Pesenti
27/05/2015
Conférence de Jérôme Pesenti organisée par le département d'informatique. Between IBM Watson's victory against Ken Jennings at Jeopardy, Google and Facebook's introduction of deep learning algorithms for speech and vision recognition in their consum...
Catégories : Séminaire général du département d'informatique
Mots-clefs: recherche scientifique, apprentissage, Nouvelles technologies, sciences cognitives, internet, web, information, ...
photoExpose
Vers les nouvelles bases de données personnelles
Serge Abiteboul
13/05/2015
Conférence de Serge Abiteboul organisée par le département d'informatique. A Web user today has his/her data and information distributed in a number of services that operate in silos. Computer wizards already know how to control their persona...
Catégories : Séminaire général du département d'informatique
Mots-clefs: danger, base de données, échange, Nouvelles technologies, vie privée, conséquence, internet, web, information, intelligence, ...
photoExpose
From spanners to distance oracles and compact routing
Laurent Viennot
01/04/2015
Conférence de Laurent Viennot organisée par le département d'informatique. Exposé donné en français. A classical area of research is devoted to compact data-structures in networks. Among all, the most prominent algorithmic problem of networks consi...
Catégories : Séminaire général du département d'informatique
Mots-clefs: internet, information, algorithme, réseau, ordinateur, routage
photoExpose
From spanners to distance oracles and compact routing
Laurent Viennot
01/04/2015
Conférence de Laurent Viennot organisée par le département d'informatique. Exposé donné en français. A classical area of research is devoted to compact data-structures in networks. Among all, the most prominent algorithmic problem of networks consi...
Catégories : Séminaire général du département d'informatique
Mots-clefs: internet, information, algorithme, réseau, ordinateur, routage
photoExpose
Three discrete geometric structures and their applications
Nabil Mustafa
04/03/2015
Conférence de Nabil Mustafa organisée par le département d'informatique. Since the beginning of systematic research on geometric computing almost forty years ago, there has been a very fruitful interplay between the mathematical study of discrete ge...
Catégories : Séminaire général du département d'informatique
Mots-clefs: géométrie, algorithme
photoExpose
Social Networks : a research vision and some results
Peter Marbach
14/01/2015
Conférence de Peter Marbach organisée par le département d'informatique. Social network are very natural and familiar to us. Everyday, we use our social networks to interact with friends, co-workers, or members of our community. We use social networ...
Catégories : Séminaire général du département d'informatique
Mots-clefs: mathématiques, communauté, réseau social, algorithme, ordinateur
photoExpose
Approximations for stochastic graph rewriting
Vincent Danos
19/11/2014
Conférence de Vincent Danos organisée par le département d'informatique. We present a method to compute approximate descriptions of a class of stochastic systems. For the method to apply, the system must be presented as a Markov chain on a state sp...
Catégories : Séminaire général du département d'informatique
Mots-clefs: écriture, analyse, informatique, statistique, équation
photoExpose
Approximations for stochastic graph rewriting
Vincent Danos
19/11/2014
Conférence de Vincent Danos organisée par le département d'informatique. We present a method to compute approximate descriptions of a class of stochastic systems. For the method to apply, the system must be presented as a Markov chain on a state sp...
Catégories : Séminaire général du département d'informatique
Mots-clefs: écriture, analyse, informatique, statistique, équation
photoExpose
Rendre la virgule flottante plus rigoureuse
Jean-Michel Muller
01/10/2014
Conférence de Jean-Michel Muller organisée par le département d'informatique. L’arithmétique virgule flottante est de loin le moyen le plus utilisé pour représenter des nombres réels sur ordinateur. Elle souffre cependant d’une mauvaise réputation...
Catégories : Séminaire général du département d'informatique
Mots-clefs: logiciel, programmation, ordinateur, Arithmétique, calcul flottant
photoExpose
Définir et mesurer la complexité : la théorie algorithmique de l'information
Jean-Paul Delahaye
22/05/2014
Conférence de Jean-Paul Delahaye organisée par le département d'informatique. La théorie de la calculabilité propose une définition de la complexité des objets numériques : la complexité de Kolmogorov (introduite en 1965). Celle-ci est une mesure d...
Catégories : Séminaire général du département d'informatique
Mots-clefs: mathématiques, information, algorithme, théorie de la complexité, complexité de Kolmogorov
photoExpose
Définir et mesurer la complexité : la théorie algorithmique de l'information
Jean-Paul Delahaye
22/05/2014
Conférence de Jean-Paul Delahaye organisée par le département d'informatique. La théorie de la calculabilité propose une définition de la complexité des objets numériques : la complexité de Kolmogorov (introduite en 1965). Celle-ci est une mesure d...
Catégories : Séminaire général du département d'informatique
Mots-clefs: mathématiques, information, algorithme, théorie de la complexité, complexité de Kolmogorov
photoExpose
Construction à large couverture de la représentation du sens de phrases de langue naturelle
Benoît Crabbé
28/04/2014
Conférence de Benoit Crabbé dans le cadre du séminaire général du département d’informatiqueDans cet exposé, je traiterai le problème de la construction à large couverture du sens de phrases de langues naturelles. Partant de l’hypothèse que la représ...
Catégories : Séminaire général du département d'informatique
Mots-clefs: Langage, linguistique, sémantique, Langage naturel
photoExpose
Construction à large couverture de la représentation du sens de phrases de langue naturelle
Benoît Crabbé
28/04/2014
Conférence de Benoit Crabbé dans le cadre du séminaire général du département d’informatiqueDans cet exposé, je traiterai le problème de la construction à large couverture du sens de phrases de langues naturelles. Partant de l’hypothèse que la représ...
Catégories : Séminaire général du département d'informatique
Mots-clefs: Langage, linguistique, sémantique, Langage naturel
photoExpose
Comment faire confiance à un compilateur ?
Xavier Leroy
13/03/2014
Conférence de Xavier Leroy dans le cadre du Séminaire général du département d’informatique Le logiciel critique - celui dont dépendent des vies humaines - nécessite des techniques de développement et de validation très particulières pour atteindre ...
Catégories : Séminaire général du département d'informatique
Mots-clefs: Langage, logiciel, Code, programmation, analyseur, compilateur
photoExpose
Comment faire confiance à un compilateur ?
Xavier Leroy
13/03/2014
Conférence de Xavier Leroy dans le cadre du Séminaire général du département d’informatique Le logiciel critique - celui dont dépendent des vies humaines - nécessite des techniques de développement et de validation très particulières pour atteindre ...
Catégories : Séminaire général du département d'informatique
Mots-clefs: Langage, logiciel, Code, programmation, analyseur, compilateur
photoExpose
A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking
Julia Lawall
20/02/2014
Conférence de Julia Lawall organisée par le département d'informatique. Coccinelle is a program matching and transformation tool for C code, founded on the notion of a semantic patch, in which matching and transformation specifications are expres...
Catégories : Séminaire général du département d'informatique
Mots-clefs: recherche scientifique, Langage, syntaxe, information, programmation, ordinateur, sémantique, linux, Programme Coccinelle, ...
photoExpose
A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking
Julia Lawall
20/02/2014
Conférence de Julia Lawall organisée par le département d'informatique. Coccinelle is a program matching and transformation tool for C code, founded on the notion of a semantic patch, in which matching and transformation specifications are expres...
Catégories : Séminaire général du département d'informatique
Mots-clefs: recherche scientifique, Langage, syntaxe, information, programmation, ordinateur, sémantique, linux, Programme Coccinelle, ...
photoExpose
De la convexité tropicale aux jeux répétés
Stéphane Gaubert
30/01/2014
Conférence de Stéphane Gaubert dans le cadre du séminaire général d'informatique. Une question aussi ancienne que la programmation linéaire consiste à trouver une règle de pivotage pour l'algorithme du simplexe conduisant à un nombre polynomial d'o...
Catégories : Séminaire général du département d'informatique
Mots-clefs: algèbre, programmation, algorithme, polynomial
photoExpose
De la convexité tropicale aux jeux répétés
Stéphane Gaubert
30/01/2014
Conférence de Stéphane Gaubert dans le cadre du séminaire général d'informatique. Une question aussi ancienne que la programmation linéaire consiste à trouver une règle de pivotage pour l'algorithme du simplexe conduisant à un nombre polynomial d'o...
Catégories : Séminaire général du département d'informatique
Mots-clefs: algèbre, programmation, algorithme, polynomial
photoExpose
Untangling knots using combinatorial optimisation
Benjamin Burton
05/12/2013
Conférence de Benjamin Burton Unknot recognition is the algorithmic problem of determining whether a knot (i.e., a closed loop) in 3-dimensional space can be untangled. It is a major unsolved question as to whether this problem has a polynomial tim...
Catégories : Séminaire général du département d'informatique
Mots-clefs: mathématiques, diagramme, algorithme
photoExpose
Exponential Mechanism for Social Welfare - Private, Truthful, and Nearly Optimal
Sampath Kannan
06/06/2013
Conférence de Sampath Kannan organisée par le département d'informatique. Mechanism design is the problem of computing an optimal allocation of resources under criteria such as social welfare or revenue. The problem is more challenging than algorith...
Catégories : Séminaire général du département d'informatique
Mots-clefs: mécanique, mesure, algorithme, fonction exponentielle, mesure de Gibbs
photoExpose
Exponential Mechanism for Social Welfare - Private, Truthful, and Nearly Optimal
Sampath Kannan
06/06/2013
Conférence de Sampath Kannan organisée par le département d'informatique. Mechanism design is the problem of computing an optimal allocation of resources under criteria such as social welfare or revenue. The problem is more challenging than algorith...
Catégories : Séminaire général du département d'informatique
Mots-clefs: mécanique, mesure, algorithme, fonction exponentielle, mesure de Gibbs
photoExpose
Une théorie de l'information mentale
Claude Berrou
16/04/2013
Conférence organisée par le département d'informatique. 9 fois 8 : 72, notre numéro de sécurité sociale, les prénoms de nos amis, voilà ce qu’on peut appeler de la « pure information mentale », rangée « quelque part » dans notre cerveau pour être ex...
Catégories : Séminaire général du département d'informatique
Mots-clefs: Mémoire, Neurosciences, communication, cerveau, Code, cortex, information
photoExpose
Logarithmes discrets dans les corps finis. Application en caractéristique moyenne
Antoine Joux
26/03/2013
Cet exposé d'Antoine Joux dans le cadre du séminaire général du département informatique commence par une introduction aux algorithmes génériques de calcul de logarithmes discrets. Ensuite, il explique les algorithmes de calcul d'index dans le c...
Catégories : Séminaire général du département d'informatique
Mots-clefs: données chiffrées, Code, cryptographie, confidentialité, algorithme, logarithme
photoExpose
Composer le temps
Gérard Berry
04/12/2012
Conférence de Gérard Berry pour une analyse du traitement du temps et des événements en informatique. En informatique classique, le temps est souvent vu à travers le seul prisme du temps de calcul, et rarement vu comme un objet dont la programmatio...
Catégories : Séminaire général du département d'informatique
Mots-clefs: musique, Langage, temps, progrès, base de données, mesure, informatique, web, événementialité, gestion, programmation, ...
photoExpose
Composer le temps
Gérard Berry
04/12/2012
Conférence de Gérard Berry pour une analyse du traitement du temps et des événements en informatique. En informatique classique, le temps est souvent vu à travers le seul prisme du temps de calcul, et rarement vu comme un objet dont la programmatio...
Catégories : Séminaire général du département d'informatique
Mots-clefs: musique, Langage, temps, progrès, base de données, mesure, informatique, web, événementialité, gestion, programmation, ...
photoExpose
Approximation Bounds for Sparse Principal Component Analysis
Alexandre D'Aspremont
16/10/2012
Cette conférence, organisée par le département d'informatique et menée par Alexandre d'Aspremont, chargé de recherches à l'Ecole Polytechnique. We produce approximation bounds on a semidefinite programming relaxation for sparse principal component a...
Catégories : Séminaire général du département d'informatique
Mots-clefs: statistique, Principal component analysis, signal
photoExpose
Approximation Bounds for Sparse Principal Component Analysis
Alexandre D'Aspremont
16/10/2012
Cette conférence, organisée par le département d'informatique et menée par Alexandre d'Aspremont, chargé de recherches à l'Ecole Polytechnique. We produce approximation bounds on a semidefinite programming relaxation for sparse principal component a...
Catégories : Séminaire général du département d'informatique
Mots-clefs: statistique, Principal component analysis, signal
photoExpose
Diviser-pour-Régner & Inférence Statistique pour Big Data
Michael I. Jordan
02/10/2012
Michael I. Jordan vous présente ici quelques résultats récents dans le domaine d'inférence pour "Big Data". Diviser-pour-régner est un outil essentiel du point de vue computationel pour aborder des problèmes de traitement de données à grande échell...
Catégories : Séminaire général du département d'informatique
Mots-clefs: informatique, statistique, Big Data
photoExpose
Diviser-pour-Régner & Inférence Statistique pour Big Data
Michael I. Jordan
02/10/2012
Michael I. Jordan vous présente ici quelques résultats récents dans le domaine d'inférence pour "Big Data". Diviser-pour-régner est un outil essentiel du point de vue computationel pour aborder des problèmes de traitement de données à grande échell...
Catégories : Séminaire général du département d'informatique
Mots-clefs: informatique, statistique, Big Data
photoExpose
Recent Progress in Leakage-Resilient Cryptography
Yevgeniy Dodis
06/06/2012
Exposé de Yevgeniy Dodis sur les avancées de la cryptographie. I will survey selected recent advances in the field of Leakage-Resilient Cryptography. This booming area is concerned with the design of cryptographic primitives resistant to arbitrary s...
Catégories : Séminaire général du département d'informatique
Mots-clefs: sécurité, Code, informatique, cryptographie, confidentialité, identification, clé