Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 3182
Séminaires

le (0s)

Discussion - The Promise and Perils of Public-Private Partnerships around Data for Social Good

“Data Collaborative” refers to an emergent form of public-private partnership in which actors from different sectors exchange and analyze data (and/or provide data science insights and expertise) to create new public value and generate new insights. As evidenced by the 150+ case studies included the Data Collaboratives Explorer, data collaboratives in a variety of different forms have been used with increasing frequency, across sectors ranging from agriculture to telecoms to government, in a growing number of countries around the world. The value of data collaboratives stems from the fact that the supply of and demand for data are generally ...
Voir la vidéo
Séminaires

le (0s)

The Promise and Perils of Public-Private Partnerships around Data for Social Good

“Data Collaborative” refers to an emergent form of public-private partnership in which actors from different sectors exchange and analyze data (and/or provide data science insights and expertise) to create new public value and generate new insights. As evidenced by the 150+ case studies included the Data Collaboratives Explorer, data collaboratives in a variety of different forms have been used with increasing frequency, across sectors ranging from agriculture to telecoms to government, in a growing number of countries around the world. The value of data collaboratives stems from the fact that the supply of and demand for data are generally ...
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 Google+
Mon Compte