Canal-U

Mon compte

Résultats de recherche

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

D'ici à l'infini !

Conférence exceptionnelle à l'occasion du 29e colloque de l'Institut d'Astrophysique de Paris, présentée par Joe Silk (professeur à l'Université d'Oxford et chercheur à l'IAP), le 26 juin 2013. Les astronomes scrutent notre passé cosmique avec les plus grands télescopes du monde. Ils y trouvent des milliards de galaxies, et des indications sur l'évolution et la jeunesse du cosmos. Avant ces premières galaxies, c'était l'âge des ténèbres. Et encore avant, le Big Bang. Mais une fraction importante de l'Univers ne peut être sondée par les ...
Voir la vidéo
Séminaires

le (46m38s)

Introdução aos encontros

Ivani FUSELLIER, Brigitte GARCIA et Marie-Anne SALLANDRE : Introdução aos Terceiros Encontros Interdisciplinares França-Brasil « Surdez, Singularidade, Universidade : Língua, Cultura, Educação, Acessibilidade »  Ivani FUSELLIER, Luizete SOBRAL-CARLIEZ, Christian CUXAC (Conférence plénière) : Parcours interdisciplinaires de recherche sur les langues des signes : épistémologie, théories et méthodologies 
Voir la vidéo
Séminaires

le (45m45s)

Liinguistique et typologie

Linguistique et typologie • Robert GAVRILESCU, Marie-Anne SALLANDRE, Alessio DI RENZO (214538): Comparaison typologique des transferts personnels dans neuf langues des signes (10 min) • Betty LOPES L'ASTORINA DE ANDRADE (210135): Estratégia Linguística de Antropomorfismo em Língua de Sinais (10 min) • Charlotte HAUSER et Valentina ARISTODEMO (210982) : Similaires mais pas identiques : constructions temporelles en LIS et LSF (10 min) • Emmanuella MARTINOD (214462): Vers une typologie adaptée aux langues des signes ? (10 min)
Voir la vidéo

 
FMSH
 
Facebook Twitter Google+
Mon Compte