Résultats de recherche

Résumé La protection de l’environnement et la protection des animaux se rejoignent lorsqu’il s’agit de considérer la faune sauvage indigène, mais entrent en opposition dans la gestion des prédateurs introduits qui constituent une menace pour les espèces …

Aujourd’hui, les distances phylogénétiques sont souvent utilisées comme un critère objectif universel. Or, dans certains cas, d’autres modes de classification du vivant peuvent être plus judicieux. Documents et médias Télécharger le …

Conférence en anglais. Résumé Power-to-liquid (PtL) technologies must be deployed at world-scale to sustainably produce energy-dense liquid fuels in the quantities needed to replace fossil fuels in hard-to-decarbonize industries. Legacy PtL pathways rely …

Résumé Les maladies infectieuses ont été l'une des principales causes de mortalité chez notre espèce, Homo sapiens . Les pathogènes ont ainsi profondément marqué la démographie des populations humaines, leur histoire, mais aussi leur susceptibilité …

Ce cours abordera l’histoire du peuplement des Amériques, une histoire unique en son genre. Elle représente le point culminant de la dernière expansion des humains modernes ayant quitté l’Afrique. Elle implique, en outre, la rencontre entre les natifs …

Résumé L’hamiltonien de Hubbard gouverne les phases accessibles aux particules fortement corrélées dans un potentiel périodique. Ici, on introduit une technologie pour émuler le modèle de Hubbard à partir de quasi-particules semi-conductrices confinées …

Résumé Nous présenterons un état de l’art des méthodes d’éléments finis multi-échelles : les problèmes auxquels ces méthodes s’attaquent, le développement des différentes approches, les progrès de leurs performances et ceux de leur connaissance théorique. …

Documents et médias Télécharger le support Télécharger les notes de cours …

Temples et chapelles du feu à partir du III e   siècle de notre ère : Paykend   ; Erkurgan (?)   ; Dil'berdzhin (?)   ; Surkh Kotal. …

Résumé De l’apprentissage dans le monde musulman, on connaît aujourd’hui souvent les écoles religieuses, où les élèves sont initiés à l’écriture et la grammaire ainsi qu’à la récitation coranique. On connaît aussi par des traités médiévaux le cursus de …

Une scholie aux Dialogues des courtisanes du satiriste Lucien de Samosate décrit avec un degré de détail inusité des manipulations rituelles accomplies pendant les Thesmophories. Cette glose byzantine est probablement fondée sur un texte d’érudit de la …

Résumé The talk gives a brief overview of our book "Functional Algorithms, Verified!" and its approach to verifying not just correctness but also running time of a large collection of functional algorithms. Then, two examples are presented in more detail: …

Résumé L'amortissement est un principe de conception de structures de données qui vise à garantir un coût moyen par opération sur toute séquence d'opérations, le coût élevé de certaines opérations étant amorti par le coût faible d'opérations précédentes. …