Results 11 to 20 of about 5,869 (280)
Realizability Is Controllability [PDF]
, 2010 A choreography describes the interaction between services. It may be used for specification purposes, for instance serving as a contract in the design of an inter-organizational business process. Typically, not all describable interactions make sense which motivates the study of the realizability problem for a given choreography. In this paper, we show
Lohmann, N., Wolf, K.
openaire +6 more sources
Quantum Gravity Spacetime: Universe vs. Multiverse [PDF]
EntropyStarting from the realization that the theory of quantum gravity (QG) cannot be deterministic due to its intrinsic quantum nature, the requirement is posed that QG should fulfill a suitable Heisenberg Generalized Uncertainty Principle (GUP) to be ...
Massimo Tessarotto, Claudio Cremaschini
doaj +2 more sources
Independence and conservativity results for intuitionistic set theory [PDF]
, 2010 There are two main parts to this thesis. The first part will deal with some independence results. In 1979, Lifschitz in [13] introduced a realizability interpretation for Heyting's arithmetic, HA, that could differentiate between Church's thesis with ...
Chen, Ray-Ming
core +7 more sources
On the realization of WIMPflation [PDF]
Journal of Cosmology and Astroparticle Physics, 2021 Abstract We consider models for inflation with a stable inflaton. Reheating is achieved through scattering processes such as ϕϕ→ h h, where h is the Standard Model Higgs boson. We consider the reheating process in detail and show that for a relatively large coupling (needed for the late annihilations of the inflaton during freeze-out ...
Garcia, Marcos A.G. +3 more
openaire +4 more sources
Learning, realizability and games in classical arithmetic [PDF]
, 2011 PhDAbstract. In this dissertation we provide mathematical evidence that the concept of learning can be used to give a new and intuitive computational semantics of classical proofs in various fragments of Predicative Arithmetic.
Aschieri, Federico
core +4 more sources
Parametric Linear Dynamic Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 We introduce Parametric Linear Dynamic Logic (PLDL), which extends Linear Dynamic Logic (LDL) by temporal operators equipped with parameters that bound their scope.
Peter Faymonville, Martin Zimmermann
doaj +1 more source
$\gamma'$-Realizability and Other Musings on Inverse Domination
Theory and Applications of Graphs, 2018 We introduce and study $\gamma'$-realizable sequences. For a finite, simple graph $G$ containing no isolated vertices, $I \subseteq V(G)$ is said to be an \emph{inverse dominating set} if $I$ dominates all of $G$ and $I$ is contained by the complement of
John Asplund +3 more
doaj +1 more source
Interactive Learning Based Realizability and 1-Backtracking Games [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 We prove that interactive learning based classical realizability (introduced by Aschieri and Berardi for first order arithmetic) is sound with respect to Coquand game semantics. In particular, any realizer of an implication-and-negation-free arithmetical
Federico Aschieri
doaj +1 more source
Approximating Optimal Bounds in Prompt-LTL Realizability in Doubly-exponential Time [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 We consider the optimization variant of the realizability problem for Prompt Linear Temporal Logic, an extension of Linear Temporal Logic (LTL) by the prompt eventually operator whose scope is bounded by some parameter.
Leander Tentrup +2 more
doaj +1 more source
Michigan Mathematical Journal, 1981 A map \(\varphi\) from a measure space \(X\) to the measure algebra \(\mathcal E\) of a measure space \(Y\) is said to be ``realizable'' if there is a measurable subset \(E\) of \(X\times Y\) such that, for each \(x\in X\), \(\varphi(x)\) is the measure class of the corresponding section \(E_x\) of \(E\).
Mauldin, R. Daniel, Stone, A. H.
openaire +3 more sources