29 research outputs found

    The Expectation Monad in Quantum Foundations

    Get PDF
    The expectation monad is introduced abstractly via two composable adjunctions, but concretely captures measures. It turns out to sit in between known monads: on the one hand the distribution and ultrafilter monad, and on the other hand the continuation monad. This expectation monad is used in two probabilistic analogues of fundamental results of Manes and Gelfand for the ultrafilter monad: algebras of the expectation monad are convex compact Hausdorff spaces, and are dually equivalent to so-called Banach effect algebras. These structures capture states and effects in quantum foundations, and also the duality between them. Moreover, the approach leads to a new re-formulation of Gleason's theorem, expressing that effects on a Hilbert space are free effect modules on projections, obtained via tensoring with the unit interval.Comment: In Proceedings QPL 2011, arXiv:1210.029

    Les traits géologiques essentiels des Andes centrales (Pérou-Bolivie)

    Get PDF
    The peruano•bolivian segment of the Andes is about 2500 km long and its direction is NW-SE north of 18° S, submeridian further south. Its frame made of precambrian and hercynian folded material, constitutes a sialic basement for the Andean orogenic belt. From a stratigraphical point of view, the peruano-bolivian Andes appear as an intracratonic chain, where continental or neritic series prevail. The paleogeographic evolution is controlled by a system of two or three basins separated by rises and generally oriented parallel to the future chain; its most internal element is a high zone, where an intense volcanic activity has been remarkably constant in time and. space during the Mesozoic. The chain built up through three brief and homo•axial tectonic phases occurring respectively at the end of the Cretaceous, the end of the Eocene and the mid•Pliocene, that develop a moderate folding accompanied by large faults and by rare and local overthrusts. From one phase to the other, the concerned zone migrates progressively to the east. The magmatic evolution appears to be clearly related to the "liminal" position of the chain, that is to the existence of a subduction zone. During the upper Cretaceous and the Tertiary the intrusion of the granodioritic batholiths takes place. Their age and volume gradually decrease to the east. Then a powerful calc•alkaline volcanism sets up, the emissive centers of which migrate too in an easterly direction through the Tertiary

    DNA-Sequence Variation Among Schistosoma mekongi Populations and Related Taxa; Phylogeography and the Current Distribution of Asian Schistosomiasis

    Get PDF
    Schistosomiasis is a disease caused by parasitic worms of the genus Schistosoma. In the lower Mekong river, schistosomiasis in humans is called Mekong schistosomiasis and is caused by Schistosoma mekongi. In the past, Mekong schistosomiasis was known only from the lower Mekong river. Here DNA-sequence variation is used to study the relationships and history of populations of S. mekongi. Populations from other rivers are compared and shown to be S. mekongi, thus confirming that this species is not restricted to only a small section of one river. The dates of divergence among populations are also estimated. Prior to this study it was assumed that S. mekongi originated in Yunnan, China, migrated southwards across Laos and into Cambodia, later becoming extinct in Laos (due to conditions unsuitable for transmission). In contrast, the dates estimated here indicate that S. mekongi entered Cambodia from Vietnam, 2.5–1 Ma. The pattern of genetic variation fits better with a more recent, and ongoing, northwards migration from Cambodia into Laos. The implications are that Mekong schistosomiasis is more widespread than once thought and that the human population at risk is up to 10 times greater than originally estimated. There is also an increased possibility of the spread of Mekong schistosomiasis across Laos

    Deriving Proof Rules from Continuation Semantics

    No full text
    corecore