Related papers: New Pumping Technique for 2-dimensional VASS
This paper presents a novel technique for state space reduction of probabilistic specifications, based on a newly developed notion of confluence for probabilistic automata. We prove that this reduction preserves branching probabilistic…
To predict liquid-gas two-phase flow phenomena, accurate tracking and prediction of the evolving liquid-gas interface is required. Volume-of-Fluid or VoF method has been used in the literature for computationally modeling of such flows. In…
A mathematical model for the poroelastic materials (PEM) with the variable volume is developed in multidimensional case. Governing equations of the model are constructed using the continuity equations, which reflect the well-known physical…
Two finite volume methods are derived and applied to the solution of problems of incompressible flow. In particular, external inviscid flows and boundary-layer flows are examined. The firstmethod analyzed is a cell-centered finite volume…
In this paper we consider the problem of proving properties of infinite behaviour of formalisms suitable to describe (infinite state) systems with recursion and parallelism. As a formal setting, we consider the framework of Process…
Physics simulation is paramount for modeling and utilizing 3D scenes in various real-world applications. However, integrating with state-of-the-art 3D scene rendering techniques such as Gaussian Splatting (GS) remains challenging. Existing…
In a previous paper, we developed a new particle-in-cell method for the Vlasov-Maxwell system in which the electromagnetic fields and the equations of motion for the particles were cast in terms of scalar and vector potentials through a…
The mathematical formulation, basic concept and numerical implementation of a new meshless method for solving three dimensional fluid flow and related heat transfer problems are presented in this paper. Moving least squares approximation is…
We present a new technique for demonstrating the reachability of states in deterministic finite automata representing the concatenation of two languages. Such demonstrations are a necessary step in establishing the state complexity of the…
Reconstructing dynamic 3D urban scenes is crucial for autonomous driving, yet current methods face a stark trade-off between fidelity and computational cost. This inefficiency stems from their semantically agnostic design, which allocates…
We report on a new methodological approach to electrodynamics based on a fluidic viewpoint. We develop a systematic approach establishing analogies between physical magnitudes and isomorphism (structure-preserving mappings) between systems…
The paper is concerned with an adjoint complement to the Volume-of-Fluid (VoF) method for immiscible two-phase flows, e.g. air and water, which is widely used in marine engineering due to its computational efficiency. The particular…
We propose methods of optical pumping that are applicable to open, high-angular-momentum transitions in atoms and molecules, for which conventional optical pumping would lead to significant population loss. Instead of applying circularly…
In this paper we study global existence of weak solutions for the Quantum Hydrodynamics System in 2-D in the space of energy. We do not require any additional regularity and/or smallness assumptions on the initial data. Our approach…
Distributed acoustic sensing (DAS) is a relatively new technology for recording stress wave propagation, with promising applications in both engineering and geophysics. DAS's ability to simultaneously collect high spatial resolution data…
A numerical method to calculate optical conductivity based on a pump-probe setup is presented. Its validity and limits are tested and demonstrated via the concrete numerical simulations on the half-filled one-dimensional extended Hubbard…
Local topological markers have proven to be a valuable tool for investigating systems with topologically non-trivial bands. Due to their local nature, such markers can treat translationally invariant systems and spatially inhomogeneous…
Based on the MPS formalism, we introduce an ansatz for capturing excited states in finite systems with open boundary conditions, providing a very efficient method for computing, e.g., the spectral gap of quantum spin chains. This method can…
We perform an exhaustive study of the simplest, nontrivial problem in advection-diffusion -- a finite absorber of arbitrary cross section in a steady two-dimensional potential flow of concentrated fluid. This classical problem has been…
An introductory exposition of the virtual element method (VEM) is provided. The intent is to make this method more accessible to those unfamiliar with VEM. Familiarity with the finite element method for solving 2D linear elasticity problems…