Results 11 to 20 of about 424,581 (304)
Kickoff to conflict: a sequence analysis of intra-state conflict-preceding event structures. [PDF]
PLoS ONE, 2015 While many studies have suggested or assumed that the periods preceding the onset of intra-state conflict are similar across time and space, few have empirically tested this proposition.
Vito D'Orazio, James E Yonamine
doaj +2 more sources
Causal Unfoldings and Disjunctive Causes [PDF]
Logical Methods in Computer Science, 2023 In the simplest form of event structure, a prime event structure, an event is associated with a unique causal history, its prime cause. However, it is quite common for an event to have disjunctive causes in that it can be enabled by any one of multiple ...
Marc de Visme, Glynn Winskel
doaj +1 more source
Conflict vs Causality in Event Structures [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Event structures are one of the best known models for concurrency. Many variants of the basic model and many possible notions of equivalence for them have been devised in the literature.
Daniele Gorla +2 more
doaj +1 more source
Towards a Categorical Representation of Reversible Event Structures [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 We study categories for reversible computing, focussing on reversible forms of event structures. Event structures are a well-established model of true concurrency.
Eva Graversen +2 more
doaj +1 more source
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
Knowledge-Based Synthesis of Distributed Systems Using Event Structures [PDF]
Logical Methods in Computer Science, 2011 To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification exists. This process is particularly effective if the specifications are written in a
Mark Bickford +3 more
doaj +1 more source
Detection of hierarchical crowd activity structures in geographic point data [PDF]
PeerJ Computer Science, 2022 The pervasive adoption of GPS-enabled sensors has lead to an explosion on the amount of geolocated data that captures a wide range of social interactions.
J. Miguel Salazar +2 more
doaj +2 more sources
Typed Event Structures and the π-Calculus
Electronic Notes in Theoretical Computer Science, 2006 Daniele Varacca, Nobuko Yoshida
exaly +2 more sources
Learning the Structure of Event Sequences [PDF]
Journal of Experimental Psychology: General, 1990 How is complex sequential material acquired, processed, and represented when there is no intention to learn? Two experiments exploring a choice reaction time task are reported. Unknown to Ss, successive stimuli followed a sequence derived from a "noisy" finite-state grammar.
Cleeremans, Axel, McClelland, James L.
openaire +6 more sources
Event Structures and Biennial Culture: Oreste at the Biennale
OBOE, 2020 Over the century from 1895 to 1999, we can measure the impact of biennials on themselves, and on the emergence of increasingly social forms of contemporary art.
Caroline A. Jones
doaj +1 more source