Mon compte

Résultats de recherche

Nombre de programmes trouvés : 391

le (31m21s)

A la recherche du PLU patrimonial

Le PLU patrimonial existe-t-il ? Que recouvre cette étiquette ? De quels patrimoines parle-t-on ? Pour quelles protections ? Ce documentaire, fruit de 4 ans de recherches, répond à ces questions en partant à la recherche du PLU patrimonial. Une équipe d’une douzaine de chercheurs, géographes, juristes, sociologues ou architectes ont travaillé à l’élaboration d’une méthodologie visant à définir les contours de cet OJNI (objet juridique non identifié). Ce film documentaire synthétise le projet de recherche. Il est complété par 23 capsules vidéos (focus sur le ...
Voir la vidéo

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

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

le (1h7m1s)

Reasoning over large-scale biological systems with heterogeneous and incomplete data

Data produced by the domain of life sciences in the next decade are expected to be highly challenging. In addition to scalability issues which are shared with other applications domains, data produced in life sciences have very specific characteristics: multi-scale, incomplete, heterogeneous but somehow interdependent. This makes data-mining methods less efficient than expected to assist knowledge discovery. An example of such limitations is the study of biological systems in molecular and cellular biology, which cannot be uniquely identified with the data at hand. In this talk, we will introduce a strategy to study biological systems in the ...
Voir la vidéo

Facebook Twitter Google+
Mon Compte