Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 1352
Conférences

le (57m39s)

Quels phénomènes universels sont émergents ? / Which universal phenomena are emergent?

Christopher Pincock, Professeur de philosophie à l’université d’État de l’Ohio (Ohio State University, États-Unis). Christopher Pincock discute la nature de l’explication de l’universalité de certains phénomènes naturels, comme les phénomènes critiques. Sous quelles conditions est-il possible de les appeler émergents Christopher Pincock discusses the nature of the explanation of the universality of certain natural phenomena, such as critical phenomena. Under what conditions can they be called emergent?
Voir la vidéo
Reportages

le (5m13s)

Cette collection scientifique est l'aboutissement d'un beau projet collectif

La collection « Terra Mater » est née d’un souhait fort émis par la communauté scientifique archéologique de voir publier les résultats des travaux menés sur le site de Gergovie (Puy-de-Dôme, Auvergne) depuis le début des années 2000. Bertrand Dousteyssier,, ingénieur de recherche archéologue (Maison des Sciences de l’homme de Clermont-Ferrand) et directeur de la collection, vous en présente la ligne éditoriale, les exigences scientifiques et les partenariats établis (Conseil départemental, INRAP, CNRS, UCA) pour la préparation des deux premiers opus.
Voir la vidéo
Conférences

le (1h8m54s)

Theoretical Foundations for Runtime Monitoring

Runtime monitoring/verification is a lightweight technique that complements other verification methods in a multi-pronged approach towards ensuring software correctness. The technique poses novel questions to software engineers: it is not easy to see which specifications are amenable to runtime monitoring, and it is not clear which monitors perform the required runtime analysis correctly. In this talk, I will present a theoretical framework that can be used to provide answers to those questions. I will view monitorability as a spectrum: the fewer monitor guarantees are required, the more properties become monitorable. I will then present a monitorability hierarchy ...
Voir la vidéo
Conférences

le (13m43s)

Introduction

Claire Bourguignon, doctorante en histoire de l’art et archéologie médiévale, UCADans les sociétés occidentales médiévales, modernes et contemporaines, le monde végétal occupe une place importante dans la vie quotidienne et les arts. La perception de la nature repose sur une opération psychologique par laquelle l’esprit, en organisant les données sensorielles, se forme une représentation des objets extérieurs et prend connaissance du réel. Il existe donc deux échelles de la perception : celle des sens et celle de l’intellect. Stricto sensu, l’artiste rend présent, montre ce qu’il perçoit de la nature. Son œuvre est le produit d’une représentation mentale, de la ...
Voir la vidéo
Conférences

le (33m23s)

L’arbre et le parchemin. Illustration botanique et mise en page des herbiers médiévaux (XIIIe - XVe siècles)

Alice LAFORÊT, archiviste-paléographe, Bibliothèque nationale de FranceLes derniers siècles du Moyen Âge voient la floraison de nombreux ouvrages sur les plantes, dont certains sont illustrés. Les motifs végétaux qui s’y épanouissent obéissent à des logiques spécifiques : il s’agit pour l’enlumineur de se confronter à un texte, encyclopédie ou herbier. Les contraintes de mise en page propres à ces manuscrits révèlent la réflexion menée par les copistes et les enlumineurs sur l’ordonnancement des connaissances botaniques.Les derniers siècles du Moyen Âge nous ont légué un important corpus d’herbiers enluminés. Ces ouvrages dérivent pour la plupart d’un texte de matière médicale élaboré ...
Voir la vidéo

 
FMSH
 
Facebook Twitter Google+
Mon Compte