Related papers: The Volume-of-Tubes Formula: Computational Methods…
Satisfiability Modulo Theory (SMT) has recently emerged as a powerful tool for solving various automated reasoning problems across diverse domains. Unlike traditional satisfiability methods confined to Boolean variables, SMT can reason on…
The aim of this work is to introduce several different volume computation methods of the graph polytope associated with various type of finite simple graphs. Among them, we obtained the recursive volume formula (RVF) that is fundamental and…
We present a theory of tunnelling geometries originating from the no-boundary quantum state of Hartle and Hawking. We reformulate the no-boundary wavefunction in the representation of true physical variables and calculate it in the one-loop…
In Physica A vol 387(24) (2008) pp6079-6094 [1], a kinetic equation for gas flows was proposed that leads to a set of four macroscopic conservation equations, rather than the traditional set of three equations. The additional equation…
This article introduces a novel numerical approach, based on Finite Volume Techniques, for studying fully nonlinear coagulation-fragmentation models, where both the coagulation and fragmentation components of the collision operator are…
Calculus and geometry are ubiquitous in the theoretical modelling of scientific phenomena, but have historically been very challenging to apply directly to real data as statistics. Diffusion geometry is a new theory that reformulates…
An oxidation process is simulated for a bundle of metal tubes in a cross-flow. A fluid flow is governed by the incompressible Navier-Stokes equations. To describe the transport of oxygen, the corresponding convection-diffusion equation is…
The volume of a line bundle is defined in terms of a limsup. It is a fundamental question whether this limsup is a limit. It has been shown that this is always the case on generically reduced schemes. We show that volumes are limits in two…
Let $K$ be a closed convex polyhedron defined by a finite number of linear inequalities. In this paper we refine the theory of abstract tubes (Naiman and Wynn, 1997) associated with $K$ when $K$ is perturbed. In particular, we focus on the…
The aim of the paper is the study of fluid mixtures in nanotubes by the methods of continuum mechanics. The model starts from a statistical distribution in mean-field molecular theory and uses a density expansion of Taylor series. We get a…
This article is meant to give a lucid and widely accessible, self-contained account of a novel way of performing arithmetic operations on fuzzy intervals. Based on two formulae of generalized inversion (the first in close analogy to the…
A novel simulation framework has been developed in this study for the direct numerical simulation of the aerodynamic breakup of a vaporizing drop. The interfacial multiphase flow with phase change is resolved using a consistent geometric…
Bounding volumes are an established concept in computer graphics and vision tasks but have seen little change since their early inception. In this work, we study the use of neural networks as bounding volumes. Our key observation is that…
We investigate in this article the boundary layers appearing for a fluid under moderate rotation when the viscosity is small. The fluid is modeled by rotating type Stokes equations known also as the Barotropric mode equations in the…
Affine su(3) and su(4) fusion multiplicities are characterised as discretised volumes of certain convex polytopes. The volumes are measured explicitly, resulting in multiple sum formulas. These are the first polytope-volume formulas for…
Comparing mathematical models offers a means to evaluate competing scientific theories. However, exact methods of model calibration are not applicable to many probabilistic models which simulate high-dimensional spatio-temporal data.…
We show that for optical cavities with any finite dissipation, the term "cavity mode" should be understood as a solution to the Helmholtz equation with outgoing wave boundary conditions. This choice of boundary condition renders the problem…
We propose a tube-based guaranteed cost model predictive controller considering a homothetic formulation for constrained linear systems subject to multiplicative structured norm-bounded uncertainties. It provides an upper bound to the…
Volume computation for $d$-polytopes $\mathcal{P}$ is fundamental in mathematics. There are known volume computation algorithms, mostly based on triangulation or signed-decomposition of $\mathcal{P}$. We consider $…
For classification tasks, the performance of a deep neural network is determined by the structure of its decision boundary, whose geometry directly affects essential properties of the model, including accuracy and robustness. Motivated by a…