Partager Facebook LinkedIn Bluesky Threads Copier le lien Résultats de recherche Rechercher 25847 résultats Filtres Type de contenu Type de contenu (-) Enseignements (24495) Actualité (1672) (-) Personne (1352) Chaire (359) Éditions (351) Page (230) Recherche (27) Bibliothèque (14) Chaire annuelle (12) Prix (6) Filtres actifs Enseignements Personne Événement Bruno Reynard Fluids and Earthquakes in the Forearc Region of Subduction Zones Colloque Présidence : Patrick Cordier, Université de Lille, France Documents et médias Télécharger le support … 19 nov 2018 14:00 à 14:35 Événement Nicolas Brantut Dehydration Embrittlement at High Pressure Colloque Présidence : Patrick Cordier, Université de Lille, France … 19 nov 2018 14:35 à 15:10 Événement Cliff Frohlich Deep Moonquakes, Isolated Deep Earthquakes, and Deep Earthquakes NOT in Subduction Zones Colloque Présidence : Piero Poli, ISTerre, Grenoble Documents et médias Télécharger le support … 19 nov 2018 11:55 à 12:30 Événement German Prieto Seismological Constraints on the Mechanism(s) Responsible for Intermediate-Depth Earthquakes Colloque Présidence : Piero Poli, ISTerre, Grenoble Documents et médias Télécharger le support … 19 nov 2018 11:20 à 11:55 Événement Blandine Gardonio Details of the Pre-Seismic and Post-Seismic Phases of the 2015 Ogasawara Deep-Focus Earthquake Colloque Présidence : Martin Vallée, IPG, Paris … 19 nov 2018 10:15 à 10:50 Événement Keiko Kuge Deep Earthquakes and Their Surrounding Structure as Inferred from Regional Seismic Waves Colloque Présidence : Martin Vallée, IPG, Paris Documents et médias Télécharger le support … 19 nov 2018 09:05 à 09:40 Événement Zhongwen Zhan Interferometric Imaging of the Metastable Olivine Wedge and a Dual-Mechanism Hypothesis for Deep Earthquakes Colloque Présidence : Martin Vallée, IPG, Paris … 19 nov 2018 09:40 à 10:15 Événement Guy Sella A Population Genetic Interpretation of Complex Trait Architecture in Humans Séminaire Résumé Guy Sella a présenté des modèles mathématiques servant à interpréter les résultats des « genome-wide association studies » (GWAS) humaines, ou études pangénomiques d’association. Ces études révèlent l’architecture génétique des traits … 23 nov 2018 15:30 à 16:30 Événement Jean-Noël Robert La tri-temporalité sino-japonaise et le bouddhisme Colloque 18 oct 2018 16:10 à 16:50 Événement Anne-Laure Dalibard Réflexion quasi-critique d’ondes internes dans un fluide stratifié Séminaire 14 déc 2018 11:15 à 12:45 Événement Pierre-Louis Lions HJB, MFG et les autres (6) Cours 14 déc 2018 09:00 à 11:00 Événement Yves Bertot et Pierre Castéran Coq : aspects pratiques de la théorie des types Séminaire Le séminaire a lieu à l'Inria Bordeaux. Résumé Les assistants de preuve ont deux types d’applications : la construction de preuves formelles de correction de programmes ou d'algorithmes très complexes (compilateurs et analyseurs statiques, algorithmes … 13 déc 2018 17:30 à 18:30 Événement Anne Cheng Lecture du chapitre « Liyun » du Traité des rites (4) Séminaire Une bonne connaissance du chinois classique est nécessaire pour le séminaire. … 13 déc 2018 16:30 à 18:00 Événement Gérard Berry En théorie, la théorie et la pratique c'est pareil, en pratique c'est pas vrai (d'après Yogi Berra) Cours Le cours a lieu à l'Inria Bordeaux. Résumé Cette fameuse maxime de Yogi Berra, grand joueur de baseball et grand créateur d’aphorismes, s’applique parfaitement à la recherche en informatique. L’exposé discutera quatre types de cas à travers des exemples … 13 déc 2018 16:00 à 17:30 Événement Alain Prochiantz Le vieillissement dans les maladies neurologiques Cours 13 déc 2018 14:00 à 16:00 Événement François Déroche Autour de quelques concepts coraniques (4) Cours 13 déc 2018 14:00 à 15:00 Événement Anne Cheng Universalité, mondialité, cosmopolitisme (Chine, Japon, Inde) (suite et fin) (4) Cours 13 déc 2018 11:00 à 12:00 Événement Jean-Marc Ghigo Biofilms, l'union fait la force mais qu'est-ce qui force à l'union ? Séminaire Résumé Jean-Marc Ghigo est un spécialiste éminent des biofilms, des bases génétiques et moléculaires de leur constitution, de leur régulation, particulièrement la transition cruciale entre phase sédentaire (biofilm) et phase planctonique (libre). Cette … 12 déc 2018 17:30 à 19:00 Événement Henry Laurens Les crises d'Orient, l'hégémonie britannique 1926-1956 (5) Cours 12 déc 2018 15:00 à 17:00 Événement Philippe Sansonetti Pourquoi des infections chroniques ou récurrentes ? Cours Résumé À l’occasion de ce cours, nous nous sommes interrogés sur la notion de chronicité et de récurrence en considérant les groupes bactériens les plus aptes à générer de telles situations, sans oublier des paramètres acquis comme l’antibiorésistance et … 12 déc 2018 16:00 à 17:30 Événement Dominique Charpin Un domaine babylonien sous Samsu-Iluna (6) Séminaire Une bonne connaissance du cunéiforme est nécessaire pour le séminaire. … 12 déc 2018 10:00 à 12:00 Événement Xavier Leroy Peut-on changer le monde ? Programmation impérative, effets monadiques, effets algébriques Cours Résumé Jusqu’ici nous avons mis en correspondance des logiques et des langages fonctionnels. Cependant, beaucoup de programmes sont impératifs et non purement fonctionnels, car leur exécution a des effets sur le monde extérieur : ils consomment des … 12 déc 2018 10:00 à 11:00 Événement Matthieu Sozeau Programmer avec Coq : récursion et filtrage dépendant Séminaire Résumé Le troisième séminaire a continué l’exploration de la programmation avec types dépendants débutée au premier séminaire. L’orateur a identifié deux écueils majeurs pour programmer dans une théorie des types comme celle de Coq : la partialité et la … 12 déc 2018 11:30 à 12:30 Événement Bassma Kodmani Culture politique arabe (5) Séminaire 12 déc 2018 11:00 à 12:30 Pagination Première page « Premier Page précédente ‹‹ … Page 475 Page 476 Page 477 Page 478 Page 479 Page 480 Page 481 Page 482 Page 483 … Page suivante ›› Dernière page Dernier »
Événement Bruno Reynard Fluids and Earthquakes in the Forearc Region of Subduction Zones Colloque Présidence : Patrick Cordier, Université de Lille, France Documents et médias Télécharger le support … 19 nov 2018 14:00 à 14:35
Événement Nicolas Brantut Dehydration Embrittlement at High Pressure Colloque Présidence : Patrick Cordier, Université de Lille, France … 19 nov 2018 14:35 à 15:10
Événement Cliff Frohlich Deep Moonquakes, Isolated Deep Earthquakes, and Deep Earthquakes NOT in Subduction Zones Colloque Présidence : Piero Poli, ISTerre, Grenoble Documents et médias Télécharger le support … 19 nov 2018 11:55 à 12:30
Événement German Prieto Seismological Constraints on the Mechanism(s) Responsible for Intermediate-Depth Earthquakes Colloque Présidence : Piero Poli, ISTerre, Grenoble Documents et médias Télécharger le support … 19 nov 2018 11:20 à 11:55
Événement Blandine Gardonio Details of the Pre-Seismic and Post-Seismic Phases of the 2015 Ogasawara Deep-Focus Earthquake Colloque Présidence : Martin Vallée, IPG, Paris … 19 nov 2018 10:15 à 10:50
Événement Keiko Kuge Deep Earthquakes and Their Surrounding Structure as Inferred from Regional Seismic Waves Colloque Présidence : Martin Vallée, IPG, Paris Documents et médias Télécharger le support … 19 nov 2018 09:05 à 09:40
Événement Zhongwen Zhan Interferometric Imaging of the Metastable Olivine Wedge and a Dual-Mechanism Hypothesis for Deep Earthquakes Colloque Présidence : Martin Vallée, IPG, Paris … 19 nov 2018 09:40 à 10:15
Événement Guy Sella A Population Genetic Interpretation of Complex Trait Architecture in Humans Séminaire Résumé Guy Sella a présenté des modèles mathématiques servant à interpréter les résultats des « genome-wide association studies » (GWAS) humaines, ou études pangénomiques d’association. Ces études révèlent l’architecture génétique des traits … 23 nov 2018 15:30 à 16:30
Événement Jean-Noël Robert La tri-temporalité sino-japonaise et le bouddhisme Colloque 18 oct 2018 16:10 à 16:50
Événement Anne-Laure Dalibard Réflexion quasi-critique d’ondes internes dans un fluide stratifié Séminaire 14 déc 2018 11:15 à 12:45
Événement Yves Bertot et Pierre Castéran Coq : aspects pratiques de la théorie des types Séminaire Le séminaire a lieu à l'Inria Bordeaux. Résumé Les assistants de preuve ont deux types d’applications : la construction de preuves formelles de correction de programmes ou d'algorithmes très complexes (compilateurs et analyseurs statiques, algorithmes … 13 déc 2018 17:30 à 18:30
Événement Anne Cheng Lecture du chapitre « Liyun » du Traité des rites (4) Séminaire Une bonne connaissance du chinois classique est nécessaire pour le séminaire. … 13 déc 2018 16:30 à 18:00
Événement Gérard Berry En théorie, la théorie et la pratique c'est pareil, en pratique c'est pas vrai (d'après Yogi Berra) Cours Le cours a lieu à l'Inria Bordeaux. Résumé Cette fameuse maxime de Yogi Berra, grand joueur de baseball et grand créateur d’aphorismes, s’applique parfaitement à la recherche en informatique. L’exposé discutera quatre types de cas à travers des exemples … 13 déc 2018 16:00 à 17:30
Événement Alain Prochiantz Le vieillissement dans les maladies neurologiques Cours 13 déc 2018 14:00 à 16:00
Événement François Déroche Autour de quelques concepts coraniques (4) Cours 13 déc 2018 14:00 à 15:00
Événement Anne Cheng Universalité, mondialité, cosmopolitisme (Chine, Japon, Inde) (suite et fin) (4) Cours 13 déc 2018 11:00 à 12:00
Événement Jean-Marc Ghigo Biofilms, l'union fait la force mais qu'est-ce qui force à l'union ? Séminaire Résumé Jean-Marc Ghigo est un spécialiste éminent des biofilms, des bases génétiques et moléculaires de leur constitution, de leur régulation, particulièrement la transition cruciale entre phase sédentaire (biofilm) et phase planctonique (libre). Cette … 12 déc 2018 17:30 à 19:00
Événement Henry Laurens Les crises d'Orient, l'hégémonie britannique 1926-1956 (5) Cours 12 déc 2018 15:00 à 17:00
Événement Philippe Sansonetti Pourquoi des infections chroniques ou récurrentes ? Cours Résumé À l’occasion de ce cours, nous nous sommes interrogés sur la notion de chronicité et de récurrence en considérant les groupes bactériens les plus aptes à générer de telles situations, sans oublier des paramètres acquis comme l’antibiorésistance et … 12 déc 2018 16:00 à 17:30
Événement Dominique Charpin Un domaine babylonien sous Samsu-Iluna (6) Séminaire Une bonne connaissance du cunéiforme est nécessaire pour le séminaire. … 12 déc 2018 10:00 à 12:00
Événement Xavier Leroy Peut-on changer le monde ? Programmation impérative, effets monadiques, effets algébriques Cours Résumé Jusqu’ici nous avons mis en correspondance des logiques et des langages fonctionnels. Cependant, beaucoup de programmes sont impératifs et non purement fonctionnels, car leur exécution a des effets sur le monde extérieur : ils consomment des … 12 déc 2018 10:00 à 11:00
Événement Matthieu Sozeau Programmer avec Coq : récursion et filtrage dépendant Séminaire Résumé Le troisième séminaire a continué l’exploration de la programmation avec types dépendants débutée au premier séminaire. L’orateur a identifié deux écueils majeurs pour programmer dans une théorie des types comme celle de Coq : la partialité et la … 12 déc 2018 11:30 à 12:30