Partager Facebook LinkedIn Bluesky Threads Copier le lien Résultats de recherche Rechercher 24252 résultats Filtres Type de contenu Type de contenu (-) Enseignements (24021) Actualité (1749) Personne (1389) Éditions (362) Chaire (360) (-) Page (231) Recherche (27) Bibliothèque (14) Chaire annuelle (12) Prix (6) Filtres actifs Enseignements 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 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 Philippe Descola Les usages de la terre. Cosmopolitiques de la territorialité (4) Cours 23 Mar 2016 14:00 à 15:00 É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 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 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 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 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 Nicolas Grimal Les annales de Thoutmosis III (suite) (12) Séminaire 21 Mar 2016 15:00 à 16:00 É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 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 Cycle Sciences cognitives et éducation Stanislas Dehaene, chaire Psychologie cognitive expérimentale Colloque Journée organisée par le Ministère de l'Éducation Nationale avec la chaire de Psychologie cognitive expérimentale du Collège de France. Si la recherche accorde chaque jour davantage de place à la réflexion sur l’appréhension des mécanismes cognitifs comme … 20 nov 2012 É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 Musical Syntax and its Relation to Linguistic Syntax Stanislas Dehaene, chaire Psychologie cognitive expérimentale Conférencier invité 19 nov 2012 É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 « Premier Page précédente ‹‹ … Page 569 Page 570 Page 571 Page 572 Page 573 Page 574 Page 575 Page 576 Page 577 … Page suivante ›› Dernière page Dernier »
É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 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 Philippe Descola Les usages de la terre. Cosmopolitiques de la territorialité (4) Cours 23 Mar 2016 14:00 à 15:00
É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 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 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-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 Nicolas Grimal Les annales de Thoutmosis III (suite) (12) Séminaire 21 Mar 2016 15:00 à 16:00
É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 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
Cycle Sciences cognitives et éducation Stanislas Dehaene, chaire Psychologie cognitive expérimentale Colloque Journée organisée par le Ministère de l'Éducation Nationale avec la chaire de Psychologie cognitive expérimentale du Collège de France. Si la recherche accorde chaque jour davantage de place à la réflexion sur l’appréhension des mécanismes cognitifs comme … 20 nov 2012
É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 Musical Syntax and its Relation to Linguistic Syntax Stanislas Dehaene, chaire Psychologie cognitive expérimentale Conférencier invité 19 nov 2012
É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