Partager Facebook LinkedIn Bluesky Threads Copier le lien Résultats de recherche Rechercher 24478 résultats Filtres Type de contenu Type de contenu (-) Enseignements (24464) Actualité (1671) Personne (1352) Chaire (359) Éditions (351) Page (230) Recherche (27) (-) Bibliothèque (14) Chaire annuelle (12) Prix (6) Filtres actifs Enseignements Bibliothèque Événement Gérard Berry Conclusion et réponse aux questions de l'année Cours Documents et médias Télécharger le support Télécharger le support (pptx) Résumé Ce cours est consacré à trois compléments aux cours de l’année, puis à la réponse aux questions envoyées par courrier électronique pendant l’année, et enfin à la réponse à … 13 avr 2016 17:00 à 18:30 É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 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 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 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 Cycle Géopolitique de la santé mondiale Dominique Kerouedan, chaire Savoirs contre pauvreté Leçon inaugurale 14 fév 2013 É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 L'enseignement n'a pas lieu cette année Jean-Christophe Yoccoz, chaire Équations différentielles et systèmes dynamiques Cours 09 jan 2013 Événement Laurie Pinaud Intervention jeune chercheur Séminaire 13 jan 2016 17:15 à 17:30 É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 É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 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 É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 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 Pagination Première page « Premier Page précédente ‹‹ … Page 574 Page 575 Page 576 Page 577 Page 578 Page 579 Page 580 Page 581 Page 582 … Page suivante ›› Dernière page Dernier »
Événement Gérard Berry Conclusion et réponse aux questions de l'année Cours Documents et médias Télécharger le support Télécharger le support (pptx) Résumé Ce cours est consacré à trois compléments aux cours de l’année, puis à la réponse aux questions envoyées par courrier électronique pendant l’année, et enfin à la réponse à … 13 avr 2016 17:00 à 18:30
É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 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 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 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
Cycle Géopolitique de la santé mondiale Dominique Kerouedan, chaire Savoirs contre pauvreté Leçon inaugurale 14 fév 2013
É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 L'enseignement n'a pas lieu cette année Jean-Christophe Yoccoz, chaire Équations différentielles et systèmes dynamiques Cours 09 jan 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
É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 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
É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 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