Related papers: New Pumping Technique for 2-dimensional VASS
We propose to drive open microfluidic systems by shear in a covering fluid layer, e.g., oil covering water-filled chemical channels. The advantages as compared to other means of pumping are simpler forcing and prevention of evaporation of…
Vector Addition Systems with States (VASS), equivalent to Petri nets, are a well-established model of concurrency. The central algorithmic challenge in VASS is the reachability problem: is there a run from a given starting state and counter…
The virtual element method (VEM) allows discretization of the problem domain with polygons in 2D. The polygons can have an arbitrary number of sides and can be concave or convex. These features, among others, are attractive for meshing…
A vector addition system with states (VASS) consists of a finite set of states and counters. A configuration is a state and a value for each counter; a transition changes the state and each counter is incremented, decremented, or left…
Vector addition system with states (VASS) is a popular model for the verification of concurrent systems. VASS consists of finitely many control states and a set of counters which can be incremented and decremented, but not tested for zero.…
In a companion study \cite{patterson2020computing2D}, we present a numerical method for simulating 2D viscous flow through an open compliant closed channel, drive by pressure gradient. We consider the highly viscous regime, where fluid…
In biological transport mechanisms such as insect respiration and renal filtration, fluid travels along a leaky channel allowing exchange with systems exterior the the channel. The channels in these systems may undergo peristaltic pumping…
A new framework for two-fluids flow using a Finite Element/Level Set method is presented and verified through the simulation of the rising of a bubble in a viscous fluid. This model is then enriched to deal with vesicles (which mimic red…
This paper proposes a dynamical Variable-separation method for solving parameter-dependent dynamical systems. To achieve this, we establish a dynamical low-rank approximation for the solutions of these dynamical systems by successively…
Immersed nonlinear elements are prevalent in biological systems that require a preferential flow direction, such as the venous and the lymphatic system. We investigate here a certain class of models where the fluid is driven by peristaltic…
Smoothing and filtering two-dimensional sequences are fundamental tasks in fields such as computer vision. Conventional filtering algorithms often rely on the selection of the filtering window, limiting their applicability in certain…
Using the Magnus expansion to the fourth order, we obtain analytic expressions for the atomic state of a two-level system driven by a laser pulse of arbitrary shape with small pulse area. We also determine the limitation of our obtained…
Open-vocabulary panoptic reconstruction is a challenging task for simultaneous scene reconstruction and understanding. Recently, methods have been proposed for 3D scene understanding based on Gaussian splatting. However, these methods are…
The reachability problem for vector addition systems with states (VASS) has been shown to be \textsc{Ackermann}-complete. For every $k\geq 3$, a completeness result for the $k$-dimensional VASS reachability problem is not yet available. It…
In this paper, we investigate the problem of rate maximization in a fluid antenna system (FAS) assisted semantic communication system. In the considered model, a base station (BS) with multiple static antennas employs semantic extraction…
Pinching antenna systems (PASS) have been proposed as a revolutionary flexible antenna technology which facilitates line-of-sight links via numerous low-cost pinching antennas with adjustable activation positions over waveguides. This…
In spite of considerable progress, computing curvature in Volume of Fluid (VOF) methods continues to be a challenge. The goal is to develop a function or a subroutine that returns the curvature in computational cells containing an interface…
A recently proposed convolution technique for the calculation of local density of states is described more thouroughly and new results of its application are presented. For separable systems the exposed method allows to construct the ldos…
We construct a family of very simple stationary solutions to gravity coupled to a massless scalar field in global AdS. They involve a constantly rising source for the scalar field at the boundary and thereby we name them pumping solutions.…
The study of the operational complexity of minimal pumping constants started in [J. DASSOW and I. JECKER. Operational complexity and pumping lemmas. Acta Inform., 59:337-355, 2022], where an almost complete picture of the operational…