Partager Facebook LinkedIn Bluesky Threads Copier le lien Résultats de recherche Rechercher 23194 résultats Filtres Type de contenu Type de contenu (-) Enseignements (23194) Actualité (1634) Personne (1331) Chaire (352) Éditions (348) Page (229) Recherche (27) Bibliothèque (14) Chaire annuelle (12) Prix (6) Filtres actifs Enseignements Événement Lise Bender Les découvertes textiles du Mons Claudianus, d'Abu Sha'ar et d'autres sites romains du désert Oriental : que nous apprennent-elles ? Colloque 31 Mar 2016 09:00 à 09:30 É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 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 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 Philippe Descola Les usages de la terre. Cosmopolitiques de la territorialité (5) Cours 30 Mar 2016 14:00 à 15:00 É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 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 É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 Vincent Laisney Nodier biffin Séminaire 29 Mar 2016 17:30 à 18:30 É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 É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 Cycle La forme : enjeux philosophiques Claudine Tiercelin, chaire Métaphysique et philosophie de la connaissance Colloque Organisé par Jean-Marie Chevalier et Benoit Gaultier . Il est d'usage, en philosophie, de séparer la matière et la forme. De même que la science se prête mal au singulier, de même la matière, dit-on, se prête mal au discours et à la théorie. Aussi est-ce … 17 jan 2013 → 18 jan 2013 É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 Événement Pierre-Louis Lions Singularités et discontinuités dans les équations de Hamilton-Jacobi (14) Cours 18 déc 2015 10:00 à 11:00 É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 Pagination Première page Page précédente … Page 522 Page 523 Page 524 Page 525 Page courante 526 Page 527 Page 528 Page 529 Page 530 … Page suivante Dernière page
Événement Lise Bender Les découvertes textiles du Mons Claudianus, d'Abu Sha'ar et d'autres sites romains du désert Oriental : que nous apprennent-elles ? Colloque 31 Mar 2016 09:00 à 09:30
É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 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 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 Philippe Descola Les usages de la terre. Cosmopolitiques de la territorialité (5) Cours 30 Mar 2016 14:00 à 15:00
É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 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
É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 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
É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
Cycle La forme : enjeux philosophiques Claudine Tiercelin, chaire Métaphysique et philosophie de la connaissance Colloque Organisé par Jean-Marie Chevalier et Benoit Gaultier . Il est d'usage, en philosophie, de séparer la matière et la forme. De même que la science se prête mal au singulier, de même la matière, dit-on, se prête mal au discours et à la théorie. Aussi est-ce … 17 jan 2013 → 18 jan 2013
É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
Événement Pierre-Louis Lions Singularités et discontinuités dans les équations de Hamilton-Jacobi (14) Cours 18 déc 2015 10:00 à 11:00
É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