Related papers: On streams that are finitely red
We consider the deterministic and stochastic versions of a first order non-autonomous differential equation which allows us to discuss the persistence of rivers ("fleuves") under noise.
The directions of an infinite graph $G$ are a tangle-like description of its ends: they are choice functions that choose compatibly for all finite vertex sets $X\subseteq V(G)$ a component of $G-X$. Although every direction is induced by a…
Channel flow, the pressure driven flow between parallel plates, has exact coherent structures that show various degrees of localization. For states which are localized in streamwise direction but extended in spanwise direction, we show that…
Model checking properties are often described by means of finite automata. Any particular such automaton divides the set of infinite trees into finitely many classes, according to which state has an infinite run. Building the full type…
We present an affine-intuitionistic system of types and effects which can be regarded as an extension of Barber-Plotkin Dual Intuitionistic Linear Logic to multi-threaded programs with effects. In the system, dynamically generated values…
We present an affine-intuitionistic system of types and effects which can be regarded as an extension of Barber-Plotkin Dual Intuitionistic Linear Logic to multi-threaded programs with effects. In the system, dynamically generated values…
The logic of constant domains is intuitionistic logic extended with the so-called forall-shift axiom, a classically valid statement which implies the excluded middle over decidable formulas. Surprisingly, this logic is constructive and so…
In nonlinear dynamics, basins of attraction link a given set of initial conditions to its corresponding final states. This notion appears in a broad range of applications where several outcomes are possible, which is a common situation in…
For a given unconstrained dynamical system, input redundancy has been recently redefined as the existence of distinct inputs producing identical output for the same initial state. By directly referring to signals, this definition readily…
In this paper, we define an intuitionistic version of Computation Tree Logic. After explaining the semantic features of intuitionistic logic, we examine how these characteristics can be interesting for formal verification purposes.…
If the nodes of a graph are considered to be identical barrels - featuring different water levels - and the edges to be (locked) water-filled pipes in between the barrels, one might consider the optimization problem of how much the water…
We consider a class of doubly intermittent maps with critical points, unbounded derivative and regularly varying tails. Under some mild assumptions we prove the existence of a unique mixing absolutely continuous invariant measure and give…
After surveying classical results, we introduce a generalized notion of inference system to support structural recursion on non-well-founded data types. Besides axioms and inference rules with the usual meaning, a generalized inference…
We use fast-growing finite and infinite sequences of natural numbers and more complicated constructs to define models of hypercomputation and interpret non-arithmetic predicates, with the strongest extensions reaching full second order…
The Landau-Lifshitz fluctuating hydrodynamics is used to study the statistical properties of the linearized Kolmogorov flow. The relative simplicity of this flow allows a detailed analysis of the fluctuation spectrum from near equilibrium…
We consider symbolic flows over finite alphabets and study certain kinds of repetitions in these sequences. Positive and negative results for the existence of such repetitions are given for codings of interval exchange transformations and…
A vector calculus approach for the determination of advected invariants is presented for inviscid fluid flow. This approach describes invariants by means of Lie dragging of scalars, vectors, and skew-tensors with respect to the fluid…
In the shallow water approximation, the cross-sectional profiles of laboratory rivers satisfy a differential equation here shown to be formally the Friedmann equation of cosmology ruling the evolution of Anti-de Sitter universe. The ensuing…
Fluids can behave in a highly irregular, turbulent way. It has long been realised that, therefore, some weak notion of solution is required when studying the fundamental partial differential equations of fluid dynamics, such as the…
We demonstrate that the condensed matter quantum systems encompassing two reservoirs connected by a junction permit a natural definition of flows of conserved measures, Renyi entropies. Such flows are similar to the flows of physical…