Results 11 to 20 of about 396,923 (262)
Reversing Event Structures [PDF]
New Generation Computing, 2018 Reversible computation has attracted increasing interest in recent years. In this paper, we show how to model reversibility in concurrent computation as realised abstractly in terms of event structures. Two different forms of event structures are considered, namely event structures defined by causation and prevention relations and event structures ...
Ulidowski, I, Phillips, I, Yuen, S
openaire +3 more sources
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
Minimisation of event structures
Theoretical Computer Science, 2022 Event structures are fundamental models in concurrency theory, providing a representation of events in computation and of their relations, notably concurrency, conflict and causality. In this paper we present a theory of minimisation for event structures.
Baldan P., Raffaeta A.
openaire +6 more sources
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
Frontiers in Earth Science, 2023 The 2022 Ms6.0 Maerkang earthquake sequence, Sichuan, China, occurred in an unexpected area with historically rare seismicity in the Bayan Har block. Here we relocated the earthquake sequence, inverted for the focal mechanisms of the larger events, and ...
Long Feng +7 more
doaj +1 more source
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
Graph Convolution Over Multiple Latent Context-Aware Graph Structures for Event Detection
IEEE Access, 2020 Event detection is a particularly challenging problem in information extraction. The current neural network models have proved that dependency tree can better capture the correlation between candidate trigger words and related context in the sentence ...
Lei Li +5 more
doaj +1 more source
On the Integration of Dative Adjuncts into Event Structures in Yapa Languages
Languages, 2021 Warlpiri and Warlmanpa (Ngumpin-Yapa languages of Australia) exhibit a complex predicate construction in which a class of preverbs introduces a single argument that is not shared by the argument structure of the inflecting verb, nor is there necessarily ...
Mitchell Browne
doaj +1 more source
Comparing neural models for nested and overlapping biomedical event detection
BMC Bioinformatics, 2022 Background Nested and overlapping events are particularly frequent and informative structures in biomedical event extraction. However, state-of-the-art neural models either neglect those structures during learning or use syntactic features and external ...
Kurt Espinosa +5 more
doaj +1 more source