Related papers: Constraints on Chronologies
The subject of this paper is to study conformance checking for timed models, that is, process models that consider both the sequence of events in a process as well as the timestamps at which each event is recorded. Time-aware process mining…
Quantum mechanical time operator is introduced following the parametric formulation of classical mechanics in the extended phase space. Quantum constraint on the extended quantum system is defined in analogy to the constraint of the…
Time is a parameter playing a central role in our most fundamental modeling of natural laws. Relativity theory shows that the comparison of times measured by different clocks depends on their relative motions and on the strength of the…
We aim to mine temporal causal sequences that explain observed events (consequents) in time-series traces. Causal explanations of key events in a time-series has applications in design debugging, anomaly detection, planning, root-cause…
By studying the set of correlations that are theoretically possible between physical systems without allowing for signalling of information backwards in time, we here identify correlations that can only be achieved if the time ordering…
The hypothesis that the causal properties of space-time, as well as other properties of physical systems like unitarity, charge conservation, etc., might be decided by the higher dimensional structure (in particular, higher-dimensional…
The possibility of calculation of the conditional and unconditional complexity of description of information objects in the algorithmic theory of information is connected with the limitations for the set of the used languages of programming…
We propose a new approach to represent nonparametrically the linear dependence structure of a spatio-temporal process in terms of latent common factors. Though it is formally similar to the existing reduced rank approximation methods…
Reasoning under uncertainty is a fundamental challenge in Artificial Intelligence. As with most of these challenges, there is a harsh dilemma between the expressive power of the language used, and the tractability of the computational…
We provide a brief discussion regarding relativistic limits on the discretization and temporal resolution of time values in a quantum clock. Our clock is characterized by a time observable chosen to be the complement of a bounded and…
To clarify some aspects of the application of Special Relativity, spacetime is sliced into null geodesic hypersurfaces as an alternative to the hypersurfaces of simultaneity normally adopted. Events at particle locations on the hypersurface…
Observations of the apparent times and positions of moving clocks as predicted by both `non-local' and `local' Lorentz Transformations are considered. Only local transformations respect translational invariance. Such transformations change…
Classically time is kept fixed for infinitesimal variations in problems in mechanics. Apparently, there appears to be no mathematical justification in the literature for this standard procedure. This can be explained canonically by…
Temporal information has been the focus of recent attention in information extraction, leading to some standardization effort, in particular for the task of relating events in a text. This task raises the problem of comparing two…
The recent years have seen interest into the possibility for (classical as well as quantum) causal structures that, while remaining logically consistent, feature a cyclic causal order between events, opening intriguing possibilities for new…
This note proposes a paradigm and coordinate system that extends flat, four-dimensional Minkowski spacetime to a broader framework that identifies an event not only in space and in time, but also in terms of possible world, with a third…
In probabilistic logic entailments, even moderate size problems can yield linear constraint systems with so many variables that exact methods are impractical. This difficulty can be remedied in many cases of interest by introducing a three…
We aim to determine which temporal instance queries can be uniquely characterised by a (polynomial-size) set of positive and negative temporal data examples. We start by considering queries formulated in fragments of propositional linear…
Extracting and visualizing informative insights from temporal event sequences becomes increasingly difficult when data volume and variety increase. Besides dealing with high event type cardinality and many distinct sequences, it can be…
In this short note we argue that, even if, as sometimes remarked, a Lorentzian manifold does not model correctly the structure of the spatio-temporal continuum as it is, yet a Lorentzian manifold should describe its macroscopic structure as…