Link identifier archive #link-archive-89757Dalle radici dell'unità a Manin-Mumford e oltre

Link identifier archive #link-archive-thumb-soap-67120
Dalle radici dell'unità a Manin-Mumford e oltre
Link identifier share facebook archive #share-link-archive-36307 Link identifier share twitter archive #share-link-archive-42969
Venerdì 24 giugno   alle ore  11:00 , Umberto Zannier (Scuola Normale Superiore) , terrà il Colloquium di Matematica dal titolo "Dalle radici dell'unità a Manin-Mumford e oltre". (Un "survey" sulla teoria dei punti di torsione su gruppi…

Link identifier archive #link-archive-55030Some simple distributed network processes

Link identifier share facebook archive #share-link-archive-97204 Link identifier share twitter archive #share-link-archive-40021
We will describe network processes in which, at each step, each node communicates with its neighbors, or a random subset of neighbors, and updates its state according to the outcome of these communications. We will…

Link identifier archive #link-archive-11424Mass, Scalar Curvature, Kähler Geometry, and All That

Link identifier share facebook archive #share-link-archive-84728 Link identifier share twitter archive #share-link-archive-38894
Given a complete Riemannian manifold that looks enough like Euclidean space at infinity, physicists have defined a quantity called the “mass” that measures the asymptotic deviation of the geometry from the Euclidean model. After first…

Link identifier archive #link-archive-61148Bose fields and Fermi fields in probability

Link identifier share facebook archive #share-link-archive-39644 Link identifier share twitter archive #share-link-archive-80061
We review some probabilistic interpretations of symmetric and skew-symmetric Fock spaces related to Markov processes. Most results will be presented in the simple context of finite graphs.

Link identifier archive #link-archive-61313Differential Program Semantics

Link identifier share facebook archive #share-link-archive-22547 Link identifier share twitter archive #share-link-archive-56322
Giving meaning to programs through axiomatic, denotational, and operational semantics is one of the main goals of theoretical computer science since its early days. Traditionally, program semantics is built around notions of program equivalence and…