Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 1714
Conférences

le (1h4m32s)

CoNeCo: Concurrency, Networks and Coinduction

In recent years, concurrent Kleene algebra (CKA), an extension of Kleene Algebra (KA) that includes concurrent composition as a first-class citizen, has been proposed by Hoare et al. as a setting to study the algebraic properties of concurrent composition as an operator on programs.  Orthogonally, based on KA, Foster et al proposed NetKAT, a domain-specific language that can be used to program and verify policies of Software Defined Networks. in this talk, we will show how to develop a concurrent extension of NetKAT based on CKA, which supports expressing and verifying the concurrent filtering of packets — on the same ...
Voir la vidéo
Conférences

le (1h10m48s)

The Legacy of Rudolph Kalman

In 1960 Rudolph Kalman published what is arguably the first paper to develop a systematic, principled approach to the use of data to improve the predictive capability of mathematical models. As our ability to gather data grows at an enormous rate, the importance of this work continues to grow too. The lecture will describe this paper, and developments that have stemmed from it, revolutionizing fields such space-craft navigation, weather prediction, oceanography and oil recovery; the lecture will also describe new application domains such as climate modeling, medical imaging and machine learning. Some mathematical details will be also provided, but limited to simple concepts such as optimization and iteration; the ...
Voir la vidéo
Conférences

le (44m22s)

Travels with Hanna: Dogs and/as Teachers / Scott Slovic

Travels with Hanna:  Dogs and/as Teachers / Scott Slovic, conférence plénière in colloque international "L'Amour des animaux / Animal Love", organisé par le Laboratoire Cultures Anglo-Saxonnes (CAS), la Société d’Étude de la Littérature de Voyage du monde Anglophone (SELVA), l'Académie des Sciences, Inscriptions et Belles Lettres  (ASIBL) de Toulouse, sous la responsabilité scientifique de Françoise Besson (CAS, SELVA, ASIBL), Marcel Delpoux (ASIBL, SELVA), Nathalie Dessens (CAS) et Scott Slovic (SELVA, University of Idaho, USA). Toulouse, Hôtel d'Assézat, Hôtel du May, Université Toulouse Jean Jaurès, 20-23 mars 2019. Le but de ce colloque ...
Voir la vidéo
Conférences

le (26m5s)

Translation and Magic Horses: Petre Ispirescu’s "Tinereţe fără bătrâneţe şi viaţă fără de moarte" in Romanian and in English / Adriana Şerban

Translation and Magic Horses: Petre Ispirescu’s "Tinereţe fără bătrâneţe şi viaţă fără de moarte" in Romanian and in English / Adriana Şerban, in colloque international "L'Amour des animaux / Animal Love", organisé par le Laboratoire Cultures Anglo-Saxonnes (CAS), la Société d’Étude de la Littérature de Voyage du monde Anglophone (SELVA), l'Académie des Sciences, Inscriptions et Belles Lettres (ASIBL) de Toulouse, sous la responsabilité scientifique de Françoise Besson (CAS, SELVA, ASIBL), Marcel Delpoux (ASIBL, SELVA), Nathalie Dessens (CAS) et Scott Slovic (SELVA, University of Idaho, USA). Toulouse, Hôtel d'Assézat, Hôtel du May, Université ...
Voir la vidéo
Conférences

le (18m51s)

La figure du Centaure dans la littérature équestre, des représentations de l'amour du cheval / Honorine Tellier

La figure du Centaure dans la littérature équestre, des représentations de l'amour du cheval / Honorine Tellier, in colloque international "L'Amour des animaux / Animal Love", organisé par le Laboratoire Cultures Anglo-Saxonnes (CAS), la Société d’Étude de la Littérature de Voyage du monde Anglophone (SELVA), l'Académie des Sciences, Inscriptions et Belles Lettres (ASIBL) de Toulouse, sous la responsabilité scientifique de Françoise Besson (CAS, SELVA, ASIBL), Marcel Delpoux (ASIBL, SELVA), Nathalie Dessens (CAS) et Scott Slovic (SELVA, University of Idaho, USA). Toulouse, Hôtel d'Assézat, Hôtel du May, Université Toulouse Jean Jaurès, 20-23 mars ...
Voir la vidéo

 
FMSH
 
Facebook Twitter Google+
Mon Compte