Résultats de recherche

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