Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 13487
Conférences

le (1h4m34s)

SIFUD-PP La Baule 2015 : Table Ronde2

38ème congrès de la SIFUD-PP du 16 au 18 septembre 2015- La Baule Titre : TABLE RONDE 2 Auteur (s) : Biomécanique et physiologie des cystocèles Modérateurs : M. Cosson (Lille), B. Jacquetin (Clermont) Biomécanique des tissus et simulation de la biomécanique pelvienne M. Cosson (Lille), O. Mayeur (Lille) Théories physiologiques expliquant l'apparition des cystocèles E. Delorme (Chalon) Simulations de la chirurgie des cystocèles G. Lamblin (Lyon)               PROGRAMME JEUDI 17 SEPTEMBRE 2015                              SALLE FEDRUN - NIVEAU 1 ...
Voir la vidéo
Conférences

le (1h4m33s)

De los tumulos a las primeras montoneras, 1806-1830

El propósito de este ensayo es analizar las principales características de dos formas de acción colectiva popular desplegadas en Buenos Aires entre 1806 y 1830. Por un lado, haremos foco en el ciclo de episodios y prácticas tumultuarias, un modo de acción de antigua y arraigada prosapia en la monarquía hispana y que se desplegó principalmente en la ciudad pero también en los pueblos de campaña. Por el otro, en una forma de acción colectiva típicamente rural que un producto genuino de la experiencia revolucionaria y que se extendió primero en las provincias litorales y luego también en la provincia ...
Voir la vidéo
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

 
FMSH
 
Facebook Twitter
Mon Compte