Partager Facebook LinkedIn Bluesky Threads Copier le lien Résultats de recherche Rechercher 27021 résultats Filtres Type de contenu Type de contenu Enseignements (23103) Actualité (1605) Personne (1328) Chaire (352) Éditions (344) Page (230) Recherche (27) Bibliothèque (14) Chaire annuelle (12) Prix (6) Événement Kim Larsen Real-Time Model Checking of Embedded Systems Séminaire Documents et médias Télécharger le support Résumé Kim Larsen est un des acteurs principaux de la vérification formelle de systèmes temps-réel, à travers le centre CISS () qu’il a cofondé à Aalborg (Danemark). Il est l’architecte du système de vérification … 30 Mar 2016 17:30 à 18:30 Événement Jean-Baptiste Rauzy Présomption et justification. Sur l'usage philosophique d'une modalité juridique Séminaire 30 Mar 2016 16:30 à 18:30 Événement Claudine Tiercelin Fiabilisme et vertus épistémiques Cours Le cours 5 (30 mars) s’est concentré sur le deuxième axe – fiabiliste – de l’épistémologie des vertus, au terme duquel les vertus relèvent non pas du caractère , mais de la compétence et donc de certains traits cognitifs constitutifs de l’agent. On a … 30 Mar 2016 14:30 à 16:00 Événement Gérard Berry La vérification formelle de programmes temporisés Cours Documents et médias Télécharger le support Télécharger le support (pptx) Résumé Les systèmes temporisés sont ceux pour lesquels les contraintes liées au temps physique sont essentielles pour la correction du fonctionnement : systèmes embarqués temps-réel, … 30 Mar 2016 16:00 à 17:30 Événement Philippe Descola Les usages de la terre. Cosmopolitiques de la territorialité (5) Cours 30 Mar 2016 14:00 à 15:00 Événement Marc Fontecave Activation des enzymes : quand la chimie remplace la biologie Cours Résumé Les systèmes enzymatiques utilisés dans les applications énergétiques sont des systèmes d’une très grande complexité, élaborés au cours de l’évolution pour assurer des processus complexes de transfert d’électrons et d’activation de petites … 30 Mar 2016 10:00 à 11:00 Événement Jean-Pierre Brun Accueil des participants Colloque 30 Mar 2016 09:00 à 09:30 Événement Jean-Luc Fournet L’arabe face au grec (4) : les décennies décisives (fin de l’époque omeyyade) (début) Cours La situation va changer dans la première moitié du viii e siècle, qui est une période charnière dans le processus d’arabisation de l’Égypte où se joue le renversement des rapports entre grec et arabe au profit de ce dernier que l’époque abbasside verra … 30 Mar 2016 11:00 à 12:00 Cycle Jesper Svenbro John Scheid, chaire Religion, institutions et société de la Rome antique Conférencier invité Hamóthen , contingence et cheminement dans la création poétique Répondant à l’invitation de faire quatre conférences dans le cadre d’une réflexion sur la création artistique, nous avons exploré, sous le titre « ἁμόθεν, contingence et cheminement dans la … 05 fév 2013 → 26 fév 2013 Événement Antoine Compagnon Un siècle de chiffonniers littérateurs Cours Voltaire traite ses adversaires de chiffonniers, mais s’attribue aussi, en humble compilateur, la même qualité. Denis Diderot aurait ainsi qualifié les collaborateurs de l’ Encyclopédie . En 1800 paraît un recueil parodique de rapsodies collectées par … 29 Mar 2016 16:30 à 17:30 Événement Vincent Laisney Nodier biffin Séminaire 29 Mar 2016 17:30 à 18:30 É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) (12) Cours 29 Mar 2016 10:30 à 11:30 Événement Antoine Gaudemet Le risque de système Séminaire Le risque de système désigne le risque que la défaillance d’un acteur financier, d’une banque en particulier, se communique au système financier tout entier et, au-delà, à l’économie réelle. Il manifeste une solidarité de fait, passive et désordonnée, qui … 29 Mar 2016 09:15 à 10:45 Actualité Parution de la lettre d'actualités du 15 mars 2021 Collège de France 15 mars 2021 Découvrez toute l’actualité du Collège de France dans la lettre d'actualités « 1530, la lettre ». Lire notre dernière parution de 1530, la lettre (15 mars 2021) … Publié le 15 mars 2021 Actualité Leçon inaugurale du Pr Frédéric Magniez Frédéric Magniez, chaire Informatique et sciences numériques Frédéric Magniez, professeur invité sur la chaire annuelle Informatique et sciences numériques , prononcera sa leçon inaugurale, intitulée « Algorithmes quantiques : quand la physique quantique défie la thèse de Church-Turing », le 1 er avril 2021 , à … Publié le 15 mars 2021 Cycle Pier Marco Bertinetto Carlo Ossola, chaire Littératures modernes de l'Europe néolatine Conférencier invité 25 jan 2013 → 11 fév 2013 Événement Hélène Dollfus Dystrophies rétiniennes génétiques : ce que nous apprennent les syndromes rares Séminaire Les dystrophies rétiniennes héréditaires syndromiques se définissent par l’association d’une atteinte ophtalmologique avec de plus des manifestations au niveau d’un ou plusieurs autres organes constituant un groupe très hétérogène de pathologies sur un … 09 Mar 2016 11:30 à 12:30 Événement José-Alain Sahel Dégénérescences rétiniennes : physiopathologie Cours Les dystrophies rétiniennes regroupent un ensemble très large de maladies génétiques complexes aboutissant de manière séquentielle, avec un rythme et une distribution variables, à la perte de la fonction des bâtonnets (vision nocturne) et/ou des cônes … 09 Mar 2016 10:30 à 11:30 Événement Edouard Bard Évolutions actuelles et passées du méthane et des clathrates Cours Les variations de la teneur en CH 4 mesurées dans la carotte de glace EPICA Dôme-C en Antarctique permettent de remonter jusqu’à 800 000 ans BP. Les fluctuations à long terme peuvent s’expliquer par la superposition des composantes cycliques correspondant … 25 Mar 2016 15:00 à 16:00 Événement Jean-Yves Chemin La transformée de Fourier sur le groupe d'Heisenberg : le point de vue « fonctions » Séminaire 25 Mar 2016 11:15 à 12:30 Événement Jean-Luc Fournet Étude de papyrus byzantins relatifs au multilinguisme (9) Séminaire La connaissance du grec ancien est nécessaire pour le séminaire. … 24 Mar 2016 15:00 à 17:00 Événement Thomas Römer Joseph et les rêves de l'échanson et du boulanger (Genèse 40). Les rêves du Pharaon et l'ascension de Joseph (Genèse 41) Cours Documents et médias Télécharger le support … 24 Mar 2016 14:00 à 15:00 Événement Geremia Cometti Changement climatique et concessions minières dans les Andes péruviennes : le cas des Q'eros et du pèlerinage au « Santuario del Señor de Quyllurit'i » Séminaire 24 Mar 2016 10:00 à 12:00 Événement Carlo Ossola Paradigmes pour une métaphorologie II : Mots de glace et de neige (9) Cours 23 Mar 2016 17:00 à 18:00 Pagination Première page Page précédente … Page 649 Page 650 Page 651 Page 652 Page courante 653 Page 654 Page 655 Page 656 Page 657 … Page suivante Dernière page
Événement Kim Larsen Real-Time Model Checking of Embedded Systems Séminaire Documents et médias Télécharger le support Résumé Kim Larsen est un des acteurs principaux de la vérification formelle de systèmes temps-réel, à travers le centre CISS () qu’il a cofondé à Aalborg (Danemark). Il est l’architecte du système de vérification … 30 Mar 2016 17:30 à 18:30
Événement Jean-Baptiste Rauzy Présomption et justification. Sur l'usage philosophique d'une modalité juridique Séminaire 30 Mar 2016 16:30 à 18:30
Événement Claudine Tiercelin Fiabilisme et vertus épistémiques Cours Le cours 5 (30 mars) s’est concentré sur le deuxième axe – fiabiliste – de l’épistémologie des vertus, au terme duquel les vertus relèvent non pas du caractère , mais de la compétence et donc de certains traits cognitifs constitutifs de l’agent. On a … 30 Mar 2016 14:30 à 16:00
Événement Gérard Berry La vérification formelle de programmes temporisés Cours Documents et médias Télécharger le support Télécharger le support (pptx) Résumé Les systèmes temporisés sont ceux pour lesquels les contraintes liées au temps physique sont essentielles pour la correction du fonctionnement : systèmes embarqués temps-réel, … 30 Mar 2016 16:00 à 17:30
Événement Philippe Descola Les usages de la terre. Cosmopolitiques de la territorialité (5) Cours 30 Mar 2016 14:00 à 15:00
Événement Marc Fontecave Activation des enzymes : quand la chimie remplace la biologie Cours Résumé Les systèmes enzymatiques utilisés dans les applications énergétiques sont des systèmes d’une très grande complexité, élaborés au cours de l’évolution pour assurer des processus complexes de transfert d’électrons et d’activation de petites … 30 Mar 2016 10:00 à 11:00
Événement Jean-Luc Fournet L’arabe face au grec (4) : les décennies décisives (fin de l’époque omeyyade) (début) Cours La situation va changer dans la première moitié du viii e siècle, qui est une période charnière dans le processus d’arabisation de l’Égypte où se joue le renversement des rapports entre grec et arabe au profit de ce dernier que l’époque abbasside verra … 30 Mar 2016 11:00 à 12:00
Cycle Jesper Svenbro John Scheid, chaire Religion, institutions et société de la Rome antique Conférencier invité Hamóthen , contingence et cheminement dans la création poétique Répondant à l’invitation de faire quatre conférences dans le cadre d’une réflexion sur la création artistique, nous avons exploré, sous le titre « ἁμόθεν, contingence et cheminement dans la … 05 fév 2013 → 26 fév 2013
Événement Antoine Compagnon Un siècle de chiffonniers littérateurs Cours Voltaire traite ses adversaires de chiffonniers, mais s’attribue aussi, en humble compilateur, la même qualité. Denis Diderot aurait ainsi qualifié les collaborateurs de l’ Encyclopédie . En 1800 paraît un recueil parodique de rapsodies collectées par … 29 Mar 2016 16:30 à 17:30
É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) (12) Cours 29 Mar 2016 10:30 à 11:30
Événement Antoine Gaudemet Le risque de système Séminaire Le risque de système désigne le risque que la défaillance d’un acteur financier, d’une banque en particulier, se communique au système financier tout entier et, au-delà, à l’économie réelle. Il manifeste une solidarité de fait, passive et désordonnée, qui … 29 Mar 2016 09:15 à 10:45
Actualité Parution de la lettre d'actualités du 15 mars 2021 Collège de France 15 mars 2021 Découvrez toute l’actualité du Collège de France dans la lettre d'actualités « 1530, la lettre ». Lire notre dernière parution de 1530, la lettre (15 mars 2021) … Publié le 15 mars 2021
Actualité Leçon inaugurale du Pr Frédéric Magniez Frédéric Magniez, chaire Informatique et sciences numériques Frédéric Magniez, professeur invité sur la chaire annuelle Informatique et sciences numériques , prononcera sa leçon inaugurale, intitulée « Algorithmes quantiques : quand la physique quantique défie la thèse de Church-Turing », le 1 er avril 2021 , à … Publié le 15 mars 2021
Cycle Pier Marco Bertinetto Carlo Ossola, chaire Littératures modernes de l'Europe néolatine Conférencier invité 25 jan 2013 → 11 fév 2013
Événement Hélène Dollfus Dystrophies rétiniennes génétiques : ce que nous apprennent les syndromes rares Séminaire Les dystrophies rétiniennes héréditaires syndromiques se définissent par l’association d’une atteinte ophtalmologique avec de plus des manifestations au niveau d’un ou plusieurs autres organes constituant un groupe très hétérogène de pathologies sur un … 09 Mar 2016 11:30 à 12:30
Événement José-Alain Sahel Dégénérescences rétiniennes : physiopathologie Cours Les dystrophies rétiniennes regroupent un ensemble très large de maladies génétiques complexes aboutissant de manière séquentielle, avec un rythme et une distribution variables, à la perte de la fonction des bâtonnets (vision nocturne) et/ou des cônes … 09 Mar 2016 10:30 à 11:30
Événement Edouard Bard Évolutions actuelles et passées du méthane et des clathrates Cours Les variations de la teneur en CH 4 mesurées dans la carotte de glace EPICA Dôme-C en Antarctique permettent de remonter jusqu’à 800 000 ans BP. Les fluctuations à long terme peuvent s’expliquer par la superposition des composantes cycliques correspondant … 25 Mar 2016 15:00 à 16:00
Événement Jean-Yves Chemin La transformée de Fourier sur le groupe d'Heisenberg : le point de vue « fonctions » Séminaire 25 Mar 2016 11:15 à 12:30
Événement Jean-Luc Fournet Étude de papyrus byzantins relatifs au multilinguisme (9) Séminaire La connaissance du grec ancien est nécessaire pour le séminaire. … 24 Mar 2016 15:00 à 17:00
Événement Thomas Römer Joseph et les rêves de l'échanson et du boulanger (Genèse 40). Les rêves du Pharaon et l'ascension de Joseph (Genèse 41) Cours Documents et médias Télécharger le support … 24 Mar 2016 14:00 à 15:00
Événement Geremia Cometti Changement climatique et concessions minières dans les Andes péruviennes : le cas des Q'eros et du pèlerinage au « Santuario del Señor de Quyllurit'i » Séminaire 24 Mar 2016 10:00 à 12:00
Événement Carlo Ossola Paradigmes pour une métaphorologie II : Mots de glace et de neige (9) Cours 23 Mar 2016 17:00 à 18:00
