Results 61 to 70 of about 699,995 (283)
Event Structures for Petri nets with Persistence [PDF]
Logical Methods in Computer Science, 2018 Event structures are a well-accepted model of concurrency. In a seminal paper by Nielsen, Plotkin and Winskel, they are used to establish a bridge between the theory of domains and the approach to concurrency proposed by Petri.
Paolo Baldan +5 more
doaj +1 more source
Reasoning about Data Repetitions with Counter Systems [PDF]
Logical Methods in Computer Science, 2016 We study linear-time temporal logics interpreted over data words with multiple attributes. We restrict the atomic formulas to equalities of attribute values in successive positions and to repetitions of attribute values in the future or past.
Stephane Demri +2 more
doaj +1 more source
Alpha Channeling with High-field Launch of Lower Hybrid Waves
, 2015 Although lower hybrid waves are effective at driving currents in present-day tokamaks, they are expected to interact strongly with high-energy particles in extrapolating to reactors.
Bertelli, Nicola +2 more
core +1 more source
Gravitational Waves from Collapsing Vacuum Domains [PDF]
, 1998 The breaking of an approximate discrete symmetry, the final stages of a first order phase transition, or a post-inflationary biased probability distribution for scalar fields are possible cosmological scenarios characterized by the presence of unstable ...
A. Kosowsky +30 more
core +3 more sources
Game semantics for first-order logic [PDF]
Logical Methods in Computer Science, 2010 We refine HO/N game semantics with an additional notion of pointer (mu-pointers) and extend it to first-order classical logic with completeness results.
Olivier Laurent
doaj +1 more source
Computably Based Locally Compact Spaces [PDF]
Logical Methods in Computer Science, Volume 2, Issue 1 (March 7,
2006) lmcs:2255, 2005 ASD (Abstract Stone Duality) is a re-axiomatisation of general topology in which the topology on a space is treated, not as an infinitary lattice, but as an exponential object of the same category as the original space, with an associated lambda-calculus.
arxiv +1 more source
Model for the unidirectional motion of a dynein molecule
, 2008 Cytoplasmic dyneins transport cellular organelles by moving on a microtubule filament. It has been found recently that depending on the applied force and the concentration of the adenosine triphosphate (ATP) molecules, dynein's step size varies. Based on
B. Alberts +4 more
core +1 more source
Labelled transition systems as a Stone space [PDF]
Logical Methods in Computer Science, 2005 A fully abstract and universal domain model for modal transition systems and refinement is shown to be a maximal-points space model for the bisimulation quotient of labelled transition systems over a finite set of events.
Michael Huth
doaj +1 more source
An Open Virtual World for Professional Development [PDF]
, 2013 The paper presents a study that focuses on the issue of sup-porting educational experts to choose the right combination of educational methodology and technology tools when designing training and learning programs. It is based on research in the field of
Stefanova, Eliza
core
Lower Bounds for Complementation of omega-Automata Via the Full Automata Technique [PDF]
Logical Methods in Computer Science, 2008 In this paper, we first introduce a lower bound technique for the state complexity of transformations of automata. Namely we suggest first considering the class of full automata in lower bound analysis, and later reducing the size of the large alphabet ...
Qiqi Yan
doaj +1 more source