Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 279
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
Autres

le (1h10m7s)

Lecture de poésie anglophone : David Herd, Jane Augustine, Michael Heller

Lecture de poésie anglophone : David Herd, Jane Augustine, Michael Heller. In Journée d'étude "Tailor-Made Traditions : The Poetics of US Experimental Verse" organisée par Clément Oudart (Cultures Anglo-Saxonnes, axe de recherche "Poéthiques") de l'Université Toulouse II-Le Mirail. Toulouse : Dickinson College, 25 janvier 2013. 1. Lecture par David HERD de quelques uns de ses poèmes extraits du recueil All Just (Carcanet, 2012), traduits et lus consécutivement par Olivier Brossard. David HERD est un poète britannique. Il est professeur de littérature moderne à University of Kent, Canterbury (UK). 2. Lecture par Jane AUGUSTINE  de ses poèmes extraits du recueil A Woman’s Guide ...
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
Documentaires

le (1h10m17s)

Koursk, un sous-marin en eaux troubles

En Août 2000, le plus sophistiqué des sous-marins nucléaires russes, le Koursk, coule avec ses 118 membres d?'équipage dans la mer de Barents. Proposée par les britanniques, la thèse de l?'explosion accidentelle d?'une ancienne torpille deviendra très vite la version officielle. Elle sera reprise par la plupart des médias russes et internationaux alors que les véritables raisons de ce naufrage n? ont jamais été élucidées. Quatre années plus tard, à la suite d? une longue investigation, ce film met en lumière des faits troublants, totalement occultés par le ...
Voir la vidéo
Conférences

le (1h10m36s)

Les familles animales

Les discussions sur la famille se restreignent en général à des familles exclusivement humaines. Jusqu'où peut-on étendre la notion de famille sans qu'elle explose ? Une véritable phylogenèse de la famille s'est exprimée chez de multiples espèces animales dans des systèmes d'une très grande diversité. La question des familles animales doit cependant moins servir à illustrer des lieux communs qu'à les mettre en difficulté. Une colonie de fourmi, par exemple, peut-elle être considérée comme une famille monoparentale ? Dans cette perspective, les familles qui se composent d'agents d'espèces différentes attirent l'attention. Les Gardner, qui ont enseigné un langage symbolique à ...
Voir la vidéo
Conférences

le (1h11m18s)

L'identité génétique

Conférence du 4 janvier 2000 par Antoine Danchin. Deux lois fondamentales régissent la génétique. La première est la conservation de la mémoire. Elle est permise par la structure de la molécule d'ADN, support de l'information génétique. Celle-ci est constituée de deux brins en vis-à-vis utilisant la complémentarité des bases deux à deux. Il est donc possible de recopier l'information en séparant les deux brins pour leur associer à chacun un nouveau brin complémentaire. Cette réplication est indépendante de la signification de l'information recopiée. La seconde loi correspond à l'existence d'un code génétique. Il s'agit d'une règle de correspondant entre deux ...
Voir la vidéo
Label UNT Conférences

le (1h12m29s)

La symétrie ici et là

La symétrie est introduite à partir du miroir. Pour initier à sa structure on introduit les notions de transformation et d'invariance qui donnent les fondements de la théorie des groupes, clef de voûte de la symétrie en mathématiques. L'application choisie au départ concerne les lettres de l'alphabet. Cependant, la symétrie ne se réduit pas à cela. Elle a des applications naturelles à l'art, l'architecture, la musique, la poésie, le sport, la biologie, la physique, etc. et elle intervient dans d'autres domaines moins immédiats, comme le théâtre, la morale, l'histoire ou la métaphysique. Dans l'impossibilité de traiter ces aspects dans le ...
Voir la vidéo

 
FMSH
 
Facebook Twitter
Mon Compte