Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 161
Conférences

le (1h12m42s)

Esterel et SCADE : de la recherche à l'industrie : La vision labo (cycle de cours et séminaires du collège de France en extérieur) 1/3

Pour son cycle de cours 2013/2014, Gérard Berry, titulaire de la Chaire "Algorithmes, Machines et langages" du Collège de France, a choisi de donner ses 3 premiers cours et séminaires au centre Inria à Sophia Antipolis les mercredi 15, 22 et 29 Janvier 2014. Les trois cours sont consacrés à la relation recherche-industrie dans le développement des langages synchrones pour les systèmes temps-réels et les circuits électroniques.Le premier cours présentera l'aventure selon le point de vue des laboratoires de recherche, en se focalisant sur Esterel et Lustre / ...
Voir la vidéo
Conférences

le (1h10m48s)

The Legacy of Rudolph Kalman

In 1960 Rudolph Kalman published what is arguably the first paper to develop a systematic, principled approach to the use of data to improve the predictive capability of mathematical models. As our ability to gather data grows at an enormous rate, the importance of this work continues to grow too. The lecture will describe this paper, and developments that have stemmed from it, revolutionizing fields such space-craft navigation, weather prediction, oceanography and oil recovery; the lecture will also describe new application domains such as climate modeling, medical imaging and machine learning. Some mathematical details will be also provided, but limited to simple concepts such as optimization and iteration; the ...
Voir la vidéo
Label UNT Conférences

le (1h10m31s)

La tribologie

La tribologie est la science des frottements. Un 'frottement' intervient lorsque deux surfaces en contact sont mises en mouvement l'une par rapport à l'autre, produisant une force qui s'oppose au mouvement. La notion même de frottement est en fait très intuitive à tout un chacun, essentiellement car nous pouvons ressentir - physiquement - ses effets dans la vie quotidienne : se frotter les mains pour se réchauffer, craquer une allumette, jouer du violon, glisser sur la glace, freiner en voiture, entendre un crissement craie sur le tableau, mettre de l'huile dans les gonds de porte, etc., on pourrait multiplier 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
Conférences

le (1h9m46s)

Towards the Expressive Design of Virtual Worlds: Combining Knowledge and Control

Despite our great expressive skills, we humans lack an easy way of conveying the 3D worlds we imagine. While impressive advances were made in the last fifteen years to evolve digital modeling systems into gesture-based interfaces enabling to sketch or sculpt in 3D, modeling is still generally limited to the design of isolated, static shapes. In contrast, virtual worlds are composed of distributions or assemblies of elements which are too numerous to be created or even positioned one by one; the shapes of these elements may ...
Voir la vidéo
Conférences

le (1h9m28s)

Numbers, computers and dynamical systems

A discrete dynamical system is defined as a set of states on which a transformation acts, considered as an evolution rule. The terminology discrete refers to the time that is discretized: at time n corresponds the nth iteration of this transformation. Dynamical systems are widely studied, for their modelling as well as for their computation power. We will focus here more specifically on trajectories of chaotic dynamical system from a computer science viewpoint (finite or periodic trajectories). A classical example is provided by the ...
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
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 (1h8m48s)

On Artificial Olfaction, and How to Test For It

For years there has been interest in the possibility of building a reliable odor reproduction system (AOS), with its vast spectrum of applications: from e-commerce, games and video, via the food and cosmetics industry, to medical diagnosis. Such a system would enable an output device — the whiffer — to release an imitation of an odor read in by an input device — the sniffer — upon command. To realize this scheme one must carry out deep and complex research that combines computer science and mathematics ...
Voir la vidéo

 
FMSH
 
Facebook Twitter Google+
Mon Compte