Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 11672
Conférences

le (39m11s)

Ce que sanctuariser veut dire : John Muir et les défis de la préservation / Yves Figueiredo

Ce que sanctuariser veut dire : John Muir et les défis de la préservation / Yves Figueiredo, in "Espaces sanctuarisés aux États-Unis - Visions of American Sanctuaries", Journée d'études organisée, sous la responsabilité d'Aurélie Guillain (axe « Poéthiques », laboratoire Cultures Anglo-Saxonnes, CAS) de l'Université Toulouse Jean Jaurès, 27 mars 2015. Illustration : "Jupiter terraces" (Mammoth Hot springs-Yellowstone), peinture de Thomas Moran, 1893.Cette journée d'études se propose d'étudier les zones qui ont pu être désignées comme des “espaces sanctuarisés” aux Etats-Unis, soit parce qu'elles ont fait l'objet de certaines mesures de protection les soustrayant à ...
Voir la vidéo
Conférences

le (35m26s)

Ecopoetry and/as the 'ecological work' of language / Thomas Pughe

Ecopoetry and/as the 'ecological work' of language / Thomas Pughe, in Journée d'études "Espaces sanctuarisés aux États-Unis - Visions of American Sanctuaries", organisée, sous la responsabilité d'Aurélie Guillain, par le laboratoire Cultures Anglo-Saxonnes (CAS, axe "Poéthiques") de l'Université Toulouse Jean Jaurès, 27 mars 2015. * Illustration : "Jupiter terraces" (Mammoth Hot springs-Yellowstone), peinture de Thomas Moran, 1893.Cette journée d'études se propose d'étudier les zones qui ont pu être désignées comme des “espaces sanctuarisés” aux Etats-Unis, soit parce qu'elles ont fait l'objet de certaines mesures de protection les soustrayant à la logique de ...
Voir la vidéo
Conférences

le (1h2m59s)

Decision making at scale: Algorithms, Mechanisms, and Platforms

YouTube competes with Hollywood as an entertainment channel, and also supplements Hollywood by acting as a distribution mechanism. Twitter has a similar relationship to news media, and Coursera to Universities. But there are no online alternatives for making democratic decisions at large scale as a society. In this talk, we will describe two algorithmic approaches towards large scale decision making that we are exploring. a) Knapsack voting and participatory budgeting: All budget problems are knapsack problems at their heart, since the goal is ...
Voir la vidéo
Conférences

le (1h1m21s)

Semantics in the Time of Computing

Much of the technical terminology of computer science betrays its logical heritage: ‘language’, ‘symbol’, ‘syntax’, ‘semantics’, ‘value’, ‘reference’, ‘identifier’, ‘data’, etc.  Classically, such terms were used to name essential phenomena underlying logic, human thought and language — phenomena, it was widely believed, that would never succumb to scientific (causal, mechanical) explanation.  Computer science, however, now uses all these terms in perfectly good scientific ways, to name respectable scientific (causally explicable, mathematically modellable) phenomena. There are two possibilities.  The first is that ...
Voir la vidéo
Conférences

le (1h1s)

Numerical Optimal Transport and Applications

Optimal transport (OT) has become a fundamental mathematical theoretical tool at the interface between calculus of variations, partial differential equations and probability. It took however much more time for this notion to become mainstream in numerical applications. This situation is in large part due to the high computational cost of the underlying optimization problems. There is however a recent wave of activity on the use of OT-related methods in fields as diverse as computer vision, computer graphics, statistical inference, machine learning and image ...
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
Conférences

le (1h26m58s)

Le Bitcoin et les monnaies cryptographiques

En 2008 une nouvelle façon de concevoir la monnaie a été proposée, qui remet en cause les anciennes idées sur cette institution. Comme pour le courrier électronique ou internet qui ne sont aux mains d’aucune autorité et conduisent donc à une meilleure appropriation de l’information par tous, et à des pratiques démocratiques nouvelles de communication entre citoyens, il semble que, dans le domaine monétaire, tout pourrait fonctionner sans autorité centrale de contrôle. Le « bitcoin » est la première version de ce nouveau type de monnaies numériques. Il est fondé sur l’utilisation d’un réseau P2P et de ...
Voir la vidéo
Conférences

le (1h4m9s)

Visual Reconstruction and Image-Based Rendering

The reconstruction of 3D scenes and their appearance from imagery is one of the longest-standing problems in computer vision. Originally developed to support robotics and artificial intelligence applications, it has found some of its most widespread use in the support of interactive 3D scene visualization. One of the keys to this success has been the melding of 3D geometric and photometric reconstruction with a heavy re-use of the original imagery, which produces more realistic rendering than a pure 3D model-driven approach. In this talk, I ...
Voir la vidéo
Conférences

le (1h2m37s)

Proofs assistants : from symbolic logic to real mathematics

Mathematicians have always been prone to error. As proofs get longer and more complicated, the question of correctness looms ever larger. Andrew Wiles’ proof of Fermat’s last theorem contained a flaw that was only fixed a year later. Meanwhile, proof assistants — formal tools originally developed in order to verify hardware and software — are growing in sophistication and are being applied more and more to mathematics itself. When will proof assistants finally become useful to working mathematicians? Mathematicians have used computers in ...
Voir la vidéo
Conférences

le (1h19m16s)

Les premiers photons : les saisir, les faire parler

La collaboration « Planck » de l’Agence Spatiale Européenne a récemment publié une carte plein-ciel du rayonnement fossile cosmologique. Cette image est presque littéralement une « photo instantanée » de notre Univers aux premiers temps de sa formation, la plus vieille image du monde. Elle confirme avec éclat et approfondit la théorie du Big Bang, notre meilleur scénario pour l’origine et la formation de l’Univers.  Dans cet exposé, je rappellerai les grandes lignes de la théorie du Big Bang, décrirai le satellite Planck et le traitement des ...
Voir la vidéo

 
FMSH
 
Facebook Twitter
Mon Compte