Conférences
le (30m52s)
Résultats de recherche
Trier par :
Nombre de programmes trouvés : 199
Label UNT Conférences
le (1h4m53s)
Combien d’objets dans une image ?
... mécanisme. Cela permet de montrer dans un cas concret, quels formalismes permettent d'analyser les performances d'un algorithme et de vérifier sa validité. On y croise la fonction d’Ackermann dont le rôle est essentiel en informatique théorique.Cet exposé... Voir la vidéo
Label UNT Conférences
le (32m27s)
IPM 2004 : La connaissance : pierre d'angle des TICE
Nicolas Balacheff présente les mécanismes mis en oeuvre pour s'approprier la connaissance. Cette conférence donnée dans le cadre du congrès IMP 2004 à Grenoble montre la manière dont les apprenants interagissent pour acquérir la la connaissance, fruit de l'activité. Origine IPM 2004. 5ème Congrès international, Grenoble. ... Voir la vidéo
Conférences
le (1h23m19s)
How to build quality software: the Eiffel experience
With society’s growing reliance on IT systems, the ability to write high-quality software is ever more critical. While a posteriori verification techniques have their role, there is no substitute for methods and tools that provide built-in quality (“correctness by construction”) and scale up to very large systems. For several decades my colleagues and I have been building such a method, based in particular on the concept of Design by Contract, the associated tools and the supporting language, Eiffel. The scope is wide, encompassing all aspects of the software development process, from requirements and design to implementation and verification. I will ... Voir la vidéo
Conférences
le (1h30m39s)
Distances et savoirs - Provocateur
... l’enseignement à distance, sciences de l’éducation, de l’information et de la communication, informatique, économie, … 1 – Dispositifs techniques Stratégie des industriels, normes, discours sur et autour (structuration organisationnelle, spatiale et temporelle... Voir la vidéo
Label UNT Conférences
le (1h12m0s)
Calculer avec des modèles analogiques ou avec des aspects analogiques (série : Colloquium Jacques Morgenstern)
...Les modèles de calculs actuels de l'informatique sont des modèles digitaux: ils travaillent sur des bits, ou sur des symboles en nombre fini. Il y a de nombreux modèles, mais la thèse de Church-Turing (et ses... 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 (1h7m31s)
Conférence IEAoLu : " L'informatique change le monde, et voici pourquoi "
... machines et languages ", et Giuseppe Longo, épistémologue et mathématicien, spécialiste en biologie théorique, également membre associé de l'IEA 2014/2017, ont présenté " L'informatique change le monde , et voici pourquoi ", introduit par Pierre Musso,... Voir la vidéo
Documentaires
le (6m41s)
Les trous noirs acoustiques
...Nicolas Pavloff est enseignant-chercheur à l'Université Paris-Sud, rattaché au Laboratoire de Physique Théorique et Modèles Statistiques (LPTMS). Partons à sa rencontre pour comprendre comment les chercheurs sont capables de recréer des trous noirs... Voir la vidéo
Label UNT Conférences
le (1h21m58s)
