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é (1600) Personne (1327) (-) Chaire (352) Éditions (343) Page (230) Recherche (27) Bibliothèque (14) Chaire annuelle (12) Prix (6) Filtres actifs Enseignements Chaire Événement Sylvain Conchon SMT en pratique : le démonstrateur Alt-Ergo Séminaire Documents et médias Télécharger le support Résumé Dans cet exposé, nous présentons la conception et des cas d'utilisation du démonstrateur automatique Alt-Ergo. Alt-Ergo est un démonstrateur de la famille SMT spécialement conçu pour prouver la validité de … 23 Mar 2016 17:30 à 18:30 Événement Claudine Tiercelin Responsabilisme, vertus épistémiques et vertus morales Cours Le cours 4 (23 mars) a poursuivi l’évaluation de l’axe responsabiliste de l’épistémologie des vertus, en précisant la position défendue par L. Zagzebski dans Virtues of the Mind [1] , pour qui la connaissance, tout comme la croyance justifiée, se … 23 Mar 2016 14:30 à 16:00 Événement Gérard Berry SMT : la satisfaction modulo théories Cours Documents et médias Télécharger le support Télécharger le support (pptx) Résumé La satisfaction modulo théories (SMT) s’intéresse aux formules mathématiques mêlant la logique propositionnelle et des théories mathématiques décidables (ou quelquefois … 23 Mar 2016 16:00 à 17:30 Événement Philippe Descola Les usages de la terre. Cosmopolitiques de la territorialité (4) Cours 23 Mar 2016 14:00 à 15:00 Événement Patrick Boucheron La dispute communale du souvenir Cours Sur les bas-reliefs de la Porta romana se donnent à voir des confusions davantage que des désignations, des concaténations mémorielles bien plus que des souvenirs précis. On y voit l’écho patriotique de la bataille de Legnano (29 mai 1176) et le retour … 15 fév 2016 11:00 à 12:00 Événement Marc Fontecave Biotechnologies pour le stockage d'énergie : Bioélectrodes et dispositifs bioélectrochimiques Cours Résumé Après la discussion de systèmes électrochimiques fondés sur des microorganismes (cours n° 2), ce cours s’intéresse aux bioélectrodes et aux biopiles construites à partir de systèmes enzymatiques. Il ne s’agit pas d’un domaine nouveau puisqu’il … 23 Mar 2016 10:00 à 11:00 Événement Elizabeth Lojou Des biocatalyseurs au sein de piles à combustible : pourquoi, comment ? Séminaire Résumé Les piles à combustible offrent une alternative aux énergies fossiles pour la production d’électricité. La nécessité d’utilisation de métaux rares, et trop facilement contaminés, pour catalyser les réactions de conversion de l’énergie chimique en … 23 Mar 2016 11:00 à 12:00 Événement Jean-Luc Fournet L’arabe face au grec (3) : les entagia (ordres de paiements fiscaux) arabo-grecs et la présence symbolique de l’arabe – une administration encore dépendante des hellénophoneq – la pratique privée de l’arabe au VIIe siècle – bilan de l’arabisation au VIIe siècle d’après les papyrus Cours Un des types documentaires les plus révélateurs de l’arabisation de l’administration est l’ entagion , un ordre de paiement adressé par l’administration à une collectivité ou à un individu. Les entagia fonctionnent à plusieurs niveaux. Le gouverneur … 23 Mar 2016 11:00 à 12:00 Événement Jean-Louis Mandel Théâtre Mon nom est Némo écrit et joué par Marko Mayerl, mise en scène de Keith Hitchcock Cours La représentation est suivie d'un séminaire avec le Pr Emmanuel Jacquemin à 17 h. … 22 Mar 2016 15:00 à 17:00 Événement Gabriel Synnaeve Reconnaissance de la parole Séminaire 04 Mar 2016 12:00 à 13:00 Événement Yann LeCun Réseaux convolutifs Cours 04 Mar 2016 11:00 à 12:00 Événement Jeseong Park La notion de Chaebol et la responsabilité solidaire en droit coréen du travail Séminaire Après une longue dictature militaire qui s’est achevée en juin 1987 , le droit du travail coréen a connu une période d’euphorie, au cours de laquelle le syndicalisme s’est rapidement développé. On rêvait en effet d'une époque politiquement démocratisée, … 22 Mar 2016 09:15 à 10:45 Événement Jean-Noël Robert Langue, Poésie, Éveil : l'univers langagier du Senjûshô (« Les Extraits d'un florilège », XIIIe siècle) (11) Cours 22 Mar 2016 10:30 à 11:30 Événement Edith Heard Voies épigénétiques du cancer (I) Cours Documents et médias Télécharger le support … 21 Mar 2016 16:00 à 17:30 Événement Nicolas Grimal Les annales de Thoutmosis III (suite) (12) Séminaire 21 Mar 2016 15:00 à 16:00 Événement Nicolas Grimal Le calame et la pierre. Essai d'histoire critique de la littérature égyptienne antique (suite) (12) Cours 21 Mar 2016 14:00 à 15:00 Événement Alain Gaudric Évolution de l'imagerie de la rétine : du fond d'œil à la cellule (1) Séminaire Documents et médias Télécharger la biographie d'Alain Gaudric … 02 Mar 2016 11:30 à 12:00 Événement José-Alain Sahel Explorer la rétine : les enjeux Cours L’histoire de l’ophtalmologie moderne commence avec la découverte de l’ophtalmoscope par Hermann von Helmholtz en 1851. Cet appareil permet d’examiner avec précision le fond d’œil et d’observer la rétine et ses vaisseaux, la papille optique (tête du nerf … 02 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. (3) Séminaire 26 fév 2016 10:00 à 12:00 Cycle Sur la mesure du temps et d'autres thèmes en relation avec le contrôle de particules quantiques isolées Serge Haroche, chaire Physique quantique Séminaire Les six leçons ont été suivies chacune d'un séminaire. Plusieurs ont porté sur la mesure précise du temps, qui devait être initialement le thème du cours de l'année. L'un des séminaires a été donné par David Wineland, co-récipiendaire du prix Nobel de … 12 Mar 2013 → 16 avr 2013 Cycle Le contrôle des particules quantiques isolées Serge Haroche, chaire Physique quantique Cours Le cours initialement prévu devait porter sur la mesure du temps en physique quantique. Les circonstances ont conduit à en changer le thème. Plusieurs séminaires, dont celui de David Wineland (NIST), traiteront cependant des horloges atomiques et de leurs … 12 Mar 2013 → 16 avr 2013 Événement Edouard Bard Méthane et changements paléoclimatiques Cours La synthèse des approches montantes et descendantes permet d’évaluer les flux au cours des trois décennies caractérisées par une stabilisation dans les années 1990 puis par une reprise de l’augmentation des teneurs en CH 4 durant les années 2000. … 18 Mar 2016 15:00 à 16:00 Événement Djalil Chafaï Au bord de certains systèmes de particules en interaction issus ou inspirés par des modèles de matrices aléatoires Séminaire 18 Mar 2016 11:15 à 12:30 Événement Francisco Jarauta Babel, mythe moderne Séminaire 17 Mar 2016 10:00 à 12:00 Pagination Première page Page précédente … Page 533 Page 534 Page 535 Page 536 Page courante 537 Page 538 Page 539 Page 540 Page 541 … Page suivante Dernière page
Événement Sylvain Conchon SMT en pratique : le démonstrateur Alt-Ergo Séminaire Documents et médias Télécharger le support Résumé Dans cet exposé, nous présentons la conception et des cas d'utilisation du démonstrateur automatique Alt-Ergo. Alt-Ergo est un démonstrateur de la famille SMT spécialement conçu pour prouver la validité de … 23 Mar 2016 17:30 à 18:30
Événement Claudine Tiercelin Responsabilisme, vertus épistémiques et vertus morales Cours Le cours 4 (23 mars) a poursuivi l’évaluation de l’axe responsabiliste de l’épistémologie des vertus, en précisant la position défendue par L. Zagzebski dans Virtues of the Mind [1] , pour qui la connaissance, tout comme la croyance justifiée, se … 23 Mar 2016 14:30 à 16:00
Événement Gérard Berry SMT : la satisfaction modulo théories Cours Documents et médias Télécharger le support Télécharger le support (pptx) Résumé La satisfaction modulo théories (SMT) s’intéresse aux formules mathématiques mêlant la logique propositionnelle et des théories mathématiques décidables (ou quelquefois … 23 Mar 2016 16:00 à 17:30
Événement Philippe Descola Les usages de la terre. Cosmopolitiques de la territorialité (4) Cours 23 Mar 2016 14:00 à 15:00
Événement Patrick Boucheron La dispute communale du souvenir Cours Sur les bas-reliefs de la Porta romana se donnent à voir des confusions davantage que des désignations, des concaténations mémorielles bien plus que des souvenirs précis. On y voit l’écho patriotique de la bataille de Legnano (29 mai 1176) et le retour … 15 fév 2016 11:00 à 12:00
Événement Marc Fontecave Biotechnologies pour le stockage d'énergie : Bioélectrodes et dispositifs bioélectrochimiques Cours Résumé Après la discussion de systèmes électrochimiques fondés sur des microorganismes (cours n° 2), ce cours s’intéresse aux bioélectrodes et aux biopiles construites à partir de systèmes enzymatiques. Il ne s’agit pas d’un domaine nouveau puisqu’il … 23 Mar 2016 10:00 à 11:00
Événement Elizabeth Lojou Des biocatalyseurs au sein de piles à combustible : pourquoi, comment ? Séminaire Résumé Les piles à combustible offrent une alternative aux énergies fossiles pour la production d’électricité. La nécessité d’utilisation de métaux rares, et trop facilement contaminés, pour catalyser les réactions de conversion de l’énergie chimique en … 23 Mar 2016 11:00 à 12:00
Événement Jean-Luc Fournet L’arabe face au grec (3) : les entagia (ordres de paiements fiscaux) arabo-grecs et la présence symbolique de l’arabe – une administration encore dépendante des hellénophoneq – la pratique privée de l’arabe au VIIe siècle – bilan de l’arabisation au VIIe siècle d’après les papyrus Cours Un des types documentaires les plus révélateurs de l’arabisation de l’administration est l’ entagion , un ordre de paiement adressé par l’administration à une collectivité ou à un individu. Les entagia fonctionnent à plusieurs niveaux. Le gouverneur … 23 Mar 2016 11:00 à 12:00
Événement Jean-Louis Mandel Théâtre Mon nom est Némo écrit et joué par Marko Mayerl, mise en scène de Keith Hitchcock Cours La représentation est suivie d'un séminaire avec le Pr Emmanuel Jacquemin à 17 h. … 22 Mar 2016 15:00 à 17:00
Événement Jeseong Park La notion de Chaebol et la responsabilité solidaire en droit coréen du travail Séminaire Après une longue dictature militaire qui s’est achevée en juin 1987 , le droit du travail coréen a connu une période d’euphorie, au cours de laquelle le syndicalisme s’est rapidement développé. On rêvait en effet d'une époque politiquement démocratisée, … 22 Mar 2016 09:15 à 10:45
Événement Jean-Noël Robert Langue, Poésie, Éveil : l'univers langagier du Senjûshô (« Les Extraits d'un florilège », XIIIe siècle) (11) Cours 22 Mar 2016 10:30 à 11:30
Événement Edith Heard Voies épigénétiques du cancer (I) Cours Documents et médias Télécharger le support … 21 Mar 2016 16:00 à 17:30
Événement Nicolas Grimal Les annales de Thoutmosis III (suite) (12) Séminaire 21 Mar 2016 15:00 à 16:00
Événement Nicolas Grimal Le calame et la pierre. Essai d'histoire critique de la littérature égyptienne antique (suite) (12) Cours 21 Mar 2016 14:00 à 15:00
Événement Alain Gaudric Évolution de l'imagerie de la rétine : du fond d'œil à la cellule (1) Séminaire Documents et médias Télécharger la biographie d'Alain Gaudric … 02 Mar 2016 11:30 à 12:00
Événement José-Alain Sahel Explorer la rétine : les enjeux Cours L’histoire de l’ophtalmologie moderne commence avec la découverte de l’ophtalmoscope par Hermann von Helmholtz en 1851. Cet appareil permet d’examiner avec précision le fond d’œil et d’observer la rétine et ses vaisseaux, la papille optique (tête du nerf … 02 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. (3) Séminaire 26 fév 2016 10:00 à 12:00
Cycle Sur la mesure du temps et d'autres thèmes en relation avec le contrôle de particules quantiques isolées Serge Haroche, chaire Physique quantique Séminaire Les six leçons ont été suivies chacune d'un séminaire. Plusieurs ont porté sur la mesure précise du temps, qui devait être initialement le thème du cours de l'année. L'un des séminaires a été donné par David Wineland, co-récipiendaire du prix Nobel de … 12 Mar 2013 → 16 avr 2013
Cycle Le contrôle des particules quantiques isolées Serge Haroche, chaire Physique quantique Cours Le cours initialement prévu devait porter sur la mesure du temps en physique quantique. Les circonstances ont conduit à en changer le thème. Plusieurs séminaires, dont celui de David Wineland (NIST), traiteront cependant des horloges atomiques et de leurs … 12 Mar 2013 → 16 avr 2013
Événement Edouard Bard Méthane et changements paléoclimatiques Cours La synthèse des approches montantes et descendantes permet d’évaluer les flux au cours des trois décennies caractérisées par une stabilisation dans les années 1990 puis par une reprise de l’augmentation des teneurs en CH 4 durant les années 2000. … 18 Mar 2016 15:00 à 16:00
Événement Djalil Chafaï Au bord de certains systèmes de particules en interaction issus ou inspirés par des modèles de matrices aléatoires Séminaire 18 Mar 2016 11:15 à 12:30