Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 5354
Label UNT Conférences

le (36m4s)

De la chimie de synthèse à la biologie de synthèse (6)

De la chimie de synthèse à la biologie de synthèseFrom Synthetic Chemistry to Synthetic BiologyConférence internationalemardi 5 mai 2009amphithéâtre Maurice HalbwachsCollège de France11 place Marcelin-Berthelot - 75005 Paris12h00 Patrick FORTERRE (Université Paris Sud &Institut Pasteur)Manipulation des synthèses cellulaires etnature des virus : les virus sont-ils vivants ?
Voir la vidéo
Conférences

le (27m44s)

Présentation de travaux de recherche en Interaction Homme Machine (IHM) / Pourang Irani

Présentation de travaux de recherche en Interaction Homme Machine (IHM) / Pourang Irani, in "Stranger Screens", journée d'étude organisée par le Master Design Transdisciplinaire, Cultures et Territoires (DTCT), sous la responsabilité scientifique d'Anthony Masure, Université Toulouse Jean-Jaurès, 22 janvier 2018. L’histoire des écrans d’informations est celle d’une succession de technologies de calcul (processeurs, cartes graphiques, etc.) allant de pair avec différentes technologies d’affichage (cathodique, plasma, cristaux liquides, plasma, etc.). Alors qu’une diversité de formes et de formats coexistait aux débuts de l’informatique personnelle à la fin des années 1970, les écrans numériques se sont progressivement homogénéisés en rectangles de plus ...
Voir la vidéo
Conférences

le (1h2m37s)

Proofs assistants : from symbolic logic to real mathematics

Mathematicians have always been prone to error. As proofs get longer and more complicated, the question of correctness looms ever larger. Andrew Wiles’ proof of Fermat’s last theorem contained a flaw that was only fixed a year later. Meanwhile, proof assistants — formal tools originally developed in order to verify hardware and software — are growing in sophistication and are being applied more and more to mathematics itself. When will proof assistants finally become useful to working mathematicians? Mathematicians have used computers in ...
Voir la vidéo
Conférences

le (58m39s)

Coccinelle: synergy between programming language research and the Linux kernel

The Linux kernel underlies all kinds of systems across the computing landscape, from embedded systems to supercomputers. Today, the number of developers contributing to a given Linux kernel version is almost 2000. These range from developers who have many years of experience and work on core parts of the kernel to new developers who contribute a single device driver or bug fix. This volume of contributors and range of experience levels implies that devising means to unambiguously communicate information about kernel properties across the ...
Voir la vidéo
Label UNT Conférences

le (17m35s)

Anatomie de la cellule

Etude comparée des différents organites d'une cellule par microscopie optique en contraste de phase et par microscopie électronique. Mise en évidence d'organites à peine soupçonnés ou même inconnus. Extension à l'étude des cellules cancéreuses. Bibliographie : La cellule, dictionnaire encyclopédique sous la direction de Nicole Aimé-Genty, Editions VuibertGénériqueAuteur-réalisateur : Marcel BESSIS Producteur : Laboratoires MIDY Diffuseur : Institut de cinématographie scientifique (e-mail : ics@cnrs-bellevue.fr)
Voir la vidéo

 
FMSH
 
Facebook Twitter Google+
Mon Compte