Résultats de recherche

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 …

Cette conférence n'est disponible ni en audio, ni en vidéo. Cette conférence examinera l’élargissement de l’Union européenne d’après la chute du mur de Berlin et le démembrement de l’Union soviétique. L’horizon de la paix ne s’est plus limité à …

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 …

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

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. …