Canal-U

Mon compte

Résultats de recherche

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

Les politiques et processus d'innovation de médicaments

Le processus de mettre sur le marché un médicament est très long et difficile – au moins 15 ans et également très coûteux (environ $ 800 Millions par molécule lancée). La plupart de ce processus (les derniers deux tiers) est néanmoins très réglementé pour satisfaire les besoins d'efficacité et de sécurité à la demande des différentes agences gouvernementales en France, Europe et dans le monde et donc, maintenant nécessite un développement mondial avec les études cliniques chez les patients faits dans plusieurs pays du monde. La partie initiale qui implique la conception du médicament et son évolution initiale est orientée ...
Voir la vidéo
Label UNT Conférences

le (1h7m29s)

Développement et évolution du système nerveux

Conférence du 24 janvier 2000 par Alain Prochiantz. On découvrit dans les années 1970, chez une mouche, la Drosophile, des mutations conduisant au remplacement de tout ou partie d'un organe par un autre organe. On observa, par exemple, des transformations de type antenne-patte, aile-balancier, ou aile-oeil. Ces mutations ont été dites homéotiques, l'organe d'un segment étant remplacé par l'organe homologue d'un autre segment. Les gènes homéotiques codent pour des facteurs de transcription qui, en se fixant sur des séquences promotrices, régulent l'expression d'autres gènes. Ces observations ont conduit à découvrir, dans tous les embranchements du règne animal, la présence de ...
Voir la vidéo

 
FMSH
 
Facebook Twitter Google+
Mon Compte