Cosmological diagrammatic rules
نویسندگان
چکیده
منابع مشابه
Diagrammatic confluence for Constraint Handling Rules
Confluence is a fundamental property of Constraint Handling Rules (CHR) since, as in other rewriting formalisms, it guarantees that the computations are not dependent on rule application order, and also because it implies the logical consistency of the program declarative view. In this paper we are concerned with proving the confluence of nonterminating CHR programs. For this purpose, we derive...
متن کاملA diagrammatic approach to the spectrum of cosmological perturbations
We compute the spectral distribution of the quantum fluctuations of the vacuum, amplified by inflation, after an arbitrary number of background transitions. Using a graphic representation of the process we find that the final spectrum can be completely determined trough a synthetic set of working rules, and a list of simple algebraic computations.
متن کاملScalar diagrammatic rules for Born amplitudes in QCD
We show that all Born amplitudes in QCD can be calculated from scalar propagators and a set of threeand four-valent vertices. In particular, our approach includes amplitudes with any number of quark pairs. The quarks may be massless or massive. The proof of the formalism is given entirely within quantum field theory.
متن کاملProgramming 1 Diagrammatic confluence for Constraint Handling Rules ∗
Confluence is a fundamental property of Constraint Handling Rules (CHR) since, as in other rewriting formalisms, it guarantees that the computations are not dependent on rule application order, and also because it implies the logical consistency of the program declarative view. In this paper we are concerned with proving the confluence of nonterminating CHR programs. For this purpose, we derive...
متن کاملDiagrammatic Autarchy
This paper explores the notion of autarchy of diagrammatic notations for logic debated in the Germanspeaking world of the 18-century, especially as applied to linear diagrams invented by G. W. Leibniz and J. H. Lambert. Keywords— linear diagrams; autarchy; Leibniz; Lambert; Ploucquet
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Cosmology and Astroparticle Physics
سال: 2010
ISSN: 1475-7516
DOI: 10.1088/1475-7516/2010/07/015