Search results

Abstract Some soldiers are particularly well known to us, like General Yasim-El. But lesser officers, such as Yamṣum, also wrote enough letters to allow us to sketch a portrait. Finally, we'll see how ordinary soldiers escaped …

Lecture outline : Curry-Howard   ; gentzen's natural deduction   ; inductive definitions following Martin-Löf   ; algebraic presentation of type theory and term model as initial model   ; some examples of models, in particular the set model and prefix …

Drawing © Monika Jasnauskaite Virginijus Šikšnys is invited by the Collège de France assembly at the suggestion of Pr Edith Heard. Abstract Bacteriophages (viruses that infect bacteria) pose a lethal threat to bacteria. In response, bacteria evolved …

Abstract Although the genome is often called the blueprint of an organism, it is perhaps more accurate to describe it as a parts list composed of the various genes that may or may not be used in the different cell types of a multicellular organism. …

Abstract In the performance of the nations most renowned for the quality of their primary and secondary mathematics training and for the excellence of their research, we observe the frequent practice of extracurricular investment in clubs and in training …

Abstract We are not all equal when it comes to infections. Thanks to recent advances in genomics and data science, it is now possible to imagine a more precise medicine, better adapted to individual needs, also in the field of infectious diseases. From …