Partager Facebook LinkedIn Bluesky Threads Copier le lien Résultats de recherche Rechercher 23438 résultats Filtres Type de contenu Type de contenu (-) Enseignements (23086) Actualité (1601) Personne (1327) (-) Chaire (352) Éditions (343) Page (230) Recherche (27) Bibliothèque (14) Chaire annuelle (12) Prix (6) Filtres actifs Enseignements Chaire Événement Chantal Keller Vers une automatisation sûre et expressive : combiner preuves automatiques et interactives Séminaire Documents et médias Télécharger le support Résumé Nous avons dans les précédents cours et séminaires exploré la diversité des prouveurs, chacun ayant son degré d'automatisation, d'expressivité et de sûreté. Je présenterai dans cet exposé diverses … 13 avr 2016 16:00 à 17:00 Événement Philippe Descola Les usages de la terre. Cosmopolitiques de la territorialité (7) Cours 13 avr 2016 14:00 à 15:00 Événement Marc Delcourt Global Bioenergies : des carbohydrates aux hydrocarbures Séminaire 13 avr 2016 11:00 à 12:00 Événement Jean-Luc Fournet L’arabe face au grec (6) : l’impact de l’arabisation sur le grec Cours La cohabitation entre grec et arabe n’a pas duré assez longtemps pour que le premier ait été marqué par le second, d’autant que les Arabo-Musulmans n’ont pas, dans un premier temps, eu une politique très contraignante en matière linguistique. C’est … 13 avr 2016 11:00 à 12:00 Événement Jean-Christophe Yoccoz Hyperbolicité non-uniforme pour les perturbations multidimensionnelles des polynômes quadratiques (3) Cours Documents et médias Télécharger le support … 13 avr 2016 10:00 à 11:00 Événement Marc Fontecave Biotechnologies pour l'énergie : des microbes et des hydrocarbures Cours Résumé La découverte que les hydrocarbures présents dans notre environnement peuvent être d’origine naturelle, et pas seulement dus à des pollutions humaines, est très récente. Il s’avère donc que des microorganismes (cyanobactéries) sont capables de … 13 avr 2016 10:00 à 11:00 Événement Alain Fischer Bases génétiques Cours Le cours a débuté par un rappel des mécanismes de génération de la diversité de reconnaissance antigénique des lymphocytes T et B suivi d’une introduction à quelques maladies auto-immunes. Les exemples du lupus érythémateux disséminé (auto-immunité dite … 12 avr 2016 15:00 à 16:30 Événement Yann LeCun Réseaux convolutifs. Applications à la vision Cours 25 Mar 2016 11:00 à 11:30 Événement Alain Mabanckou Lettres noires : des ténèbres à la lumière Leçon inaugurale Résumé L’Afrique a pendant plusieurs siècles été vue, imaginée, fantasmée par les Européens comme un continent sauvage, ténébreux, matière première des récits d’aventures et d’exploration, teintés d’exotisme, qui ne laissaient pourtant entendre qu’une … 17 Mar 2016 18:00 à 19:00 Événement Laurie Pinaud Intervention jeune chercheur Séminaire 13 jan 2016 17:15 à 17:30 Cycle La correspondance entre Saint-John Perse et Calouste Gulbenkian (1948-1954) Michel Zink, chaire Littératures de la France médiévale Conférencier invité 21 fév 2013 Événement Serge Picaud Prothèses visuelles Séminaire Les interfaces cerveau/machine ou prothèses neuronales ont pour objet de compenser un handicap ou pallier des processus neurodégénératifs. Il s'agit de dispositifs implantés activant des zones du système nerveux central à l'aide d'électrodes. Ainsi des … 23 Mar 2016 11:30 à 12:30 Événement José-Alain Sahel Prothèses rétiniennes Cours Les prothèses visuelles visent, chez des patients rendus aveugles par dégénérescence des cellules photoréceptrices de la rétine, à restaurer une vision utile (lecture, mobilité), ce qui implique de recouvrer une capacité de détection de la lumière et une … 23 Mar 2016 10:30 à 11:30 Cycle Intellectuels francophones du Japon moderne et contemporain : Nakae Chômin (1847-1901) et Katô Shûichi (1919-2008) Anne Cheng, chaire Histoire intellectuelle de la Chine Conférencier invité Pour introduire mon propos, j’invoquerai la réflexion critique sur la « modernisation » de Katô Shûichi (1919-2008), intellectuel japonais « pacifiste et anti-nationaliste ». Dans son essai de 1957, intitulé En quoi nous faut-il encore la modernisation ? … 21 fév 2013 → 28 fév 2013 Cycle L'informatique du temps et des événements Gérard Berry, chaire Algorithmes, machines et langages Leçon inaugurale 28 Mar 2013 Événement Frantz Grenet Mariage et maisonnée d’après les documents bactriens, sogdiens et chorasmiens, IIIe-VIIIe s. (5) Séminaire 18 Mar 2016 10:00 à 12:00 Événement Bruno Ziliotto Homogénéisation stochastique des équations de Hamilton-Jacobi non convexes : un contre-exemple Séminaire 08 avr 2016 11:15 à 12:30 Événement Naïm Vanthieghem La circulation des personnes dans l'Égypte des VIIe et VIIIe siècles : l'apport d'une documentation multilingue Séminaire La connaissance du grec ancien est nécessaire pour le séminaire. … 07 avr 2016 15:00 à 17:00 Événement Thomas Römer Le premier voyage des frères en Égypte (Genèse 42). La deuxième descente des frères en Égypte et la découverte de l'identité de Joseph Cours Documents et médias Télécharger le support … 07 avr 2016 14:00 à 15:00 Événement Laurent Dousset Territorialité à l'épreuve : reconnaissance étatique d'une géographie humanisée en Australie Séminaire 07 avr 2016 10:00 à 12:00 Événement Benoit Gaultier Vertus épistémiques et obligations de performance doxastique Séminaire 06 avr 2016 16:30 à 18:30 Événement Edith Heard Perspectives : marqueurs et thérapies épigénétiques Cours Documents et médias Télécharger le support … 06 avr 2016 16:00 à 17:30 Événement Gérard Berry La vérification par énumération explicite Cours Documents et médias Télécharger le support Télécharger le support (pptx) Résumé Toutes les techniques de vérification des cours précédents reposaient sur une représentation implicite des systèmes par des formules Booléennes, symboliques ou numériques. Au … 06 avr 2016 16:00 à 17:30 Événement Stéphanie Delaune La vérification formelle appliquée aux protocoles cryptographiques Séminaire Documents et médias Télécharger le support Résumé Les protocoles cryptographiques sont les algorithmes et programmes qui permettent d’établir une communication sécurisée. Ils sont fragiles et sont le principal point d’entrée pour les attaques de sécurité, … 06 avr 2016 17:30 à 18:30 Pagination Première page Page précédente … Page 530 Page 531 Page 532 Page 533 Page courante 534 Page 535 Page 536 Page 537 Page 538 … Page suivante Dernière page
Événement Chantal Keller Vers une automatisation sûre et expressive : combiner preuves automatiques et interactives Séminaire Documents et médias Télécharger le support Résumé Nous avons dans les précédents cours et séminaires exploré la diversité des prouveurs, chacun ayant son degré d'automatisation, d'expressivité et de sûreté. Je présenterai dans cet exposé diverses … 13 avr 2016 16:00 à 17:00
Événement Philippe Descola Les usages de la terre. Cosmopolitiques de la territorialité (7) Cours 13 avr 2016 14:00 à 15:00
Événement Marc Delcourt Global Bioenergies : des carbohydrates aux hydrocarbures Séminaire 13 avr 2016 11:00 à 12:00
Événement Jean-Luc Fournet L’arabe face au grec (6) : l’impact de l’arabisation sur le grec Cours La cohabitation entre grec et arabe n’a pas duré assez longtemps pour que le premier ait été marqué par le second, d’autant que les Arabo-Musulmans n’ont pas, dans un premier temps, eu une politique très contraignante en matière linguistique. C’est … 13 avr 2016 11:00 à 12:00
Événement Jean-Christophe Yoccoz Hyperbolicité non-uniforme pour les perturbations multidimensionnelles des polynômes quadratiques (3) Cours Documents et médias Télécharger le support … 13 avr 2016 10:00 à 11:00
Événement Marc Fontecave Biotechnologies pour l'énergie : des microbes et des hydrocarbures Cours Résumé La découverte que les hydrocarbures présents dans notre environnement peuvent être d’origine naturelle, et pas seulement dus à des pollutions humaines, est très récente. Il s’avère donc que des microorganismes (cyanobactéries) sont capables de … 13 avr 2016 10:00 à 11:00
Événement Alain Fischer Bases génétiques Cours Le cours a débuté par un rappel des mécanismes de génération de la diversité de reconnaissance antigénique des lymphocytes T et B suivi d’une introduction à quelques maladies auto-immunes. Les exemples du lupus érythémateux disséminé (auto-immunité dite … 12 avr 2016 15:00 à 16:30
Événement Alain Mabanckou Lettres noires : des ténèbres à la lumière Leçon inaugurale Résumé L’Afrique a pendant plusieurs siècles été vue, imaginée, fantasmée par les Européens comme un continent sauvage, ténébreux, matière première des récits d’aventures et d’exploration, teintés d’exotisme, qui ne laissaient pourtant entendre qu’une … 17 Mar 2016 18:00 à 19:00
Cycle La correspondance entre Saint-John Perse et Calouste Gulbenkian (1948-1954) Michel Zink, chaire Littératures de la France médiévale Conférencier invité 21 fév 2013
Événement Serge Picaud Prothèses visuelles Séminaire Les interfaces cerveau/machine ou prothèses neuronales ont pour objet de compenser un handicap ou pallier des processus neurodégénératifs. Il s'agit de dispositifs implantés activant des zones du système nerveux central à l'aide d'électrodes. Ainsi des … 23 Mar 2016 11:30 à 12:30
Événement José-Alain Sahel Prothèses rétiniennes Cours Les prothèses visuelles visent, chez des patients rendus aveugles par dégénérescence des cellules photoréceptrices de la rétine, à restaurer une vision utile (lecture, mobilité), ce qui implique de recouvrer une capacité de détection de la lumière et une … 23 Mar 2016 10:30 à 11:30
Cycle Intellectuels francophones du Japon moderne et contemporain : Nakae Chômin (1847-1901) et Katô Shûichi (1919-2008) Anne Cheng, chaire Histoire intellectuelle de la Chine Conférencier invité Pour introduire mon propos, j’invoquerai la réflexion critique sur la « modernisation » de Katô Shûichi (1919-2008), intellectuel japonais « pacifiste et anti-nationaliste ». Dans son essai de 1957, intitulé En quoi nous faut-il encore la modernisation ? … 21 fév 2013 → 28 fév 2013
Cycle L'informatique du temps et des événements Gérard Berry, chaire Algorithmes, machines et langages Leçon inaugurale 28 Mar 2013
Événement Frantz Grenet Mariage et maisonnée d’après les documents bactriens, sogdiens et chorasmiens, IIIe-VIIIe s. (5) Séminaire 18 Mar 2016 10:00 à 12:00
Événement Bruno Ziliotto Homogénéisation stochastique des équations de Hamilton-Jacobi non convexes : un contre-exemple Séminaire 08 avr 2016 11:15 à 12:30
Événement Naïm Vanthieghem La circulation des personnes dans l'Égypte des VIIe et VIIIe siècles : l'apport d'une documentation multilingue Séminaire La connaissance du grec ancien est nécessaire pour le séminaire. … 07 avr 2016 15:00 à 17:00
Événement Thomas Römer Le premier voyage des frères en Égypte (Genèse 42). La deuxième descente des frères en Égypte et la découverte de l'identité de Joseph Cours Documents et médias Télécharger le support … 07 avr 2016 14:00 à 15:00
Événement Laurent Dousset Territorialité à l'épreuve : reconnaissance étatique d'une géographie humanisée en Australie Séminaire 07 avr 2016 10:00 à 12:00
Événement Benoit Gaultier Vertus épistémiques et obligations de performance doxastique Séminaire 06 avr 2016 16:30 à 18:30
Événement Edith Heard Perspectives : marqueurs et thérapies épigénétiques Cours Documents et médias Télécharger le support … 06 avr 2016 16:00 à 17:30
Événement Gérard Berry La vérification par énumération explicite Cours Documents et médias Télécharger le support Télécharger le support (pptx) Résumé Toutes les techniques de vérification des cours précédents reposaient sur une représentation implicite des systèmes par des formules Booléennes, symboliques ou numériques. Au … 06 avr 2016 16:00 à 17:30
Événement Stéphanie Delaune La vérification formelle appliquée aux protocoles cryptographiques Séminaire Documents et médias Télécharger le support Résumé Les protocoles cryptographiques sont les algorithmes et programmes qui permettent d’établir une communication sécurisée. Ils sont fragiles et sont le principal point d’entrée pour les attaques de sécurité, … 06 avr 2016 17:30 à 18:30