Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 1391
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
Label UNT Entretiens

le (1h9m9s)

L'innovation

Première partie de l’Essentiel "Eléments pour une rencontre de la Sociologie et de l’Economie" qui fait suite à la Grande Leçon "La sociologie peut-elle aider à comprendre l'économie ? - Introduction à la socio-anthropologie des marchés".Les auteurs vous proposent de rencontrer le sociologue Jean-Yves Trépos pour un dialogue sur la sociologie de l’innovation.L’approche de l’innovation proposée ici s’écarte des versions couramment présentées en sciences de gestion qui ont en commun d’être centrées sur des secteurs (les produits ou les services innovants) et d’être séquentielles (de la conception à la diffusion, une série d’étapes conçues comme irréversibles). On considère ici l’innovation ...
Voir la vidéo
Label UNT Entretiens

le (1h9m10s)

La consommation culturelle

Deuxième partie de l’Essentiel "Eléments pour une rencontre de la Sociologie et de l’Economie" qui fait suite à la Grande Leçon "La sociologie peut-elle aider à comprendre l'économie ? - L’économie des singularités".Les auteurs vous proposent de rencontrer l’historien du cinéma Fabrice Montebello pour aborder avec lui le spectacle cinématographique du point de vue des consommateurs, véritables experts pour en mesurer la qualité.L'histoire du spectacle cinématographique, c'est-à-dire du cinéma appréhendé du point de vue de ses consommateurs, est peu développée. Elle permet pourtant de dépasser les limites de l'historiographie des productions cinématographiques nationales et d'étudier le contenu et le sens ...
Voir la vidéo
Conférences

le (1h9m15s)

Number-theoretic methods in quantum computing

An important problem in quantum computing is the so-called approximate synthesis problem: to find a quantum circuit, preferably as short as possible, that approximates a given unitary operator up to given epsilon. Moreover, the solution should be computed by an efficient algorithm. For nearly two decades, the standard solution to this problem was the Solovay-Kitaev algorithm, which is based on geometric ideas. This algorithm produces circuits of size O(log^c(1/epsilon)), where c is approximately 3.97. It was a long-standing open problem whether this exponent ...
Voir la vidéo

 
FMSH
 
Facebook Twitter Google+
Mon Compte