23,411 research outputs found
Dynamic-Epistemic reasoning on distributed systems
We propose a new logic designed for modelling and reasoning about information flow and information exchange between spatially located (but potentially mobile), interconnected agents witnessing a distributed computation. This is a major problem in the field of distributed systems, covering many different issues, with potential applications from Computer Science and Economy to Chemistry and Systems Biology. Underpinning on the dual algebraical-coalgebraical characteristics of process calculi, we design a decidable and completely axiomatizad logic that combines the processalgebraical/ equational and the modal/coequational features and is developed for process-algebraical semantics. The construction is done by mixing operators from dynamic and epistemic logics with operators from spatial logics for distributed and mobile systems. This is the preliminary version of a paper that will appear in Proceedings of the second Conference on Algebra and Coalgebra in Computer Science (CALCO2007), LNCS 4624, Springer, 2007. The original publication is available at www.springerlink.co
Matrix Model Description of Baryonic Deformations
We investigate supersymmetric QCD with N_c+1 flavors using an extension of
the recently proposed relation between gauge theories and matrix models. The
impressive agreement between the two sides provides a beautiful confirmation of
the extension of the gauge theory-matrix model relation to this case.Comment: 33pages, late
The KSBA compactification for the moduli space of degree two K3 pairs
Inspired by the ideas of the minimal model program, Shepherd-Barron,
Koll\'ar, and Alexeev have constructed a geometric compactification for the
moduli space of surfaces of log general type. In this paper, we discuss one of
the simplest examples that fits into this framework: the case of pairs (X,H)
consisting of a degree two K3 surface X and an ample divisor H. Specifically,
we construct and describe explicitly a geometric compactification
for the moduli of degree two K3 pairs. This compactification has a natural
forgetful map to the Baily-Borel compactification of the moduli space of
degree two K3 surfaces. Using this map and the modular meaning of ,
we obtain a better understanding of the geometry of the standard
compactifications of .Comment: 45 pages, 4 figures, 2 table
- …