相关论文: Speculative Design in Spiraling Time: Methods and …

Predicting the future is an important component of decision making. In most situations, however, there is not enough information to make accurate predictions. In this paper, we develop a theory of causal reasoning for predictive inference…

Algorithmic Recourse (AR) aims to provide users with actionable steps to overturn unfavourable decisions made by machine learning predictors. However, these actions often take time to implement (e.g., getting a degree can take years), and…

Advances in artificial intelligence (AI) have enabled unprecedented capabilities, yet innovation teams struggle when envisioning AI concepts. Data science teams think of innovations users do not want, while domain experts think of…

Generative AI, i.e., the group of technologies that automatically generate visual or written content based on text prompts, has undergone a leap in complexity and become widely available within just a few years. Such technologies…

Temporal logics over finite traces have recently seen wide application in a number of areas, from business process modelling, monitoring, and mining to planning and decision making. However, real-life dynamic systems contain a degree of…

The concept of an objective spatial direction in special relativity is investigated and theories assuming light-speed isotropy while accepting the existence of a privileged spatial direction are classified. A natural generalization of the…

Two-dimensional systems with time-dependent controls admit a quadratic Hamiltonian modelling near potential minima. Independent, dynamical normal modes facilitate inverse Hamiltonian engineering to control the system dynamics, but some…

Time plays a fundamental role in causal analyses, where the goal is to quantify the effect of a specific treatment on future outcomes. In a randomized experiment, times of treatment, and when outcomes are observed, are typically well…

A coupled map is suggested to investigate various spatial or temporal designs in biology: Several cells (or tissues) in an organ are considered as connected to each other in terms of some molecular diffusions or electrical potential…

We introduce a method to perform imaginary time evolution in a controllable quantum system using measurements and conditional unitary operations. By performing a sequence of weak measurements based on the desired Hamiltonian constructed by…

Personal heart rate data from wearable devices contains rich information, yet current visualizations primarily focus on simple metrics, leaving complex temporal patterns largely unexplored. We present a speculative exploration of personal…

We present a formal language for specifying qualitative preferences over temporal goals and a preference-based planning method in stochastic systems. Using automata-theoretic modeling, the proposed specification allows us to express…

We propose an input design method for a general class of parametric probabilistic models, including nonlinear dynamical systems with process noise. The goal of the procedure is to select inputs such that the parameter posterior distribution…

We investigate whether risk and time preferences differ when individuals make decisions for others compared to making decisions for themselves. We introduce a novel ``skin in the game'' experimental design, where choices for others incur a…

The Halpern-Shoham logic is a modal logic of time intervals. Some effort has been put in last ten years to classify fragments of this beautiful logic with respect to decidability of its satisfiability problem. We contribute to this effort…

This article shows how to specify and construct a discrete, stochastic, continuous-time model specifically for ecological systems. The model is more broad than typical chemical kinetics models in two ways. First, using time-dependent hazard…

Computer experiments have become an indispensable alternative to complex physical and engineering experiments. The Kriging model is the most widely used surrogate model, with the core goal of minimizing the discrepancy between the surrogate…

Notoriously, the Einstein equations of general relativity have solutions in which closed timelike curves (CTCs) occur. On these curves time loops back onto itself, which has exotic consequences. However, in order to make time travel stories…

How special (or not) is the epoch we are living in? What is the appropriate reference class for embedding the observations made at the present time? How probable -- or else -- is anything we observe in the fulness of time? Contemporary…

We investigate the question, "how does time flow?" and show that time may change by inversions as well. We discuss its implications to a simple class of linear systems. Instead of introducing any unphysical behaviour, inversions can lead to…