相关论文: The Volume-of-Tubes Formula: Computational Methods…
In this contribution, I give an overview of the various approaches toward the numerical modelling of turbulence, particularly, in the interstellar medium. The discussion is placed in a physical context, i. e. computational problems are…
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…
Diffusion models have become the go-to method for many generative tasks, particularly for image-to-image generation tasks such as super-resolution and inpainting. Current diffusion-based methods do not provide statistical guarantees…
The generalized Taylor's Formula is used to derive a fractional radial-cylindrical diffusivity model via a fractional conservation of mass in radial geometry in a petroleum reservoir. The result is a space-fractional generalization of the…
The volume of a Cartier divisor on a projective variety is a nonnegative real number that measures the asymptotic growth of sections of multiples of the divisor. It is known that the set of these numbers is countable and has the structure…
Lebesgue measurable subsets A and B of parallel or identical k-dimensional affine subspaces of Euclidean n-space E^n satisfy The Product Formula for Volume: Vol_k(A)Vol_k(B) = \sum_{J \in S(n,k)} Vol_k({\pi}_J(A))Vol_k({\pi}_J(B)). Here…
We extend the recently introduced divergence-conforming immersed boundary (DCIB) method [1] to fluid-structure interaction (FSI) problems involving closed co-dimension one solids. We focus on capsules and vesicles, whose discretization is…
We show that the Levin-Wen model of a unitary fusion category $\mathcal{C}$ is a gauge theory with gauge symmetry given by the tube algebra $\operatorname{Tube}(\mathcal{C})$. In particular, we define a model corresponding to a…
We develop a general methodology for the inclusion of variable surface tension into a Volume-of-Fluid based Navier-Stokes solver. This new numerical model provides a robust and accurate method for computing the surface gradients directly by…
A form of the conservation equations for fluid dynamics is presented, deduced using slightly less restrictive hypothesis than those necessary to obtain the Westervelt equation. This formulation accounts for full wave diffraction,…
This paper presents a tractable tube-based robust data-driven predictive control scheme that uses only a single finite noisy input-state trajectory of an unknown discrete-time linear time-invariant (LTI) system. A simplex constraint is…
High-pressure Gibbs energy approaches are promising for establishing multi-component thermodynamic databases. However, so far, they have often been considered unsuccessful, because of their tendency to lead to unphysical extrapolations of…
We discuss the possibility of constructing a function that validates the definition or not definition of the partial recursive functions of one variable. This is a topic in computability theory, which was first approached by Alan M. Turing…
The capillary flow of a Newtonian and incompressible fluid in an axially symmetric horizontal tube with a non-slowly-varying cross section and a boundary slip is considered theoretically under the assumption that the Reynolds number is…
We present an introductory overview of several challenging problems in the statistical characterisation of turbulence. We provide examples from fluid turbulence in three and two dimensions, from the turbulent advection of passive scalars,…
We introduce a new computational methodology for the identification and characterization of free volume within/around atomistic configurations. This scheme employs a three-stage workflow, by which spheres are iteratively grown inside of…
The "Mahler volume" is, intuitively speaking, a measure of how "round" a centrally symmetric convex body is. In one direction this intuition is given weight by a result of Santalo, who in the 1940s showed that the Mahler volume is…
Foundation models for tabular data are rapidly evolving, with increasing interest in extending them to support additional modalities such as free-text features. However, existing benchmarks for tabular data rarely include textual columns,…
We analyze the stability of biological membrane tubes, with and without a base flow of lipids. Membrane dynamics are completely specified by two dimensionless numbers: the well-known F\"oppl--von K\'arm\'an number $\Gamma$ and the recently…
We present a method to estimate the provability of a mathematical formula. We adapt the tactical theorem prover TacticToe to factor in these estimations. Experiments over the HOL4 library show an increase in the number of theorems re-proven…