Partager Facebook X (ex-Twitter) Linkedin Copier le lien Résultats de recherche Rechercher 19491 résultats Filtres Type de contenu Close Type de contenu Type de contenu (-) Enseignements (19491) Personne (1115) Actualité (1097) Chaire (331) Page (197) Éditions (55) Recherche (21) Bibliothèque (14) Chaire annuelle (12) Prix (6) Filtres actifs Enseignements Événement Lionel Rieg Vérification formelle en Coq de la chaîne des sémantiques pour la compilation d'Esterel Séminaire Résumé L’exposé a d’abord présenté des preuves en Coq des théorèmes de correspondance reliant les différentes sémantiques de plus en plus précises d’Esterel, telles qu’énoncées dans le livre numérique The Constructive Semantics of Pure Esterel puis … 28 Mar 2018 17:00 à 18:00 Événement Philippe Descola La composition des collectifs : formes d'hybridation (9) Cours 28 Mar 2018 11:00 à 12:00 Événement Patrick Boucheron Le cas Bernabò 4. L'histoire au feu de la fiction Cours Dans son Liber gestorum in Lombardia ,le notaire et chroniqueur Pietro Azario intègre dans son récit sur Bernabò Visconti une anecdote tirée de la novellistica . Doit-on ici parler de contamination de l’histoire par la fiction ? On se propose ici de la … 27 Mar 2018 11:00 à 12:00 Événement Jean-Noël Robert Les poèmes japonais de Dôgen (2) Cours 27 Mar 2018 10:30 à 11:30 Événement Lydie Salvayre La guerre encore Séminaire 27 Mar 2018 17:45 à 18:45 Événement Antoine Compagnon Malices et vengeances de Sainte-Beuve Cours Le maître-mot de Sainte-Beuve est « vengeance », suggère Wolf Lepenies. Il est, avec son Cahier vert et son Cahier brun , récemment publié, le peintre minutieux et souvent amer de la guerre littéraire de son époque. Sainte-Beuve constate ainsi que le … 27 Mar 2018 16:30 à 17:30 Événement Nicolas Grimal Les annales de Thoutmosis III (suite) (11) Séminaire 26 Mar 2018 15:00 à 16:00 Événement Nicolas Grimal Le calame et la pierre. Essai d'histoire critique de la littérature égyptienne antique (suite) (11) Cours 26 Mar 2018 14:00 à 15:00 Événement Alain de Libera Destructionis destructio (II) : existence et vérité (8) Cours Répondant à une demande du public on a « tracé » les notions de « valeur de vérité » et d’« état de chose », en présentant A) la distinction des quatre modes de l’effectivité ( Wirklichkeit ) chez Herman Lotze (1817-1881) : l'être ( Sein ) des choses ; … 26 Mar 2018 17:00 à 19:00 Événement Edouard Bard Le climat du dernier millénaire en Europe et en Arctique Cours Les comparaisons modèles-données pour le dernier millénaire sont en accord pour la longue tendance OCM-PAG, ainsi que pour des refroidissements brefs correspondant à des éruptions volcaniques majeures, parfois rapprochées dans le temps (par exemple … 23 Mar 2018 15:00 à 16:00 Événement Camille Horbez Géométrie asymptotique du groupe des automorphismes extérieurs d'un groupe libre (2) Conférencier invité 17 jan 2018 14:00 à 16:00 Événement Bruno Després La méthode des solutions manufacturées pour les équations de Maxwell anisotropes dans les plasmas Séminaire 23 Mar 2018 11:15 à 12:45 Événement Pierre-Michel Menger Différences, talent et éducation : les positions et les controverses sur l'égalitarisme (Helvétius, Diderot, Rousseau, Smith) (2) Cours 23 Mar 2018 10:00 à 12:00 Événement Vinciane Pirenne-Delforge Νομίζειν τοὺς θεούς : normes sacrificielles (1) Cours Résumé Après avoir posé la question de l’arrière-plan partagé par les Grecs dans le registre de la représentation des dieux et analysé l’expression nomizein tous theous , il s’agit cette fois d’en venir aux pratiques rituelles qu’évoque également cette … 22 Mar 2018 11:00 à 12:00 Événement David Graeber et David Wengrow Slavery and Its Rejection Among Foragers on the Pacific Coast of North America: A Case of Schismogenesis? Séminaire 22 Mar 2018 10:00 à 12:00 Événement Bénédicte Savoy Gigantomanie Cours Dans le dernier tiers du XIX e siècle, à mesure que les grands États nationaux et les empires se formèrent en Europe, les musées des capitales entrèrent dans l’ère de la « gigantomanie ». D’une part, ils acquirent une taille immense, en étant aménagés, … 21 Mar 2018 15:30 à 16:30 Événement Sanjay Subrahmanyam Réseaux marchands et empires à l'époque moderne (1) Cours 21 Mar 2018 15:00 à 16:00 Événement Denis Duboule Changement des régulations et innovations morphologiques Cours Pourquoi et comment les insectes n’ont-ils que six pattes mais toujours six pattes ? Pourquoi et comment les mouches n’ont-elles qu’une paire d’ailes alors que les papillons en ont deux ? Les animaux segmentés – dont les humains font partie – produisent … 21 Mar 2018 14:00 à 15:00 Événement Francis Bach Gradients stochastiques et conditionnels pour les réseaux de neurones Séminaire Résumé La plupart des méthodes d’apprentissage supervisé, dont font partie les réseaux de neurones, se formalisent comme un problème d’optimisation dans lequel la moyenne des erreurs sur les données observées est minimisée par rapport aux paramètres du … 21 Mar 2018 11:15 à 12:30 Événement Jean-Luc Fournet Babel sur le Nil (3) : multilinguisme et multiculturalisme dans l'Égypte de l'Antiquité tardive (6) Cours L’Église elle aussi hellénophone : la liturgie (fin) Le maintien du grec comme langue par défaut de la liturgie ne fut évidemment pas sans rendre la position des fidèles de plus en plus inconfortable. L’écart entre l’usage liturgique et leur véritable … 21 Mar 2018 11:00 à 12:00 Événement Stéphane Mallat Descente de gradient et réseaux de neurones Cours Résumé La minimisation d’une fonction convexe peut se faire avec un algorithme de descente de gradient qui additionne itérativement un vecteur colinéaire au gradient de la fonction. Si la fonction que l’on minimise est Lipschitz et strictement convexe, … 21 Mar 2018 09:30 à 11:00 Événement Timothy Bourke La vérification formelle d'un compilateur Lustre Séminaire Résumé Le séminaire a porté sur la formalisation et la preuve en Coq d’un générateur de code impératif pour un noyau du langage Lustre. Une telle vérification formelle pourrait avantageusement compléter les méthodes officielles de certification … 21 Mar 2018 17:30 à 18:30 Événement Carlo Ossola La tradition des classiques : comment hériter (10) Cours 21 Mar 2018 17:00 à 18:00 Événement Gérard Berry Clock gating, multi-horloges, implémentation et optimisation Cours Résumé Ce cours a d’abord étudié l’insertion de programmes Esterel (ou synchrones en général) dans des environnements d’exécution arbitraires en détaillant les différentes façons de recevoir ou d’émettre des événements par une machine d’exécution reliant … 21 Mar 2018 16:00 à 17:30 Pagination Première page Page précédente … Page 277 Page 278 Page 279 Page 280 Page courante 281 Page 282 Page 283 Page 284 Page 285 … Page suivante Dernière page
Événement Lionel Rieg Vérification formelle en Coq de la chaîne des sémantiques pour la compilation d'Esterel Séminaire Résumé L’exposé a d’abord présenté des preuves en Coq des théorèmes de correspondance reliant les différentes sémantiques de plus en plus précises d’Esterel, telles qu’énoncées dans le livre numérique The Constructive Semantics of Pure Esterel puis … 28 Mar 2018 17:00 à 18:00
Événement Philippe Descola La composition des collectifs : formes d'hybridation (9) Cours 28 Mar 2018 11:00 à 12:00
Événement Patrick Boucheron Le cas Bernabò 4. L'histoire au feu de la fiction Cours Dans son Liber gestorum in Lombardia ,le notaire et chroniqueur Pietro Azario intègre dans son récit sur Bernabò Visconti une anecdote tirée de la novellistica . Doit-on ici parler de contamination de l’histoire par la fiction ? On se propose ici de la … 27 Mar 2018 11:00 à 12:00
Événement Antoine Compagnon Malices et vengeances de Sainte-Beuve Cours Le maître-mot de Sainte-Beuve est « vengeance », suggère Wolf Lepenies. Il est, avec son Cahier vert et son Cahier brun , récemment publié, le peintre minutieux et souvent amer de la guerre littéraire de son époque. Sainte-Beuve constate ainsi que le … 27 Mar 2018 16:30 à 17:30
Événement Nicolas Grimal Les annales de Thoutmosis III (suite) (11) Séminaire 26 Mar 2018 15:00 à 16:00
Événement Nicolas Grimal Le calame et la pierre. Essai d'histoire critique de la littérature égyptienne antique (suite) (11) Cours 26 Mar 2018 14:00 à 15:00
Événement Alain de Libera Destructionis destructio (II) : existence et vérité (8) Cours Répondant à une demande du public on a « tracé » les notions de « valeur de vérité » et d’« état de chose », en présentant A) la distinction des quatre modes de l’effectivité ( Wirklichkeit ) chez Herman Lotze (1817-1881) : l'être ( Sein ) des choses ; … 26 Mar 2018 17:00 à 19:00
Événement Edouard Bard Le climat du dernier millénaire en Europe et en Arctique Cours Les comparaisons modèles-données pour le dernier millénaire sont en accord pour la longue tendance OCM-PAG, ainsi que pour des refroidissements brefs correspondant à des éruptions volcaniques majeures, parfois rapprochées dans le temps (par exemple … 23 Mar 2018 15:00 à 16:00
Événement Camille Horbez Géométrie asymptotique du groupe des automorphismes extérieurs d'un groupe libre (2) Conférencier invité 17 jan 2018 14:00 à 16:00
Événement Bruno Després La méthode des solutions manufacturées pour les équations de Maxwell anisotropes dans les plasmas Séminaire 23 Mar 2018 11:15 à 12:45
Événement Pierre-Michel Menger Différences, talent et éducation : les positions et les controverses sur l'égalitarisme (Helvétius, Diderot, Rousseau, Smith) (2) Cours 23 Mar 2018 10:00 à 12:00
Événement Vinciane Pirenne-Delforge Νομίζειν τοὺς θεούς : normes sacrificielles (1) Cours Résumé Après avoir posé la question de l’arrière-plan partagé par les Grecs dans le registre de la représentation des dieux et analysé l’expression nomizein tous theous , il s’agit cette fois d’en venir aux pratiques rituelles qu’évoque également cette … 22 Mar 2018 11:00 à 12:00
Événement David Graeber et David Wengrow Slavery and Its Rejection Among Foragers on the Pacific Coast of North America: A Case of Schismogenesis? Séminaire 22 Mar 2018 10:00 à 12:00
Événement Bénédicte Savoy Gigantomanie Cours Dans le dernier tiers du XIX e siècle, à mesure que les grands États nationaux et les empires se formèrent en Europe, les musées des capitales entrèrent dans l’ère de la « gigantomanie ». D’une part, ils acquirent une taille immense, en étant aménagés, … 21 Mar 2018 15:30 à 16:30
Événement Sanjay Subrahmanyam Réseaux marchands et empires à l'époque moderne (1) Cours 21 Mar 2018 15:00 à 16:00
Événement Denis Duboule Changement des régulations et innovations morphologiques Cours Pourquoi et comment les insectes n’ont-ils que six pattes mais toujours six pattes ? Pourquoi et comment les mouches n’ont-elles qu’une paire d’ailes alors que les papillons en ont deux ? Les animaux segmentés – dont les humains font partie – produisent … 21 Mar 2018 14:00 à 15:00
Événement Francis Bach Gradients stochastiques et conditionnels pour les réseaux de neurones Séminaire Résumé La plupart des méthodes d’apprentissage supervisé, dont font partie les réseaux de neurones, se formalisent comme un problème d’optimisation dans lequel la moyenne des erreurs sur les données observées est minimisée par rapport aux paramètres du … 21 Mar 2018 11:15 à 12:30
Événement Jean-Luc Fournet Babel sur le Nil (3) : multilinguisme et multiculturalisme dans l'Égypte de l'Antiquité tardive (6) Cours L’Église elle aussi hellénophone : la liturgie (fin) Le maintien du grec comme langue par défaut de la liturgie ne fut évidemment pas sans rendre la position des fidèles de plus en plus inconfortable. L’écart entre l’usage liturgique et leur véritable … 21 Mar 2018 11:00 à 12:00
Événement Stéphane Mallat Descente de gradient et réseaux de neurones Cours Résumé La minimisation d’une fonction convexe peut se faire avec un algorithme de descente de gradient qui additionne itérativement un vecteur colinéaire au gradient de la fonction. Si la fonction que l’on minimise est Lipschitz et strictement convexe, … 21 Mar 2018 09:30 à 11:00
Événement Timothy Bourke La vérification formelle d'un compilateur Lustre Séminaire Résumé Le séminaire a porté sur la formalisation et la preuve en Coq d’un générateur de code impératif pour un noyau du langage Lustre. Une telle vérification formelle pourrait avantageusement compléter les méthodes officielles de certification … 21 Mar 2018 17:30 à 18:30
Événement Carlo Ossola La tradition des classiques : comment hériter (10) Cours 21 Mar 2018 17:00 à 18:00
Événement Gérard Berry Clock gating, multi-horloges, implémentation et optimisation Cours Résumé Ce cours a d’abord étudié l’insertion de programmes Esterel (ou synchrones en général) dans des environnements d’exécution arbitraires en détaillant les différentes façons de recevoir ou d’émettre des événements par une machine d’exécution reliant … 21 Mar 2018 16:00 à 17:30