Label UNT Conférences
le (59m3s)
Résultats de recherche
Trier par :
Nombre de programmes trouvés : 24
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... Voir la vidéo
Travaux pratiques
le (26m34s)
JDev2020 : T4 : Comment archiver et référencer tous les codes sources
Le code source des logiciels contient une partie precieuse de notre connaissance scientifique et technique, et il est essentiel de pouvoir l'archiver, le referencer, le decrire et en citer les auteurs.<br> Software Heritage est une initiative à but non lucratif dont l’objectif ambitieux est de collecter, préserver et partager le code source de tous les logiciels jamais écrits, avec leur historique de développement complet, en construisant une base de connaissances logicielle universelle. Dans cet expose, nous allons explorer ensemble quelques unes des fonctionnalites offertes par Software Heritage pour repondre à une variété de besoins des chercheurs et des developpeurs, dans ... Voir la vidéo
Label UNT Conférences
le (1h7m30s)
Risques liés à l'informatisation : dépendance ou confiance ?
Les systèmes informatiques, ou plus exactement les Sciences et Technologies de l'Information et de la Communication, pour éviter une interprétation restrictive, ouvrent de nouveaux défis, car à la situation habituelle en matière de risque, qui considère uniquement les risques de nature accidentelle, ou délibérée mais sans intention nuisible (par exemple, action d'un opérateur qui agit en bonne foi, mais dont l'action se trouve avoir des conséquences négatives), s'ajoutent les malveillances. Ceci conduit à revoir considérablement toute la notion de risque. De plus, cette notion renouvelée de risque s'étend non seulement aux infrastructures informatiques (par exemple, Internet), mais également aux systèmes ... Voir la vidéo
Conférences
le (1h4m31s)
Équilibre et équilibration aquatiques : théorie
Sont traités quelques rappels sur les mécanismes de la flottaison, l’équilibre et l’équilibration du nageur. Voir la vidéo
Colloques
le (18m37s)
Le réacteur politique : un cadre d'analyse pour la gouvernance des systèmes socio-écologiques (Argonne)
...5e colloque des Zones Ateliers – CNRS 2000-2020, 20 ans de recherche du Réseau des Zones Ateliers SESSION 9-Gouvernance et trajectoires des socio-écosystèmesLe réacteur politique : un cadre d'analyse pour la gouvernance des systèmes... Voir la vidéo
Conférences
le (1h42m37s)
La République de Platon - Etienne Helmer - Propositions pour une lecture dynamique de la République
... pensée politique de Platon dans ce dialogue : celle-ci ne se limite pas à l’analyse des conditions de possibilité de la cité juste, mais concerne plus généralement l’ensemble des processus d’intégration et de marginalisation de différentes catégories... Voir la vidéo
Conférences
le (2m44s)
Les arts et les métiers de la vigne et du vin. Révolution des savoirs et des savoir-faire : ouverture / Danielle Cornot
... le Département de Géographie de l'Université de Toulouse II-Le Mirail, Albi, 19-21 avril 2013. Le colloque "Les arts et les métiers de la vigne et du vin" analyse la véritable révolution des arts et des métiers de la vigne et du vin qui s’est opérée... Voir la vidéo
Conférences
le (3h6m11s)
[THESE] Entraînement, Préparation physique & Physiologie cardiovasculaire appliqués au rugby à XV soutenue par Charly FORNASIER-SANTOS Avignon Université
... sport collectif qui se caractérise en match par des courses et des collisions de haute intensité très variables selon les positions. La première partie des travaux, qui s’est centrée sur l’analyse de l’activité par centrale d’analyse cinématique, a... Voir la vidéo
Conférences
le (1h2m13s)
