Canal-U

 

Résultats de recherche

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

le (57m20s)

Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 2ème partie

Nous présentons les systèmes embarqués critiques et les exigences qui leur sont liées : dans certains cas (nucléaire, avionique, santé) aucun bug n'est accepté. Puis nous présentons l'analyse statique, que nous illustrons sur un exemple de programme. Nous montrons que pour analyser des variables numériques (entiers et réels) il faut utiliser des notions géométriques telles que les intervalles et les polygones. Nous montrons ensuite que l'analyse des boucles (boucles while et boucles for) requiert des techniques d'accélération. Nous terminons avec des exercices réalisés avec l'outil concurinterproc qui permet d'analyser un programme et de démontrer des propriétés essentielles pour garantir l'absence de bug.
Voir la vidéo
Conférences

le (57m18s)

The Optimal Rule of Decision-making for Areopagus: Public Voting or Apparent Consens?

La sagesse collective : principes et mécanismesColloque des 22-23 mai 2008, organisé par l'Institut du Monde Contemporain du Collège de France, sous la direction du Professeur Jon Elster.Intervention de Philippe Urfalino.Areopagus, as are constitutional courts and committees of experts, are expected to reach decisions which must be justified by reasons. Their members are not elected but appointed with a reference to their specific competence. With regard to the nature of the decisions they make and the intellectual quality of their members, areopagus are strongly associated with an idea of a certain kind of wisdom. One of the questions areopagus are ...
Voir la vidéo
Label UNT Vidéocours

le (57m12s)

IFSI Limoges 2011 – Risques, incidents en chronicité.

Titre : IFSI Limoges 2011 – Risques, incidents en chronicitéAuteur : Christine BONNET  (Service de rhumatologie, CHU de Limoges).Résumé : UE 2.3 Rhumatologie : Risques, incidents en chronicitéL’auteur n’a pas transmis de conflit d’intérêt concernant les données diffusées dans cette vidéo ou publiées dans la référence citée.Conférence enregistrée lors du cours de l’Institut de Formation en Soins Infirmiers (IFSI). Université de Limoges 1ère année.Année universitaire 2010 – 2011.Réalisation, production : Canal U/3S.Mots clés : IFSI, formation, soins infirmiers, Limoges, 2011, rhumatologie, chronicité
Voir la vidéo
Conférences

le (57m9s)

35 - Modèles critiques et pratiques sonores

Session Effets artistiques et littéraires de Mai 68. Transformations plastiques, déstabilisations génériques, nouveaux dispositifs de création Colloque Mai 68 en quarantaine Cet exposé voudrait envisager les déplacements et évolutions des modèles de critique politique à l’œuvre dans l’art et la littérature contemporaines. A partir de la conception matérialiste telquelienne de l’écriture comme « pratique signifiante » et « production textuelle » accompagnant une visée révolutionnaire à l’échelle globale de la culture, jusqu’aux poétiques contemporaines (que l’on spécifiera comme ambiantiques, virales, ou dispositales) court-circuitant la relation esthétique pour produire des effets de critique épistémologique locale, en passant par les ...
Voir la vidéo

 
Cerimes