Related papers: Time Step Size Limitation Introduced by the BSSN G…
The reduced speed of light approximation (RSLA) has been employed to speed up radiative transfer simulations of reionization by a factor of $\gtrsim 5-10$. However, it has been shown to cause significant errors in the HI-ionizing background…
We introduce a metric that can quantify the temporal relaxation of Signal Temporal Logic (STL) specifications and facilitate resilient control synthesis in the face of infeasibilities. The proposed metric quantifies a cumulative notion of…
In this paper, we consider the problem of controlling a dynamical system such that its trajectories satisfy a temporal logic property in a given amount of time. We focus on multi-affine systems and specifications given as syntactically…
Recent results in the literature provide computational evidence that stabilized semi-implicit time-stepping method can efficiently simulate phase field problems involving fourth-order nonlinear dif- fusion, with typical examples like the…
This paper presents a single-step tunable group delay phaser for spectrum sniffing. This device may be seen as a "time filter", where frequencies are suppressed by time separation rather than by spectral attenuation. Compared to its…
We discuss the combined constraints on a Finite Scale Factor Singularity (FSF) universe evolution scenario, which come from the shift parameter R, baryon acoustic oscillations (BAO) A, and from the type Ia supernovae. We show that…
Boundary constraints in physical, environmental and engineering models restrict smooth states such as temperature to follow known physical laws at the edges of their spatio-temporal domain. Examples include fixed-state or fixed-derivative…
Numerical models for predicting future ice-mass loss of the Antarctic and Greenland ice sheet requires accurately representing their dynamics. Unfortunately, ice-sheet models suffer from a very strict time-step size constraint, which for…
We present the dynamics of a thermally bistable medium using one-dimensional numerical calculations, including cooling, heating, thermal conduction, and physical viscosity.We set up a two-phase medium from a thermally unstable one-phase…
The exponential-time hypothesis (ETH) states that 3-SAT is not solvable in subexponential time, i.e. not solvable in O(c^n) time for arbitrary c > 1, where n denotes the number of variables. Problems like k-SAT can be viewed as special…
In reinforcement learning, it is common to let an agent interact for a fixed amount of time with its environment before resetting it and repeating the process in a series of episodes. The task that the agent has to learn can either be to…
This paper study the parameter selection of predefined-time sliding mode and try to design a general nonsingular predefined-time terminal sliding mode. 1). On parameter selection: Some existing predefined-time sliding modes are designed to…
We report on experimental and theoretical studies of the fluctuation-induced escape time from a metastable state of a nanomechanical Duffing resonator in cryogenic environment. By tuning in situ the non-linear coefficient $\gamma$ we could…
This paper presents a space-time finite element method (FEM) based on an unfitted mesh for solving parabolic problems on moving domains. Unlike other unfitted space-time finite element approaches that commonly employ the discontinuous…
Time domain terahertz spectroscopy typically uses mechanical delay stages that inherently suffer from non-uniform sampling positions. We review, simulate, and experimentally test the ability of corrective cubic spline and Shannon…
The solution of a fine tuning problem is one of the principal motivations of Supersymmetry. However experimental constraints indicate that many Supersymmetric models are also fine tuned (although to a much lesser extent). We review the…
We study the $\Lambda(\alpha)$CDM models with $\Lambda(\alpha)$ being a function of the time-varying fine structure constant $\alpha$. We give a close look at the constraints on two specific $\Lambda(\alpha)$CDM models with one and two…
Cellular automata are a famous model of computation, yet it is still a challenging task to assess the computational capacity of a given automaton; especially when it comes to showing negative results. In this paper, we focus on studying…
Test-time scaling (TTS) has gained widespread attention for enhancing LLM reasoning. Existing approaches such as Best-of-N and majority voting are limited as their performance depends on the quality of candidate responses, making them…
Use of dedicated computers in spin glass simulations allows one to equilibrate very large samples (of size as large as $L=32$) and to carry out "computer experiments" that can be compared to (and analyzed in combination with) laboratory…