Accueil/ recherche

Recherche


Informatique

82 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 (82)  Titre        Date 
photoExpose
Generative modelling with diffusion : theory and practice
Valentin De Bortoli
25/05/2023
« Generative modelling with diffusion : theory and practice » Generative modelling with diffusion: theory and practice Generative modeling is the task of drawing new samples from an underlying distribution known only via an empirical measure. Th...
Catégories : Data Science Colloquium
Mots-clefs: modélisation, machine learning, intelligence artificielle
photoExpose
Apprentissage machine et protéines, du repliement à la conception
Rémi Monasson
11/05/2023
« Apprentissage machine et protéines, du repliement à la conception »  Un exposé donné par Rémi Monasson directeur de Recherche CNRS au Laboratoire de Physique Théorique de l'ENS, lors du colloque Science et Progrès 2023 - Intelligence artificielle...
Catégories : Science et Progrès 2023
Mots-clefs: Biologie, modélisation, protéine, intelligence artificielle, apprentissage machine
photoExpose
Intelligence artificielle et Défense
Gérard De Boisboissel
11/05/2023
« Intelligence artificielle et Défense »  Un exposé donné par Gérard de Boisboissel, ingénieur de recherche au CREC Saint-Cyr, lors du colloque Science et Progrès 2023 - Intelligence artificielle : de la recherche aux applications. L’Intelligence a...
Catégories : Science et Progrès 2023
Mots-clefs: armée, Défense, algorithme, militaire, intelligence artificielle, outil numérique
photoExpose
La recherche en France sur l'intelligence artificielle
Michèle Sebag
11/05/2023
« La recherche en France sur l’intelligence artificielle » Un exposé donné par Michèle Sebag, spécialisée en intelligence artificielle et en fouille de données (LISN), membre de l’Académie des technologies, en ouverture du colloque Science et Progrè...
Catégories : Science et Progrès 2023
Mots-clefs: recherche scientifique, bilan, France, Compréhension, prédiction, machine learning, futur, intelligence artificielle, ...
photoExpose
Modèles génératifs pour l'inférence et la physique statistique
Marylou Gabrié
11/05/2023
« Modèles génératifs pour l’inférence et la physique statistique »  Un exposé donné par Marylou Gabrié (Ecole Polytechnique), lors du colloque Science et Progrès 2023 - Intelligence artificielle : de la recherche aux applications. L’Intelligence ar...
Catégories : Science et Progrès 2023
Mots-clefs: mathématiques, algorithme, physique statistique, intelligence artificielle
photoExpose
Quantum machine learning
Jonas Landman
11/05/2023
« A Quantum machine learning »  Un exposé donné par Jonas Landman (IRIF - Université Paris Diderot), lors du colloque Science et Progrès 2023 - Intelligence artificielle : de la recherche aux applications. L’Intelligence artificielle (IA) est en tr...
Catégories : Science et Progrès 2023
Mots-clefs: machine learning, intelligence artificielle
photoExpose
Une introduction aux mathématiques des réseaux de neurones
Gabriel Peyré
11/05/2023
« Une introduction aux mathématiques des réseaux de neurones » Un exposé donné par Gabriel Peyré, directeur de recherches au département de mathématiques de l'École normale supérieure lors du colloque Science et Progrès 2023 - Intelligence artificie...
Catégories : Science et Progrès 2023
Mots-clefs: mathématiques, réseau neuronal, machine learning, intelligence artificielle, optimisation
photoExpose
Recognition and Clustering of Ancient Coins
Katherine Gruel, Sofiane Horache
06/12/2022
Clustering coins according to their die is a problem that has many applications in numismatics. This clustering is crucial for understanding the economic history of tribes (especially for tribes for whom few written records exist, such as the Celts)...
Catégories : Séminaire Digital Humanities / Artificial Intelligence
Mots-clefs: antiquité, celte, monnaie, Archéologie, image 3D, deep learning, intelligence artificielle, Humanités numériques, ...
photoExpose
Affairs of Styles: Working with AI to Solve Mysterious Attributions
Florian Cafiero, Jean-Baptiste Camps
04/10/2022
Who wrote the Bible ? Did Shakespeare or Molière author their plays ? Who hides behind the pseudonym Elena Ferrante ? And can we identify a unique fingerprint in the writings of an individual, something critics call 'literary style' and linguists 'id...
Catégories : Séminaire Digital Humanities / Artificial Intelligence
Mots-clefs: Littérature, linguistique, écriture, découverte scientifique, Oeuvre, Ecrivain, analyse, Nouvelles technologies, auteur, ...
photoExpose
Analysing discourse and semantics through geometrical representations
Armin Pournaki
01/02/2022
Exposé de Armin POURNAKI (Max Planck Institute for Mathematics in the Sciences, Leipzig) dans le cadre du Séminaire Digital Humanities / Artificial Intelligence (DHAI). I will present some results from my ongoing PhD research, where I use mathematic...
Catégories : Séminaire Digital Humanities / Artificial Intelligence
Mots-clefs: Changement climatique, algorithme, machine learning, Humanités numériques, apprentissage automatique
photoExpose
The Visual Apparatus of the Sphaera Corpus
Matteo Valleriani, Jochen Büttner, Noga Shlomi, Hassan El Hajj
07/12/2021
Table ronde dans le cadre du Séminaire Digital Humanities / Artificial Intelligence (DHAI). The Sphaera Corpus comprises 359 editions of early modern textbooks on geocentric cosmology. In our presentation we will focus on the visual apparatus of the...
Catégories : Séminaire Digital Humanities / Artificial Intelligence
Mots-clefs: Astronomie, diagramme, algorithme, Humanités numériques, apprentissage automatique
photoExpose
Embedded stories and narrative levels : a challenge for computational narrative
Pablo Gervas
08/06/2021
Exposé de Pablo Gervas (Universidad Complutense de Madrid)) dans le cadre du Séminaire Digital Humanities / Artificial Intelligence (DHAI). Stories told by a character within a story are known as embedded stories. They occur frequently in narrati...
Catégories : Séminaire Digital Humanities / Artificial Intelligence
Mots-clefs: Histoire, Langage, poésie, narration, récit, construction, intelligence artificielle, outil numérique, ...
photoExpose
Gallicagram, un nouvel outil de lexicographie : le big data sans ses gros sabots ?
Benjamin Azoulay, Benoît De Courson
11/05/2021
Exposés de Benoît de Courson (ENS PSL) et Benjamin Azoulay (ENS Paris-Saclay) dans le cadre du Séminaire Digital Humanities / Artificial Intelligence (DHAI). Avec son outil Ngram Viewer, l'entreprise Google pensait en 2010 fonder une nouvelle sci...
Catégories : Séminaire Digital Humanities / Artificial Intelligence
Mots-clefs: logiciel, web, corpus, presse écrite, lexicographie, outil numérique
photoExpose
Outillage de présentation des travaux en humanités numériques
Hugo Du Plessix
11/05/2021
Présentation du projet artistique u2p050 dans le cadre du Séminaire Digital Humanities / Artificial Intelligence (DHAI) avec Hugo du Plessix et Félix-Giovanni Zapata Galéano. Outillage de présentation des travaux en humanités numériques : pour un...
Catégories : Séminaire Digital Humanities / Artificial Intelligence
Mots-clefs: Art, expérimentation, logiciel, web, outil numérique
photoExpose
Extraction et mise en correspondances automatiques d'images
Tom Monnier, Mathieu Aubry
16/03/2021
Exposé de Tom Monnier et Mathieu Aubry (Imagine, LIGM, École des Ponts ParisTech) dans le cadre du Séminaire Digital Humanities / Artificial Intelligence (DHAI). Nous présenterons les principaux défis qu'il faudrait surmonter pour pouvoir identif...
Catégories : Séminaire Digital Humanities / Artificial Intelligence
Mots-clefs: Image, algorithme, intelligence artificielle, Humanités numériques, apprentissage automatique
photoExpose
L'IA et la manufacture des planches au XVIIIe siècle
Alexandre Guilbaud
16/03/2021
Exposé de Alexandre Guilbaud (Sorbonne Université, Institut de mathématiques de Jussieu - Paris Rive Gauche, Institut des sciences du calcul et des données) dans le cadre du Séminaire Digital Humanities / Artificial Intelligence (DHAI). Nombre d...
Catégories : Séminaire Digital Humanities / Artificial Intelligence
Mots-clefs: Image, archives, Oeuvre, iconographie, manuscrit, dessin, illustration, Diderot, encyclopédie, intelligence artificielle, ...
photoExpose
Sampling and Solving Linear Inverse Problems Using the Prior Implicit in a Denoiser
Eero Simoncelli
14/01/2021
Exposé de Eero Simoncelli (New York University), dans le cadre du Séminaire Digital Humanities / Artificial Intelligence (DHAI). Prior probability models are a central component of many image processing problems, but density estimation is a notorio...
Catégories : Séminaire Digital Humanities / Artificial Intelligence
Mots-clefs: Image, réseau neuronal, probabilité, informatique, algorithme, signal, bruit, intelligence artificielle, ...
photoExpose
Alignement et comparaison de textes pour les humanités numériques
Philippe Gambette
24/11/2020
Exposé de Philippe Gambette (Université Paris-Est Marne-la-Vallée) dans le cadre du Séminaire Digital Humanities / Artificial Intelligence (DHAI). Cet exposé proposera plusieurs approches algorithmiques basées sur des algorithmes d'alignement ou d...
Catégories : Séminaire Digital Humanities / Artificial Intelligence
Mots-clefs: informatique, corpus, algorithme, traitement, Humanités numériques
photoExpose
Prototype-based classifiers and relevance learning
Michael Biehl
27/02/2020
Exposé de Michael Biehl (University of Groningen) dans le cadre du Data Science Colloqiuum de l'ENS.  This talk briefly reviews important aspects of prototype based systems in the context of supervised learning. A key issue is the choice of an appr...
Catégories : Data Science Colloquium
Mots-clefs: Médecine, image 3D, machine learning, intelligence artificielle
photoExpose
Optimization's Hidden Gift to Learning: Implicit Regularization
Nathan Srebro
01/10/2019
Exposé de Nathan Srebro dans le cadre du Data Science Colloqiuum de l'ENS.  It is becoming increasingly clear that implicit regularization afforded by the optimization algorithms play a central role in machine learning, and especially so whe...
Catégories : Data Science Colloquium
Mots-clefs: mathématiques, algorithme, machine learning
photoExpose
Towards developmental AI
Emmanuel Dupoux
17/10/2018
Conférence d'Emmanuel Dupoux lors du Data Science Colloquium de l'ENS. Even though current machine learning techniques yield systems that achieve parity with humans on several high level tasks, the learning algorithms themselves are orders of magni...
Catégories : Data Science Colloquium
Mots-clefs: Langage, enfant, apprentissage, sciences cognitives, algorithme, machine learning, intelligence artificielle, ...
photoExpose
Learning Graph Inverse Problems with Neural Networks
Joan Bruna
12/06/2018
Conférence de Joan Bruna lors du Data Science Colloquium de l'ENS. Graph Neural Networks, a natural extension of Convolutional Neural Networks on graphs. I will present recent work on supervised community detection, quadratic assignment, neutrino d...
Catégories : Data Science Colloquium
Mots-clefs: mathématiques, algorithme, signal, ordinateur, machine learning, apprentissage automatique
photoExpose
Machine learning in scientific workflows
Balàzs Kégl
15/05/2018
Conférence de Balázs Kégl (Université Paris Saclay) dans le cadre du Data Science Colloqium, série de conférences de la Chaire CFM-­ENS "Modèles et Sciences des Données". I will describe our contributions to scientific ML workflow building and op...
Catégories : Data Science Colloquium
Mots-clefs: base de données, prévision, machine learning, intelligence artificielle, Open data, apprentissage automatique
photoExpose
Brain-computer interfaces: two concurrent learning problems
Maureen Clerc
06/02/2018
Conférence de Maureen Clerc lors du Data Science Colloquium de l'ENS. Brain-Computer Interfaces (BCI) are systems which provide real-time interaction through brain activity, bypassing traditional interfaces such as keyboard or mouse. A target appli...
Catégories : Data Science Colloquium
Mots-clefs: mathématiques, Neurosciences, cerveau, modélisation, interaction, signal, interface, ordinateur, machine learning, ...
photoExpose
Searching for interaction networks in proteins
Rémi Monasson
14/11/2017
Conférence de Rémi Monasson lors du colloquium Data Science Colloquium of the ENS   Searching for interaction networks in proteins: from statistical physics to machine learning, and back. Over the last century, statistical physics was extremely su...
Catégories : Data Science Colloquium
Mots-clefs: Biologie, physique, protéine, interaction, Big Data, machine learning, intelligence artificielle
photoExpose
Métier data scientist
Serge Abiteboul
05/10/2017
Conférence de Serge Abiteboul (INRIA-ENS) lors de l'Atelier Digit_Hum 2017: La data science (la « science des données ») et ses liens avec le Big Data (parfois traduit par la « datamasse ») ont été beaucoup discutés. Le terme « data scientist » e...
Catégories : Atelier Digit_Hum
Mots-clefs: pédagogie, base de données, formation, Nouvelles technologies, informatique, Big Data, Humanités numériques, Open data, ...
photoExpose
Beyond stochastic gradient descent for large-scale machine learning
Francis Bach
07/03/2017
Conférence de Francis Bach lors du colloquium Data Science Colloquium of the ENS This colloquium is organized around data sciences in a broad sense, with the goal of bringing together researchers with diverse backgrounds (including mathematics, ...
Catégories : Data Science Colloquium
Mots-clefs: Stochastique, Big Data, machine learning, intelligence artificielle
photoExpose
La science au service de l'enquête judiciaire
David Naccache
20/09/2016
Exposé de David Naccache dans le cadre des "Grands exposés scientifiques"  donnés lors des Conférences de rentrée 2016 à l'ENS. "La science au service de l'enquête judiciaire : comment les mathématiques, l'informatique et les statistiques contribuen...
Mots-clefs: mathématiques, base de données, statistique, crime, algorithme, interdisciplinarité, sciences sociales, preuve, collaboration, criminalité, enquête judiciaire, reconstitution, police judiciaire, infraction, fraude
photoExpose
Algebraic Distinguishers against Symmetric Primitives
Anne Canteaut
30/06/2016
Exposé de Anne Canteaut lors du colloque Paris Crypto Day organisé par le département informatique de l'ENS. Higher-order differential attacks, introduced by Knudsen in 1994, are the first family of attacks against block ciphers which exploit some s...
Catégories : Paris Crypto Day
Mots-clefs: algèbre, sécurité, cryptographie, clé, système informatique
photoExpose
Analysis of the Blockchain Protocol in Asynchronous Networks
Rafael Pass
30/06/2016
Exposé de Rafael Pass lors du colloque Paris Crypto Day organisé par le département informatique de l'ENS. Nakamoto’s famous blockchain protocol enables achieving consensus in a so-called permissionless setting—anyone can join (or leave) the protoco...
Catégories : Paris Crypto Day
Mots-clefs: base de données, sécurité, Nouvelles technologies, cryptographie, système informatique, blockchain
photoExpose
Hash Proof Systems, Old and New
Victor Shoup
30/06/2016
Exposé de Victor Shoup lors du colloque Paris Crypto Day organisé par le département informatique de l'ENS. This talk will be an exposition on hash proof systems and their applications. I will review the basic definitions, constructions, and applica...
Catégories : Paris Crypto Day
Mots-clefs: sécurité, Code, cryptographie, clé, algorithme, secret, preuve, cybersécurité, chiffrement à clef, système informatique
photoExpose
On Memory Hardness of SCrypt
Leonid Reyzin
30/06/2016
Exposé de Leonid Reyzin lors du colloque Paris Crypto Day organisé par le département informatique de l'ENS. The key derivation function scrypt (Percival, 2009) is defined as the result of n steps, where each step consists of selecting one or two p...
Catégories : Paris Crypto Day
Mots-clefs: sécurité, Code, cryptographie, cryptage, clé, système informatique
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
Is machine learning a good model of human learning?
Yann LeCun
05/04/2016
Conférence de Yann LeCun , titulaire de la Chaire du collège de France, Informatique et sciences numériques (2015-2016) et directeur du centre de recherches de Facebook sur l’intelligence artificielle, discipline qui vise à concevoir des machines do...
Catégories : Colloquium du DEC
Mots-clefs: Neurosciences, recherche scientifique, apprentissage, humain, homme, inné, acquis, internet, intelligence, ordinateur, ...
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
Les Futurs de l'intelligence artificielle
Yann LeCun, Jean Ponce, Alexandre Cadain
10/03/2016
Conférence inaugurale du Cycle ENS Postdigital 2016-2017, un cycle du département Histoire et Théorie des Arts de l'ENS, sur les mondes numériques de l’art contemporain. Avec les interventions d'Alexandre Cadain, Jean Ponce et Yann Le Cun L’accélér...
Catégories : Séminaire de recherche Postdigital
Mots-clefs: Art, Cinéma, recherche scientifique, progrès, fiction, Nouvelles technologies, informatique, univers, vision, imaginaire, ...
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
Life is strange - Game design, narration et représentation
Raoul Barbet, Michel Koch, Alexis Blanchet
02/02/2016
Table ronde organisée lors du  Séminaire d'élève de l'ENS consacré au Jeu vidéo: InGame : Enjeux du Game design Pour sa sixième séance, InGame ENS revient avec une affiche exceptionnelle : Raoul Barbet et Michel Koch, game directors sont venus parle...
Catégories : InGame : Enjeux du Game design
Mots-clefs: Jeunesse, Cinéma, réalisateur, fiction, personnage, héros, narration, influence, vidéo, game designer, game design, joueur, ...
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
MOOC - Approximation Algorithms
Claire Mathieu
01/12/2015
How efficiently can you pack objects into a minimum number of boxes? How well can you cluster nodes so as to cheaply separate a network into components around a few centers? These are examples of NP-hard combinatorial optimizatio...
Mots-clefs: numérique, programmation, algorithme, Mooc
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
Learning multiscale invariants from big data for physics
Stéphane Mallat
19/11/2015
Conférence de Stéphane Mallat organisée par le département de Physique. Machine learning requires to find low-dimensional models governing the properties of high dimensional functionals. This could almost be called physics. Algorithms have considera...
Catégories : Colloquium / Séminaire général du département de physique
Mots-clefs: mathématiques, physique, informatique, Big Data
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
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
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
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
Fisher
Gérard Berry
30/09/2014
Extrait de la conférence de Gérard Berry sur une analyse du traitement du temps et des événements en informatique. Gérard Berry est médaille d'or du CNRS 2014. Titulaire de la première chaire du Collège de France consacrée à l’informatique, directeu...
Catégories : Quelques minutes avec...
Mots-clefs: Aucun mot clef.
photoExpose
La malédiction de l'analyse de données massives
Stéphane Mallat
06/06/2014
Lors de la Nuit des Sciences à l'ENS, le 6 juin 2014, Stéphane Mallat présente un exposé sur les enjeux mathématiques dans la masse de données qui nous entoure. La malédiction de l'analyse de données massivesL'histoire dit qu'une explosion combinato...
Catégories : Nuit des Sciences: Ébullitions
Mots-clefs: Mémoire, Analyse dimensionnelle, analyse, internet, web, donné, information, algorithme, Big Data, datamasse
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
Le Bitcoin : quand la cryptographie réinvente la monnaie
Jean-Paul Delahaye
20/05/2014
Conférence de Jean-Paul Delahaye, dans le cadre des "Ernest", cycle de conférences à l'Ecole normale supérieure. Comment créer à partir de rien une entité atteignant une capitalisation de 6 milliards d’euros ? Le Bitcoin vous répondra Jean-Paul Del...
Catégories : Les Ernest, Savoirs+
Mots-clefs: économie, marché financier, système financier, monnaie, cryptographie, Bitcoin
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
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
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
L'écriture dans l'histoire longue
Clarisse Herrenschmidt
15/11/2013
Conférence de Clarisse Herrenschmidt dans le cadre du colloque interdisciplinaire "Réseaux, Savoirs & Territoires" dont le sous-titre est "Écrire les sciences aujourd’hui", explore la façon dont, avec l’internet, les objets, pratiques et métier...
Catégories : Écrire les sciences aujourd'hui
Mots-clefs: économie, mathématiques, Langage, écriture, monnaie, invention, langue, alphabet, numérique, internet
photoExpose
La société recommandée : l'algorithmique des opinions
David Chavalarias
15/11/2013
Conférence de David Chavalarias sur les réseaux sociaux dans le cadre du colloque interdisciplinaire "Réseaux, Savoirs & Territoires" dont le sous-titre est "Écrire les sciences aujourd’hui", explore la façon dont, avec l’internet, les objets, ...
Catégories : Écrire les sciences aujourd'hui
Mots-clefs: Sociologie, société, média, culture, opinion, relation, comportement, Nouvelles technologies, numérique, réseau social, web, ...
photoExpose
Les espaces numériques et leurs imaginations géographiques
Henri Desbois
15/11/2013
Conférence de Henri Desbois dans le cadre du colloque interdisciplinaire "Réseaux, Savoirs & Territoires" dont le sous-titre est "Écrire les sciences aujourd’hui", explore la façon dont, avec l’internet, les objets, pratiques et métiers de la recherc...
Catégories : Écrire les sciences aujourd'hui
Mots-clefs: géographie, espace, numérique, internet
photoExpose
Les nouvelles compétences de l'historien
Philippe Rygiel
15/11/2013
Conférence de Philippe Rygiel dans le cadre du colloque interdisciplinaire "Réseaux, Savoirs & Territoires" dont le sous-titre est "Écrire les sciences aujourd’hui", explore la façon dont, avec l’internet, les objets, pratiques et métiers de l...
Catégories : Écrire les sciences aujourd'hui
Mots-clefs: Langage, informatique
photoExpose
Lire les mutations des SHS
Eric Guichard
15/11/2013
Conférence de Eric Guichard dans le cadre du colloque interdisciplinaire "Réseaux, Savoirs & Territoires" dont le sous-titre est "Écrire les sciences aujourd’hui", explore la façon dont, avec l’internet, les objets, pratiques et métiers de la recherc...
Catégories : Écrire les sciences aujourd'hui
Mots-clefs: Sociologie, écriture, enseignement, logiciel, éducation, numérique, internet, interdisciplinarité, sciences humaines, ...
photoExpose
De l'écriture des mathématiques en tant que technique de l'intellect
Jean Dhombres
14/11/2013
Conférence de Jean Dhombres dans le cadre du colloque interdisciplinaire "Réseaux, Savoirs & Territoires" dont le sous-titre est "Écrire les sciences aujourd’hui", explore la façon dont, avec l’internet, les objets, pratiques et métiers de la recherc...
Catégories : Écrire les sciences aujourd'hui
Mots-clefs: linguistique, équation, numérique, histoire des mathématiques, analogie
photoExpose
Les informaticiens et l'écriture
Gérard Berry
14/11/2013
Conférence de Gérard Berry dans le cadre du colloque interdisciplinaire "Réseaux, Savoirs & Territoires" dont le sous-titre est "Écrire les sciences aujourd’hui", explore la façon dont, avec l’internet, les objets, pratiques et métiers de la recherch...
Catégories : Écrire les sciences aujourd'hui
Mots-clefs: écriture, logiciel, numérique, ordinateur
photoExpose
Les modèles d'écriture d'un sociologue numérique
Francis Chateauraynaud
14/11/2013
Conférence de Francis Chateauraynaud dans le cadre du colloque interdisciplinaire "Réseaux, Savoirs & Territoires" dont le sous-titre est "Écrire les sciences aujourd’hui", explore la façon dont, avec l’internet, les objets, pratiques et métiers de l...
Catégories : Écrire les sciences aujourd'hui
Mots-clefs: Sociologie, numérique, internet
photoExpose
Nouveaux métiers et anciennes techniques intellectuelles des physiciens
Patrick Flandrin
14/11/2013
Conférence de Patrick Flandrin dans le cadre du colloque interdisciplinaire "Réseaux, Savoirs & Territoires" dont le sous-titre est "Écrire les sciences aujourd’hui", explore la façon dont, avec l’internet, les objets, pratiques et métiers de la rech...
Catégories : Écrire les sciences aujourd'hui
Mots-clefs: écriture, Nouvelles technologies, numérique
photoExpose
Philosophie du numérique et Éducation
Paul Mathias
14/11/2013
Conférence de Paul Mathias dans le cadre du colloque interdisciplinaire "Réseaux, Savoirs & Territoires" dont le sous-titre est "Écrire les sciences aujourd’hui", explore la façon dont, avec l’internet, les objets, pratiques et métiers de la re...
Catégories : Écrire les sciences aujourd'hui
Mots-clefs: apprentissage, enseignement, éducation, Nouvelles technologies, transmission, numérique, internet, évaluation, scolarité, ...
photoExpose
Socio-philosophie de la technique et de l'internet
Pierre-Antoine Chardel
14/11/2013
Conférence de Pierre-Antoine Chardel dans le cadre du colloque interdisciplinaire "Réseaux, Savoirs & Territoires" dont le sous-titre est "Écrire les sciences aujourd’hui", explore la façon dont, avec l’internet, les objets, pratiques et métiers de l...
Catégories : Écrire les sciences aujourd'hui
Mots-clefs: société, média, Nouvelles technologies, numérique, internet, information
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
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
Developments of the concepts of randomness, statistic, and probability
Mioara Mugur-Schächter, Guiseppe Longo, S. Christian Calude, Maria Luisa Dalla Chiara, Karl Svozil
28/10/2011
After a brief opening by G. Longo, editor-in-chief of the journal, and an introduction by the guest editor, M. Mügur-Schachter, seven of the authors of a paper in the special issue:Alastair A. Abbott, Univ. of Auckland ; Cristian S. Calude, Univ. of ...
Mots-clefs: probabilité, hasard, statistique
photoExpose
Créer une vision artificielle
Jean Ponce
29/05/2010
Conférence de Jean Ponce, dans le cadre des "Ernest", cycle de conférences à l'Ecole normale supérieure. Professeur à l'Ecole normale supérieure et directeur du Département d'Informatique de l'ENS (UMR 8548), Jean Ponce nous explique les problémati...
Catégories : Les Ernest, Savoirs+
Mots-clefs: Image, vision, description, intelligence artificielle
photoExpose
Quel est le QI de Dionaea Muscipula ?
David Naccache
29/12/2009
Conférence de David Naccache, dans le cadre des "Ernest", cycle de conférences à l'Ecole normale supérieure. David Naccache, cryptologue à l’Ecole normale supérieure, montre une alternative à l’électronique pour construire un ordinateur… à l’aide ...
Catégories : Les Ernest
Mots-clefs: Environnement, Biologie végétale, société, végétation, Code, informatique, cryptologie