Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 34
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 (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 (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 (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

 
FMSH
 
Facebook Twitter Google+
Mon Compte