Related papers: The Bloom Clock
We consider the task of analyzing message-passing programs by observing their run-time behavior. We introduce a purely library-based instrumentation method to trace communication events during execution. A model of the dependencies among…
The gedanken experiment of the clock paradox is solved exactly using the general relativistic equations for a static homogeneous gravitational field. We demonstrate that the general and special relativistic clock paradox solutions are…
Positivity is one of the three conditions for causal inference from observational data. The standard way to validate positivity is to analyze the distribution of propensity. However, to democratize the ability to do causal inference by…
Conformal prediction offers a practical framework for distribution-free uncertainty quantification, providing finite-sample coverage guarantees under relatively mild assumptions on data exchangeability. However, these assumptions cease to…
In a causal world the direction of the time arrow dictates how past causal events in a variable $X$ produce future effects in $Y$. $X$ is said to cause an effect in $Y$, if the predictability (uncertainty) about the future states of $Y$…
We derive and study a significance test for determining if a panel of functional time series is separable. In the context of this paper, separability means that the covariance structure factors into the product of two functions, one…
Using the projection evolution (PEv) approach, time can be included in the quantum mechanics as an observable. Having the time operator, it is possible to explore the temporal structure of various quantum events. In the present paper we…
The Thermal Time Hypotheis (TTH) has been proposed as a general method for identifying a time variable from within background-free theories which do not come equipped with a pre-defined clock variable. Here, we explore some implications of…
Questioning the presumably most basic assumptions about the structure of space and time has revolutionized our understanding of Nature. State-of-the-art atomic clocks make it possible to precisely test fundamental symmetry properties of…
Complex Event Recognition (CER) systems are a prominent technology for finding user-defined query patterns over large data streams in real time. CER query evaluation is known to be computationally challenging, since it requires maintaining…
Quantum mechanics rests on the assumption that time is a classical variable. As such, classical time is assumed to be measurable with infinite accuracy. However, all real clocks are subject to quantum fluctuations, which leads to the…
Distributed systems are critical to reliable and scalable computing; however, they are complicated in nature and prone to bugs. To modularly manage this complexity, network middleware has been traditionally built in layered stacks of…
We present an implementation of a recently proposed procedure for defining time, based on the description of the evolving system and its clock as non-interacting, entangled systems, according to the Page and Wootters approach. We study how…
Chaotic systems are highly sensitive to a small perturbation, and are ubiquitous throughout biological sciences, physical sciences and even social sciences. Taking this as the underlying principle, we construct an operational notion for…
It is shown in the present note that the degree of the complexity of the time-reading process of the Salecker--Wigner clock depends on the size of the clock. This dependence leads to a relation between the size and the accuracy of the…
A proper time observable for a quantum clock is introduced and it is found that the proper time read by one clock conditioned on another clock reading a different proper time obeys classical time dilation in accordance with special…
Conformance checking techniques allow us to evaluate how well some exhibited behaviour, represented by a trace of monitored events, conforms to a specified process model. Modern monitoring and activity recognition technologies, such as…
The process of identifying a time variable in time reparameterization invariant theories results in great ambiguities about the actual laws of physics described by a given theory. A theory set up to describe one set of physical laws can…
Simple process models are key for effectively communicating the outcomes of process mining. An important question in this context is whether the complexity of event logs used as inputs to process discovery algorithms can serve as a reliable…
The paper shows that ranking information units by quantum probability differs from ranking them by classical probability provided the same data used for parameter estimation. As probability of detection (also known as recall or power) and…