Related papers: Flux-Vector-Splitting (FVS) method for Z4 formalis…
This paper investigates analytic properties of American option prices under the finite moment log-stable (FMLS) model. Under this model the price of American options is characterised by the free boundary problem of a fractional partial…
We consider a class of nonsmooth fractional programming problems with fixed-point constraints, where the numerator is convex and the denominator is concave. To solve this problem, we propose splitting algorithms that compute subgradient…
In this paper, we systematically review a series of effective methods for studying the qualitative properties of solutions to fractional equations. Beginning with the pioneering extension method and the method of moving planes in integral…
We present a new high-order accurate discretisation on unstructured meshes of quadrilateral elements. Our Face Upwinded Spectral Element (FUSE) method uses the same node distribution as a high-order continuous Galerkin (CG) method, but with…
The fabric of porous and fractured media contains solid regions (grains) and voids. The space conducting fluids is a system of connected voids with variable geometries. Relative to the grain sizes, the voids can be voluminous with three…
FFT-based solvers introduced in the 1990s for the numerical homogenization of heterogeneous elastic materials have been extended to a wide range of physical properties. In parallel, alternative algorithms and modified discrete Green…
We present a numerical method for approximating the solutions of degenerate parabolic equations with a formal gradient flow structure. The numerical method we propose preserves at the discrete level the formal gradient flow structure,…
This paper presents the initial results from our structured literature review on applications of Formal Methods (FM) to Robotic Autonomous Systems (RAS). We describe our structured survey methodology; including database selection and…
We present new results concerning the Proca massive vector field in a Schwarzschild-AdS black hole geometry. We provide a first principles analysis of Proca vector fields in this geometry using both the vector spherical harmonic (VSH)…
Calculating cost-effective solutions to particle dynamics in viscous flows is an important problem in many areas of industry and nature. We implement a second-order symmetric splitting method on the governing equations for a rigid…
Point source localisation is generally modelled as a Lasso-type problem on measures. However, optimisation methods in non-Hilbert spaces, such as the space of Radon measures, are much less developed than in Hilbert spaces. Most numerical…
The parabolic-hyperbolic form of the constraints is integrated numerically. The applied numerical stencil is $4^{th}$ order accurate (in the spatial directions) while 'time'-integration is made by using the method of lines with a $4^{th}$…
For a finite dimensional real vector space V with inner product, let F(V) be the block structure space, in the sense of surgery theory, of the projective space of V. Continuing a program launched in part I, we investigate F as a functor on…
We propose a mixed finite element method for Stokes flow with one degree of freedom per element and facet of simplicial grids. The method is derived by considering the vorticity-velocity-pressure formulation and eliminating the vorticity…
A low-order mimetic finite difference (MFD) method for Reissner-Mindlin plate problems is considered. Together with the source problem, the free vibration and the buckling problems are investigated. Full details about the scheme…
In this article, we consider exactly divergence-free $H$(div)-conforming finite element methods for time-dependent incompressible viscous flow problems. This is an extension of previous research concerning divergence-free $H^1$-conforming…
There is a plethora of data structures, algorithms, and frameworks dealing with major data-stream problems like estimating the frequency of items, answering set membership, association and multiplicity queries, and several other statistics…
To meet the demand for complex geometries and high resolutions of small-scale flow structures, a two-stage fourth-order subcell finite volume (SCFV) method combining the gas-kinetic solver (GKS) with subcell techniques for compressible…
This paper presents the variational discretization of the compressible Navier-Stokes-Fourier system, in which the viscosity and the heat conduction terms are handled within the variational approach to nonequilibrium thermodynamics as…
In this work we are interested in dealing with single-phase flows in fractured porous media for underground processes. We focus our attention on domains where the presence of faults, with thickness several orders of magnitude smaller than…