Related papers: Metrology and Time
Spherically embedded time series are time series with values naturally residing on or can be equivalently mapped to the sphere. Despite their ubiquity in diverse scientific fields, these data frequently exhibit complex non-stationarity…
We study a classical reparametrization-invariant system, in which ``time'' is not a priori defined. It consists of a nonrelativistic particle moving in five dimensions, two of which are compactified to form a torus. There, assuming a…
Of those gauge theories of gravity known to be equivalent to general relativity, only the biconformal gauging introduces new structures - the quotient of the conformal group of any pseudo-Euclidean space by its Weyl subgroup always has…
This project is a part of nature language processing and its aims to develop a system of recognition inference text-appointed TIMINF. This type of system can detect, given two portions of text, if a text is semantically deducted from the…
The increasing availability of highly resolved spatio-temporal data leads to new opportunities as well as challenges in many scientific disciplines such as climatology, ecology or epidemiology. This allows more detailed insights into the…
Ability to count number of occurrences of events within a specified time interval is very useful in specification of resource bounded real time computation. In this paper, we study an extension of Metric Temporal Logic ($\mathsf{MTL}$) with…
We introduce a temporal model for reasoning on disjunctive metric constraints on intervals and time points in temporal contexts. This temporal model is composed of a labeled temporal algebra and its reasoning algorithms. The labeled…
In recent years, central components of a new approach to linguistics, the Minimalist Program (MP) have come closer to physics. Features of the Minimalist Program, such as the unconstrained nature of recursive Merge, the operation of the…
In this paper we study algorithmic aspects of tropical intersection theory. We analyse how divisors and intersection products on tropical cycles can actually be computed using polyhedral geometry. The main focus of this paper is the study…
The quantification of aleatoric and epistemic uncertainty in terms of conditional entropy and mutual information, respectively, has recently become quite common in machine learning. While the properties of these measures, which are rooted…
We study some anisotropic heterogeneous nonlinear integral equations arising in epidemiology. We focus on the case where the heterogeneities are spatially periodic. In the first part of the paper, we show that the equations we consider…
The increasing relevance of areas such as real-time and embedded systems, pervasive computing, hybrid systems control, and biological and social systems modeling is bringing a growing attention to the temporal aspects of computing, not only…
We construct a plethora of one-dimensional periodic solutions for a class of semilinear elliptic systems of phase transition type which violate Modica's gradient estimate. This complements a recent technical counterexample in…
Living systems are fundamentally irreversible, breaking detailed balance and establishing an arrow of time. But how does the evident arrow of time for a whole system arise from the interactions among its multiple elements? We show that the…
Periodic structures can be engineered to exhibit unique properties observed at symmetry points, such as zero group velocity, Dirac cones and saddle points; identifying these, and the nature of the associated modes, from a direct reading of…
We extend truly concurrent process algebra APTC with timing related properties. Just like ACP with timing, APTC with timing also has four parts: discrete relative timing, discrete absolute timing, continuous relative timing and continuous…
Aiming for a systematic feature-extraction from time series, we introduce the iterated-sums signature over arbitrary commutative semirings. The case of the tropical semiring is a central, and our motivating example. It leads to features of…
String theory suggests modifications of our spacetime such as extra dimensions and the existence of a mininal length scale. In models with addidional dimensions, the Planck scale can be lowered to values accessible by future colliders.…
Summability has been a central object of study in difference algebra over the past half-century. It serves as a cornerstone of algebraic methods to study linear recurrences over various fields of coefficients and with respect to various…
Tilings and tiling systems are an abstract concept that arise both as a computational model and as a dynamical system. In this paper, we characterize the sets of periods that a tiling system can produce. We prove that up to a slight…