Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 1706
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 Témoignages

le (52m16s)

Le nanomonde, Canal du savoir

Catherine Bréchignac, à l'époque directrice du département Sciences physiques et mathématiques du CNRS, décrit les outils utilisés pour explorer le nanomonde (observation directe des édifices atomiques), les propriétés découvertes et les applications possibles. Le principal instrument d'observation est le microscope à effet tunnel qui permet de visualiser une surface à l'échelle atomique. Cet instrument permet également de déposer des atomes sur une surface (écriture) ou de creuser des sillons dans la matière (gravure). Il est aussi possible de fabriquer des nano-objets formés de quelques atomes ou de quelques milliers d'atomes. Les physiciens étudient ces agrégats d'atomes dans le vide ou ...
Voir la vidéo
Label UNT Documentaires

le (12m15s)

Modes stationnaires à l'interface He-superfluide/gaz engendrée par un fil chaud

Le montage expérimental est tout d'abord présenté : à l'intérieur d'un cryostat à l'hélium liquide, un fil est monté pour une mesure à quatre points. Les paramètres qui interviennent sont : la surpression hydrostatique déterminée par la hauteur du liquide au dessus du fil la température du bain le flux de chaleur injecté dans le fil par effet Joule, rapporté à l'unité de surface. En augmentant le flux de chaleur, trois régimes ont été mis en évidence : 1°) une couche de gaz cylindrique entoure le fil (régime I) ; 2°) ensuite, cette couche se déforme. Il apparaît (régime II) ...
Voir la vidéo
Entretiens

le (1h13s)

L'économie de l'entreprise et ses nouvelles problématiques

Dans cet entretien, Alain D'IRIBARNE décrit son parcours scientifique durant lequel il a travaillé sur l'économie de l'entreprise sous l'angle des relations entre innovations technologiques et performances de l'entreprise, et de l'organisation et de la gestion des ressources humaines. Il est ici question des grandes étapes telles que l'élargissement des concurrences des marchés dans les années 1980, et de l'arrivée des nouvelles technologies de l'information et de la communication dans les années 1990. Il explique comment sont nées de nouvelles problématiques liées à ces grands changements. Responsable de différents programmes scientifiques, il évoque les méthodologies appliquées dans ces recherches, ...
Voir la vidéo
Entretiens

le (0s)

Transfert de modèles artistiques et culturels

Invitée par la FMSH en 2006, Heliana ANGOTTI-SALGUEIRO, marquée par le caractère interdisciplinaire de son parcours intellectuel, explique ce que sont les modalités de transfert des modèles artistiques et culturels par les expériences de déplacement et d’appropriation de modèles de références. Ses recherches s’appuient notamment sur des études de cas de trajectoires considérées comme « mineures » dans le domaine de l’architecture de l’urbanisme, de la photographie. Elle donne des exemples tirés de ses différentes publications individuelles et collectives, mais aussi son expérience de commissaire d’exposition. Elle s'interroge également sur les notions relatives aux modalités de transfert de modèles ...
Voir la vidéo
Conférences

le (1h10m13s)

Folding Turing is hard but feasible

We introduce and study the computational power of Oritatami, a theoretical model to explore greedy molecular folding, by which the molecule begins to fold before waiting the end of its production. This model is inspired by our recent experimental work demonstrating the construction of shapes at the nanoscale by folding an RNA molecule during its transcription from an engineered sequence of synthetic DNA. While predicting the most likely conformation is known to be NP-complete in other models, Oritatami sequences fold optimally in linear time. Although our model ...
Voir la vidéo
Label UNT Documentaires

le (14m18s)

Le temps des neurones

Quinze minutes de plongée dans le monde étrange et fascinant de nos cellules nerveuses. Grâce aux techniques de la microcinématographie, les phénomènes les plus complexes qui se déroulent dans le cerveau sont enfin montrés. Nous voyons naître les cellules nerveuses, nous les voyons grandir, travailler, mourir. Ces images mettent en évidence deux acteurs principaux : les cellules gliales, responsables de l'architecture et du nettoyage du cerveau, et les neurones qui ont pour fonction de communiquer en produisant des signaux. Un voyage dans le moi le plus intime.GénériqueAuteurs : Marcel Pouchelet, William Rostène et Jean-François Ternay Réalisateur : Jean-François Ternay Producteur ...
Voir la vidéo
Label UNT Conférences

le (1h3s)

L'éthylène, c'est quoi ?

Le sujet de sa présentation est de faire connaître l'utilisation, la variété des produits, et la fabrication de l'éthylène et de ses dérivés, dans les usines énormes de « vapocraquage ». C'est un produit peu connu en tant que tel, alors qu'il est, et de loin, le produit pétrochimique fondamental le plus demandé, avec plus de 130 millions de tonnes produites par an, dans tous les pays du monde. L'éthylène est à la base de toute la pétrochimie mondiale, et à l'origine des plastiques, des emballages, de médicaments, d'applications en automobile, en mobilier et en bâtiment, en peintures, et d'autres ...
Voir la vidéo

 
FMSH
 
Facebook Twitter Google+
Mon Compte