Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 11806
Conférences

le (1h3m4s)

Une fréquence peut-elle être instantanée

Séminaire associé au 2e cours à l'extérieur de Gérard Berry pour le collège de France intitulé :  "Esterel et SCADE de la recherche à l'industrie : La vision industrielle".Enregistrer un évènement, mesurer l'évolution d'un système, transmettre une information : autant de situations donnant naissance à des séries temporelles, qu"il convient d'analyser, de modéliser, de transformer. On sait depuis Fourier ce que de tels traitements peuvent gagner à quitter l'espace directe et naturel du domaine temporel pour aller vers celui des fréquences, mais au prix d'un paradoxe d'interprétation physique. Alors même que l'expérience quotidienne nous conforte dans ...
Voir la vidéo
Conférences

le (44m34s)

Le traitement du temps en automatique

Ce séminaire est associé au 1er cours à l'extérieur de Gérard Berry pour le collège de France intitulé "Esterel et SCADE, de la recherche à l'industrie : la vision labo"Nous discuterons de différents modèles et traitement de problèmes d'automatique dans lesquels le temps joue un rôle essentiel. Après quelques rappels historiques, nous introduirons les modèles mathématiques classiques des systèmes dynamiques, qui s'expriment par des relations entre le temps continu ou discret, les entrées du système en fonction du temps, ses sorties, et son état interne. Le traitement technique de ces quantités dépend d'hypothèses sur le comportement ...
Voir la vidéo
Conférences

le (1h14m47s)

Optimisation et apprentissage

L'apprentissage est un domaine émergent à l'interface de l'informatique et des statistiques, porté par la croissance exponentielle du flot de données générées par des applications aussi variées que la biologie, le commerce en ligne, l'imagerie, la vidéo, le traitement du langage, etc. Ce domaine a la particularité d'offrir à la fois un vaste champs d'expérimentation pour les mathématiques appliquées modernes, et des perspectives industrielles dont nous n'avons pour l'instant qu'ébauché la portée. Cet exposé couvrira quelques exemples importants d'algorithmes et de résultats statistiques dans ...
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 (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 (1h1m52s)

An extensionalist analysis of computer simulations

The current spreading of multi-scale and multi-process integrative simulations is challenging for the philosophy of science. What is the epistemic function of such a simulation? What does it really show? On what grounds? Is it an experimental design or a theoretical construction? To contribute to these debates, I suggest analyzing the ways computer simulations (CSs) are using symbols. To this end, I will present an extensionalist analysis of CSs. This approach puts the emphasis not on languages nor on models, but more precisely on symbols, ...
Voir la vidéo
Conférences

le (1h14m31s)

A l’écoute du bruit – L’imagerie par corrélations croisées

Les techniques d’imagerie classiques utilisent des ondes pour sonder un milieu inconnu et sont employées pour des applications médicales (échographie) ou géophysiques (séismologie) par exemple. Ces ondes sont émises par des réseaux de sources et après propagation dans le milieu elles sont enregistrées par des réseaux de récepteurs.   Ces techniques sont généralement mises en défaut lorsqu’on les utilise dans des milieux diffusants contenant des inhomogénéités aléatoires, car les signaux cohérents venant des réflecteurs à imager et enregistrés par les réseaux ...
Voir la vidéo
Conférences

le (59m21s)

Can it be done in software ?

The symbiosis of software with computer, sensors and actuators creates a new kind of physical engineering system. Robots used in space exploration and GPS - on the ground, GPS is just a "giant Kalman filter" - are great examples. But the future potential is difficult to estimate. One view - mine - is that the future depends on mathematics, on system theory broadly interpreted.. After recalling, very briefly, the successes and limitations of linear systems theory, I shall outline a broad pathway ...
Voir la vidéo

 
FMSH
 
Facebook Twitter Google+
Mon Compte