Related papers: New Pumping Technique for 2-dimensional VASS
The reachability problem for Vector Addition Systems (VASs) is a central problem of net theory. The general problem is known to be decidable by algorithms exclusively based on the classical Kosaraju-Lambert-Mayr-Sacerdote-Tenney…
Topological pumping and duality transformations are paradigmatic concepts in condensed matter and statistical mechanics. In this paper, we extend the concept of topological pumping of particles to topological pumping of quantum…
Professional 3D asset creation often requires diverse sculpting brushes to add surface details and geometric structures. Despite recent progress in 3D generation, producing reusable sculpting brushes compatible with artists' workflows…
Recently, the pinching-antenna system (PASS) has emerged as a promising architecture owing to its ability to reconfigure large-scale path loss and signal phase by activating radiation points along a dielectric waveguide. However, existing…
This note is a product of digestion of the famous proof of decidability of the reachability problem for vector addition systems with states (VASS), as first established by Mayr in 1981 and then simplified by Kosaraju in 1982. The note is…
Numerical simulations of vesicle suspensions are performed in two dimensions to study their dynamical and rheological properties. An hybrid method is adopted, which combines a mesoscopic approach for the solvent with a curvature-elasticity…
In this paper a data analytical approach featuring support vector machines (SVM) is employed to train a predictive model over an experimentaldataset, which consists of the most relevant studies for two-phase flow pattern prediction. The…
We study the language universality problem for One-Counter Nets, also known as 1-dimensional Vector Addition Systems with States (1-VASS), parameterized either with an initial counter value, or with an upper bound on the allowed counter…
A systematic model development for oil flow in quasi-3D (1D + 2D) is presented. Our approach provides a unified modeling scheme. Besides, additional terms are obtained, which allows for tubing area variation along the flow direction. The…
We present a method to simulate fluid flow on evolving surfaces, e.g., an oil film on a water surface. Given an animated surface (e.g., extracted from a particle-based fluid simulation) in three-dimensional space, we add a second simulation…
Vector addition systems with states (VASS) are widely used for the formal verification of concurrent systems. Given their tremendous computational complexity, practical approaches have relied on techniques such as reachability relaxations,…
An $\mathsf{F}_{d}$ upper bound for the reachability problem in vector addition systems with states (VASS) in fixed dimension is given, where $\mathsf{F}_d$ is the $d$-th level of the Grzegorczyk hierarchy of complexity classes. The new…
Starting with a brief introduction into the basics of relativistic fluid dynamics, I discuss our current knowledge of a relativistic theory of fluid dynamics in the presence of (mostly shear) viscosity. Derivations based on the generalized…
We prove a kind of a pumping lemma for languages accepted by one-register alternating finite-memory automata. As a corollary, we obtain that the set of lengths of words in such languages is semi-linear.
A novel method - the Virtual Ring Shear-Slip Mesh Update Method (VR-SSMUM) - for the efficient and accurate modeling of moving boundary or interface problems in the context of the numerical analysis of fluid flow is presented. We focus on…
A new volumetric-type boundary treatment is introduced for the lattice Boltzmann method. Populations are projected onto a discontinuous piecewise linear basis and streamed using an exact geometrical mapping. The method is implemented in 2D…
A stable added-mass partitioned (AMP) algorithm is developed for fluid-structure interaction (FSI) problems involving viscous incompressible flow and compressible elastic solids. Deforming composite grids are used to effectively handle the…
Many biological examples of fluid-structure interaction, including the transit of red blood cells through the narrow slits in the spleen and the intracellular trafficking of vesicles into dendritic spines, involve the near-contact of…
The objective of this paper is to share our enthusiasm for optical pumping experiments and to encourage their use in researches on practical physics. The experimental technique has been well developed and the apparatus sophisticated, but,…
The fluid antenna system (FAS) concept is an emerging paradigm that promotes the utilization of the feature of shape and position reconfigurability in antennas to broaden the design of wireless communication systems. This also means that…