Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 9
Conférences

le (47m53s)

La sculpture en absence de vision

Si la substitution du toucher à la vue permet d’appréhender fidèlement la forme d’une œuvre sculptée, elle est moins opérante dans l’identification des matières représentées. Le corps nu est ainsi plus préhensible que drapé. Pour autant, tissus et chevelure dont les textures réelles sont éloignées de leur traduction sculptée peuvent être reconnus grâce à leur localisation sur le sujet. Mais qu’en est-il des éléments qui contextualisent l’œuvre : attribut, supports ou décor ? Comment comprend-on une plume ou un feuillage, comment perçoit-on le feu et ses flammes, l’eau et son écume, l’air ou son souffle ? Le « toucher » s’impose ...
Voir la vidéo
Documentaires

le (29m41s)

Chronique aka 97 : Boire et déboires après la forêt

Chronique aka 97 : Boire et déboires après la forêt :Chronique aka vidéo, Paris septemnre 1997, Chronique aka écrite, Bordeaux, novembre 1994En septembre 1997, une tournée européenne de musiciens aka de République centrafricaine est organisée par "Le jardin des poiriers" et Régis Cissokho, des promoteurs français et centrafricains de spectacles ethniques L'équipe choisie est celle avec laquelle travaillent depuis des décennies les ethnomusicologues du CNRS, Simha Arom et Susanne Fürniss à proximité de Mongoumba. Alain Epelboin, anthropologue médecin, vidéaste, travaille dans des campements voisins de ceux des voyageurs. Bien connu d'eux, il en profite pour ...
Voir la vidéo
Conférences

le (50m47s)

Strict monotonicity of percolation thresholds under covering maps (workshop ERC Nemo Processus ponctuels et graphes aléatoires unimodulaires)

Percolation is a model for propagation in porous media that as introduced in  1957 by Broadbent and Hammersley. An infinite graph G models the geometry of the situation and a parameter p embodies its porosity: percolation consists in keeping independently each edge with probability p, erasing it otherwise, and looking at the infinite connected components of the resulting graph. It turns out that there is a critical porosity: for smaller porosities, all components are finite almost surely, while for larger ones, there is almost surely at ...
Voir la vidéo
Conférences

le (42m40s)

Stein-Malliavin method for discrete alpha stable point processes (workshop ERC Nemo Processus ponctuels et graphes aléatoires unimodulaires)

The notion of discrete alpha-stable point processes generalizes to point processes the notion of stable distribution. It has been introduced and studied by Davydov, Molchanov and Zuyev a few years ago. Their stability property leaves a large degree of variability in the choice of their driving characteristics but enforces a rich mathematical structure. We show how to build a Dirichlet-Malliavin structure for these processes and we apply this framework to several limit theorems. Some known results for Poisson point processes appear as corollaries of ...
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
Conférences

le (58m39s)

Coccinelle: synergy between programming language research and the Linux kernel

The Linux kernel underlies all kinds of systems across the computing landscape, from embedded systems to supercomputers. Today, the number of developers contributing to a given Linux kernel version is almost 2000. These range from developers who have many years of experience and work on core parts of the kernel to new developers who contribute a single device driver or bug fix. This volume of contributors and range of experience levels implies that devising means to unambiguously communicate information about kernel properties across the ...
Voir la vidéo
Conférences

le (1h32m20s)

Mathématiques, Statistiques et Médecine: des collaborations plus que jamais nécessaires

A travers le paradigme d’une maladie chronique fréquente, le cancer du sein, nous souhaitons aborder les évolutions de formes de collaborations entre le domaine médical et les chercheurs en mathématiques appliquées. La capacité à observer et quantifier les états physiologiques et pathologiques et approcher leurs variabilités intra- et inter- individuelles a marqué l’entrée dans une médecine dite scientifique dès la fin de 18eme siècle. Dès la seconde moitié du 20eme siècle, le monde anglo-saxon, suivi rapidement par le monde scandinave a su mettre en ...
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 (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

 
FMSH
 
Facebook Twitter Google+
Mon Compte