Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 11494
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 (1h39m3s)

4th EURHO Conférence Rural historie 2019

Agriculture and Food-Supply. Perspectives for a global historyFeeding the world’s population has always produced challenges for agriculture, and these challenges are increasing. In the short term farm output is always affected by fluctuations in weather conditions. In the long run agriculture has to feed a grow-ing number of consumers, and an increasing proportion of them no longer produce what they eat. In the past these factors led to a search for external resources and encouraged the rise of productivism.This double pressure on producers has had some well-known perverse effects: poor peasants needing to have regard to the demands of colonial ...
Voir la vidéo
Conférences

le (1h48m19s)

Conférence de Jean-Louis Cohen. Vers une architecture transnationale : circulations, transferts, interférences.

Jean-Louis Cohen est architecte et historien. Il est depuis 1994 Sheldon H. Solow Professor in the History of Architecture à l’Institute of Fine Arts de New York University et professeur invité du Collège de France depuis 2014. Entre 1997 et 2003, il a conçu et dirigé pour le ministère de la Culture la préfiguration de la Cité de l'architecture et du patrimoine.Parmi plus de trente ouvrages publiés dans de nombreux pays et dans plusieurs langues figurent L’architecture au 20e siècle en France, modernité et continuité (2014). Le Corbusier : an Atlas of Modern Landscapes (2013). Interférences / Interferenzen : architecture, ...
Voir la vidéo
Séminaires

le (1h10m5s)

Séminaire avec Pascal Blanchard autour de l’ouvrage "Sexe, race & colonies"

Intervention de Pascal Blanchard (historien, chercheur associé au Laboratoire communication et politique, CNRS) autour de l’ouvrage Sexe, race & colonies (La Découverte, 2018) lors du séminaire Urmis Nice du 12 septembre 2019.Introduction par Yvan Gastaut dans le cadre du séminaire Migrations et altérités de l'Urmis Nice.NB : toutes les images projetées sont extraites de l'ouvrage.
Voir la vidéo
Entretiens

le (1h35m58s)

GINETTO ANZIL, ANCIEN CHEF DE FABRICATION À LA TUILERIE DE GROSSOUVRE (CHER)

Ginetto Anzil est né en 1949 à Udine, dans la région du Frioul, au nord-est de l'Italie. En 1950, avec les autres membres de la famille, il rejoint son père à Sancoins où ce dernier travaille depuis deux ans comme ouvrier dans la tuilerie Perrusson et Desfontaines. Après le BEPC, Ginetto est embauché chez Nardonnet, usine spécialisée dans la fabrication de fosses septiques et de matériaux pour le bâtiment (Sancoins), puis à Michelin (Saint-Doulchard). Entre 1969 et 1973, il est salarié à la tuilerie de Grossouvre. Recruté comme potier, il devient rapidement chef ...
Voir la vidéo

 
FMSH
 
Facebook Twitter Google+
Mon Compte