Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 4477
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 (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 (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 (1h18m6s)

Les Inuits ne trouvent pas ça extrême - Michèle THERRIEN

L'histoire de l'exploration, la géographique classique et une certaine ethnographie ont contribué à transformer l'Arctique en lieu emblématique de « l'extrême ». Il serait plus juste de considérer que les Inuit de l'Alaska, de l'Arctique canadien et du Groenland vivent dans un milieu exigeant, soumis à de constants changements climatiques. Face à l'imprévisibilité, un système de connaissance ouvert et des mécanismes d'ajustement ont permis à ces sociétés originaires de la Sibérie, de se développer, de perdurer, de connaître une démographie ascendante et de s'affirmer aujourd'hui politiquement. Si le qualificatif « extrême » correspond à l'image que les Occidentaux projettent sur ...
Voir la vidéo

 
FMSH
 
Facebook Twitter Google+
Mon Compte