Related papers: New Pumping Technique for 2-dimensional VASS
The main contribution of this paper is the formulation of a diffuse approximation method(DAM), for two-dimensional channel flows. The proposed method is based on the vorticity-streamfunction formulation. The DAM which estimates derivates of…
Blood vessel constriction is simulated with particle-based method using a molecular dynamics authoring software known as Molecular Workbench (WM). Blood flow and vessel wall, the only components considered in constructing a blood vessel,…
We investigate the parameterised complexity of the classic coverability problem for vector addition systems (VAS): given a finite set of vectors $V \subseteq\mathbb{Z}^d$, an initial configuration $s\in\mathbb{N}^d$, and a target…
Examples of fluid flows driven by undulating boundaries are found in nature across many different length scales. Even though different driving mechanisms have evolved in distinct environments, they perform essentially the same function:…
There has recently been great interest in neural rendering methods. Some approaches use 3D geometry reconstructed with Multi-View Stereo (MVS) but cannot recover from the errors of this process, while others directly learn a volumetric…
We formulate an exact result, which we refer to as the pumping restriction theorem (PRT). It imposes strong restrictions on the currents generated by periodic driving in a generic dissipative system with detailed balance. Our theorem…
Plasma kinetics, for both flat and curved spacetime, is conventionally performed on the mass shell, a 7--dimensional time-phase space with a Vlasov vector field, also known as the Liouville vector field. The choice of this time-phase space…
We develop a novel and efficient iterative scheme for solving incompressible steady Navier-Stokes equations. The method is an adaptation of the Incremental Viscosity Splitting approximation for unsteady flows to steady equations. At each…
A vector addition system (VAS) with an initial and a final marking and transition labels induces a language. In part because the reachability problem in VAS remains far from being well-understood, it is difficult to devise decision…
We review several competing chaining methods to estimate the supremum, the diameter of the range or the modulus of continuity of a stochastic process in terms of tail bounds of their two-dimensional distributions. Then we show how they can…
Portable quantum technologies require robust, lightweight apparatus with superior performance. For techniques dependent upon high-vacuum environments, such as atom interferometers and atomic clocks, 3D-printing enables new avenues to tailor…
A discontinuous Galerkin method for the ideal 5 moment two-fluid plasma system is presented. The method uses a second or third order discontinuous Galerkin spatial discretization and a third order TVD Runge-Kutta time stepping scheme. The…
We introduce a novel technique for grabbing water with a flexible solid. This new passive pipetting mechanism was inspired by floating flowers and relies purely on the coupling of the elasticity of thin plates and the hydrodynamic forces at…
We present a novel technique to solve the problem of managing optimally a pumped hydroelectric storage system. This technique relies on representing the system as a stochastic optimal control problem with state constraints, these latter…
We present a novel diffusion-based framework for synthesizing 2D vector fields from sparse, coherent inputs (i.e., streamlines) while maintaining physical plausibility. Our method employs a conditional denoising diffusion probabilistic…
The stochastic motion of a two-dimensional vesicle in linear shear flow is studied at finite temperature. In the limit of small deformations from a circle, Langevin-type equations of motion are derived, which are highly nonlinear due to the…
We present several new results and connections between various extensions of finite automata through the study of vector automata and homing vector automata. We show that homing vector automata outperform extended finite automata when both…
We provide, in a general setting, explicit solutions for optimal stopping problems that involve a diffusion process and its running maximum. Besides, a new feature includes absorbing boundaries that vary with the value of the running…
This paper is concerned with the application of finite element methods to obtain solutions for steady fully developed second-grade flows in a curved pipe of circular cross-section and arbitrary curvature ratio, under a given axial pressure…
A weighted residual collocation methodology for simulating two-dimensional shear-driven and natural convection flows has been presented. Using a dyadic mesh refinement, the methodology generates a basis and a multiresolution scheme to…