Results 41 to 50 of about 699,995 (283)
Energy flux measurement from the dissipated energy in capillary wave turbulence [PDF]
, 2013 We study experimentally the influence of dissipation on stationary capillary wave turbulence on the surface of a fluid by changing its viscosity. We observe that the frequency power law scaling of the capillary spectrum departs significantly from its ...
Berhanu, Michaël +2 more
core +4 more sources
Weighted Logics for Nested Words and Algebraic Formal Power Series [PDF]
Logical Methods in Computer Science, 2010 Nested words, a model for recursive programs proposed by Alur and Madhusudan, have recently gained much interest. In this paper we introduce quantitative extensions and study nested word series which assign to nested words elements of a semiring. We show
Christian Mathissen
doaj +1 more source
Game Refinement Relations and Metrics [PDF]
Logical Methods in Computer Science, 2008 We consider two-player games played over finite state spaces for an infinite number of rounds. At each state, the players simultaneously choose moves; the moves determine a successor state.
Luca de Alfaro +3 more
doaj +1 more source
The Church Synthesis Problem with Parameters [PDF]
Logical Methods in Computer Science, 2007 For a two-variable formula ψ(X,Y) of Monadic Logic of Order (MLO) the Church Synthesis Problem concerns the existence and construction of an operator Y=F(X) such that ψ(X,F(X)) is universally valid over Nat.
Alexander Rabinovich
doaj +1 more source
Ludics with repetitions (Exponentials, Interactive types and Completeness) [PDF]
Logical Methods in Computer Science, 2011 Ludics is peculiar in the panorama of game semantics: we first have the definition of interaction-composition and then we have semantical types, as a set of strategies which "behave well" and react in the same way to a set of tests.
Claudia Faggian, Michele Basaldella
doaj +1 more source
Role of the liver in splanchnic extraction of atrial natriuretic factor in the rat [PDF]
, 1992 Mesenteric, hepatic and splanchnic extraction of C-terminal and N-terminal atrial natriuretic factor was investigated in male Sprague-Dawley rats. Plasma concentrations (mean ± S.E.M.) of C-terminal atrial natriuretic factor were 55.0 ± 6.1 fmol/ml, 31.2
Alexander L. Gerbes +39 more
core +1 more source
On the meaning of logical completeness [PDF]
Logical Methods in Computer Science, 2010 Goedel's completeness theorem is concerned with provability, while Girard's theorem in ludics (as well as full completeness theorems in game semantics) are concerned with proofs.
Michele Basaldella, Kazushige Terui
doaj +1 more source
Internalising modified realisability in constructive type theory [PDF]
, 2005 A modified realisability interpretation of infinitary logic is formalised and proved sound in constructive type theory (CTT). The logic considered subsumes first order logic.
Anton Setzer, Erik Palmgren
core +1 more source
Efficient Parallel Path Checking for Linear-Time Temporal Logic With Past and Bounds [PDF]
Logical Methods in Computer Science, 2012 Path checking, the special case of the model checking problem where the model under consideration is a single path, plays an important role in monitoring, testing, and verification. We prove that for linear-time temporal logic (LTL), path checking can be
Lars Kuhtz, Bernd Finkbeiner
doaj +1 more source
Automating Defeasible Reasoning in Law [PDF]
arXiv, 2022 The paper studies defeasible reasoning in rule-based systems, in particular about legal norms and contracts. We identify rule modifiers that specify how rules interact and how they can be overridden. We then define rule transformations that eliminate these modifiers, leading in the end to a translation of rules to formulas. For reasoning with and about
arxiv