Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 4747
Label UNT Vidéocours

le (10m9s)

Récursivité (Introduction à la vérification de programme)

Dans ce cours vidéo, il est expliqué schématiquement d'où proviennent les erreurs de programmation et en quoi consiste la vérification de programme. Vous aurez notamment une idée des fondements mathématiques et logiques sur lequels repose cette vérification. Ce cours présente également les principales techniques pour la vérification de programme ainsi que quelques logiciels utilisés.Troisième partie du cours "Introduction à la vérification de programme".
Voir la vidéo
Conférences

le (10m10s)

IPM 2007. La place des TIC dans le contexte hospitalo-scolaire

Christelle Sturtz, Doctorante en Sciences de l'Education et de la Communication au Laboratoire InterUniversitaire des Sciences de l'Education de Strasbourg, s'interroge sur la place des technologies de l'information et de la communication dans le contexte hospitalo-universitaire pour les enfants-malades . Dans le cadre de la loi de février 2005, que faire quand un enfant souffre d'un handicap et ne peut plus se rendre à l'école ? Les TIC peuvent être un support innovant utilisé à des fins pédagogiques. Les TIC auraient un effet humanisant par l'amélioration du cadre de vie, bien-etre psychologique etc.. SCD médecine nancy 1 mpa
Voir la vidéo
Conférences

le (10m13s)

Quel avenir pour le Web ? Faire face aux enjeux politiques et technologiques avec le Web de données : conclusion

 Dernière journée du cycle propose d’élargir la réflexion à l’avenir du Web et des modèles de développement qui l’accompagnent. A cette occasion, elle réunira des interventions visant à éclairer les enjeux techniques et politiques actuels (en compagnie d’Antoinette Rouvroy et Harry Halpin), articulées à des présentations de réalisations susceptibles d’ouvrir sur d’autres modèles pour l’avenir (avec Henry Story, Fabien Gandon, des membres de l’équipe Inria WIMMICS et du Ministère de la Culture). Cette journée se conclura par la remise d’une note de ...
Voir la vidéo
Conférences

le (10m15s)

IPM 2007. Partenariat autour des sciences fondamentales avec UNISCIEL

Unisciel est une université récemment créée en septembre 2006. Elle regroupe les mathématiques, physique, chimie , sciences de la vie, sciences de la terre. L'existant a déja été indexé. 21 établissements ont adhéré, 100 000 étudiants sont ciblés. Les ressources sont librement consultables en ligne, sont interopérables, seccables, partageables et modifiables. On a travaillé sur des modèles xml , les notations dans les équations sont modifiables. Les sorties peuvent se faire à multi niveaux. La pésence d'objets interactifs est apppréciée en sciences. Un appel d'offre a été réalisé. Les étudiants sont très friands d'exercices en sciences. L'objectif était d'élever le ...
Voir la vidéo

 
FMSH
 
Facebook Twitter
Mon Compte