Related papers: A numerical stabilization scheme for the shallow s…
Ultrasound shear wave elastography (SWE) is a noninvasive way to measure stiffness of soft tissue for medical diagnosis. In SWE imaging, an acoustic radiation force induces tissue displacement, which creates shear waves (SWs) that travel…
A well-designed numerical method for the shallow water equations (SWE) should ensure well-balancedness, nonnegativity of water heights, and entropy stability. For a continuous finite element discretization of a nonlinear hyperbolic system…
The application of immersed boundary methods in static analyses is often impeded by poorly cut elements (small cut elements problem), leading to ill-conditioned linear systems of equations and stability problems. While these concerns may…
As machine learning (ML) systems become pervasive, safeguarding their security is critical. However, recently it has been demonstrated that motivated adversaries are able to mislead ML systems by perturbing test data using semantic…
Finite-time stability (FTS) of a differential equation guarantees that solutions reach a given equilibrium point in finite time, where the time of convergence depends on the initial state of the system. For traditional stability notions…
It is well known in the Reduced Basis approximation of saddle point problems that the Galerkin projection on the reduced space does not guarantee the inf-sup approximation stability even if a stable high fidelity method was used to generate…
In this paper, a compact high-order gas-kinetic scheme (GKS) with spectral resolution will be presented and used in the simulation of acoustic and shock waves. For accurate simulation, the numerical scheme is required to have excellent…
We prove that the thickness property is a necessary and sufficient geometric condition that ensures the (rapid) stabilization or the approximate null-controllability with uniform cost of a large class of evolution equations posed on the…
The precise simulation of turbulent flows holds immense significance across various scientific and engineering domains, including climate science, freshwater science, and energy-efficient manufacturing. Within the realm of simulating…
In this paper, a stabilized second order in time accurate linear exponential time differencing (ETD) scheme for the no-slope-selection thin film growth model is presented. An artificial stabilizing term $A\tau^2\frac{\partial\Delta^2…
Singularly perturbed systems (SPSs) are prevalent in engineering applications, where numerically solving their initial value problems (IVPs) is challenging due to stiffness arising from multiple time scales. Classical explicit methods…
In this paper, we study the stability of various difference approximations of the Euler-Korteweg equations. This system of evolution PDEs is a classical isentropic Euler system perturbed by a dispersive (third order) term. The Euler…
The basal sliding of glaciers and ice sheets can constitute a large part of the total observed ice velocity, in particular in dynamically active areas. It is therefore important to accurately represent this process in numerical models. The…
We present an accurate and efficient discretization approach for the adaptive discretization of typical model equations employed in numerical weather prediction. A semi-Lagrangian approach is combined with the TR-BDF2 semi-implicit time…
We introduce TIGRESS, a novel framework for multi-physics numerical simulations of the star-forming interstellar medium (ISM) implemented in the Athena MHD code. The algorithms of TIGRESS are designed to spatially and temporally resolve key…
This paper develops entropy stable (ES) adaptive moving mesh schemes for the 2D and 3D special relativistic hydrodynamic (RHD) equations. They are built on the ES finite volume approximation of the RHD equations in curvilinear coordinates,…
Agentic Test-Time Scaling (TTS) has delivered state-of-the-art (SOTA) performance on complex software engineering tasks such as code generation and bug fixing. However, its practical adoption remains limited due to significant computational…
Stability selection has gained popularity as a method for enhancing the performance of variable selection algorithms while controlling false discovery rates. However, achieving these desirable properties depends on correctly specifying the…
In this study, we integrate the established obstacle problem formulation from ice sheet modeling with cutting-edge deep learning methodologies to enhance ice thickness predictions, specifically targeting the Greenland ice sheet. By…
Numerical simulations of dust-gas dynamics are one of the fundamental tools in astrophysical research, such as the study of star and planet formation. It is common to find tightly coupled dust and gas in astrophysical systems, which demands…