Related papers: Proof-Carrying No-Arbitrage Surfaces: Constructive…
We present SHIELD, a hierarchical algorithm that reduces both the decision-variable dimension and the constraint set in $\ell_1$-regularized convex programs. From strong convexity and Lagrangian duality, we derive certificates that…
This paper addresses the critical challenge of developing data-driven certificates for the stability and safety of unmodeled dynamical systems by leveraging a tree data structure and an upper bound of the system's Lipschitz constant.…
The Extended Czjzek Model (ECM) is applied to the distribution of NMR parameters of a simple glass model (sodium metaphosphate, $\mathrm{NaPO_3}$) obtained by Molecular Dynamics (MD) simulations. Accurate NMR tensors, Electric Field…
The FOSS CFD-SPH code SPHERA v.9.0.0 (RSE SpA) is empowered to deal with fluid-solid body interactions under no-slip conditions and laminar regimes for the simulation of hydrodynamic lubrication. The code is herein validated in relation to…
We consider model-free pricing of digital options, which pay out if the underlying asset has crossed both upper and lower barriers. We make only weak assumptions about the underlying process (typically continuity), but assume that the…
We propose new supermartingale-based certificates for verifying almost sure satisfaction of $\omega$-regular properties: (1) generalised Streett supermartingales (GSSMs) and their lexicographic extension (LexGSSMs), (2) distribution-valued…
Diffusion models over discrete spaces have recently shown striking empirical success, yet their theoretical foundations remain incomplete. In this paper, we study the sampling efficiency of score-based discrete diffusion models under a…
In this paper, we introduce two new types of barrier certificates that are based on multiple functions rather than a single one. A conventional barrier certificate for a stochastic dynamical system is a nonnegative real-valued function…
We develop a stabilized cut finite element method for the stationary convection diffusion problem on a surface embedded in ${\mathbb{R}}^d$. The cut finite element method is based on using an embedding of the surface into a three…
This work demonstrates quasi-vertical beta-Ga2O3 Schottky barrier diodes (SBDs) fabricated on c-plane sapphire using an all-LPCVD, plasma-free process integrating epitaxial growth of high-quality beta-Ga2O3 and in-situ Ga-assisted etching.…
In a series of publications the Cummings-Stell model (CSM), for a binary mixture of associative fluids with steric effects, has been solved analytically using the Percus-Yevick approximation (PYA). The solution consists in a square well…
A barrier certificate, defined over the states of a dynamical system, is a real-valued function whose zero level set characterizes an inductively verifiable state invariant separating reachable states from unsafe ones. When combined with…
Following a suggestion made by J.-P. Demailly, for each $k\ge 1$, we endow, by an induction process, the $k$-th (anti)tautological line bundle $\mathcal O_{X_k}(1)$ of an arbitrary complex directed manifold $(X,V)$ with a natural smooth…
We propose a new discrete FFT-based method for computational homogenization of micromechanics on a regular grid that is simple, fast and robust. The discretization scheme is based on a tetrahedral stencil that displays three crucial…
This paper presents a stability analysis tool for model predictive control (MPC) where control action is generated by optimising a cost function over a finite horizon. Stability analysis of MPC with a limited horizon but without terminal…
This paper is concerned with the nonconforming finite element discretization of geometric partial differential equations. In specific, we construct a surface Crouzeix-Raviart element on the linear approximated surface, analogous to a flat…
The asymptotic properties of multivariate Sz\'{a}sz-Mirakyan estimators for cumulative distribution functions (cdf) supported on the nonnegative orthant are investigated. Explicit bias and variance expansions are derived on compact subsets…
Convection-diffusion equations arise in a variety of applications such as particle transport, electromagnetics, and magnetohydrodynamics. Simulation of the convection-dominated regime for these problems, even with high-fidelity techniques,…
This study examines the effectiveness of HMA overlay design strategies for the purpose of controlling the development of reflective cracking. A parametric study was conducted using a 3D Finite Element (FE) model of a rigid pavement section…
Language-empowered foundation models (LeFMs), such as CLIP and GraphCLIP, have transformed multimodal learning by aligning visual (or graph) features with textual representations, enabling powerful downstream capabilities like few-shot…