English
Related papers

Related papers: ARC-STAR: Auditable Post-Hoc Correction for PDE Fo…

200 papers

The Deferred Correction (DeC) is an iterative procedure, characterized by increasing accuracy at each iteration, which can be used to design numerical methods for systems of ODEs. The main advantage of such framework is the automatic way of…

Numerical Analysis · Mathematics 2023-11-09 Lorenzo Micalizzi , Davide Torlo

This work unifies pseudo-time and inexact regularization techniques for nonmonotone classes of partial differential equations, into a regularized pseudo-time framework. Convergence of the residual at the predicted rate is investigated…

Numerical Analysis · Mathematics 2016-11-29 Sara Pollock

The (modern) arbitrary derivative (ADER) approach is a popular technique for the numerical solution of differential problems based on iteratively solving an implicit discretization of their weak formulation. In this work, focusing on an ODE…

Numerical Analysis · Mathematics 2024-01-15 Maria Han Veiga , Lorenzo Micalizzi , Davide Torlo

Efficient and stable solution of partial differential equations (PDEs) is central to scientific and engineering applications, yet existing numerical solvers rely heavily on matrix based discretizations, while learning based methods require…

Machine Learning · Computer Science 2026-04-30 Yi Bing , Zheng Ran , Fu Jinyang , Liu Long , Peng Xiang

We propose a new paradigm for designing efficient p-adaptive arbitrary high order methods. We consider arbitrary high order iterative schemes that gain one order of accuracy at each iteration and we modify them in order to match the…

Numerical Analysis · Mathematics 2023-11-09 Lorenzo Micalizzi , Davide Torlo , Walter Boscheri

In this note, we extend the analysis for the residual-based a posteriori error estimators in the energy norm defined for the algebraic flux correction (AFC) schemes [Jha20.CAMWA] to the newly proposed algebraic stabilization schemes…

Numerical Analysis · Mathematics 2024-04-04 Abhinav Jha

Despite advances in test-time scaling and diffusion finetuning, guidance for Auto-Regressive Diffusion Models (ARDMs) remains underexplored. We introduce an amortized framework that augments a pretrained ARDM with an offline-trained…

Machine Learning · Computer Science 2026-05-12 Prakhar Srivastava , Farrin Marouf Sofian , Francesco Immorlano , Kushagra Pandey , Stephan Mandt

We propose and analyze reliable and efficient a posteriori error estimators for an optimal control problem that involves a nondifferentiable cost functional, the Poisson problem as state equation and control constraints. To approximate the…

Numerical Analysis · Mathematics 2019-01-14 Alejandro Allendes , Francisco Fuica , Enrique Otárola

Advection-Diffusion-Reaction (ADR) Partial Differential Equations (PDEs) appear in a wide spectrum of applications such as chemical reactors, concentration flows, and biological systems. A large number of these applications require the…

Systems and Control · Electrical Eng. & Systems 2022-03-29 Ahmed Elkhashap , Dirk Abel

We present a trust-region-based adaptive finite-element algorithm for numerically solving a class of nonsmooth PDE-constrained optimization problems that includes problems with sparsifying regularizers and convex constraints. In particular,…

Optimization and Control · Mathematics 2026-04-28 Harbir Antil , Robert J. Baraldi , Rohit Khandelwal , Drew P. Kouri

The Stefan PDE system is a representative model for thermal phase change phenomena, such as melting and solidification, arising in numerous science and engineering processes. The mathematical description is given by a Partial Differential…

Optimization and Control · Mathematics 2021-11-24 Shumon Koga , Miroslav Krstic

Adaptive cubic regularization (ARC) methods for unconstrained optimization compute steps from linear systems involving a shifted Hessian in the spirit of the Levenberg-Marquardt and trust-region methods. The standard approach consists in…

Optimization and Control · Mathematics 2021-04-01 Jean-Pierre Dussault , Dominique Orban

Adaptive atomistic/continuum (a/c) coupling method is an important method for the simulation of material and atomistic systems with defects to achieve the balance of accuracy and efficiency. Residual based a posteriori error estimator is…

Numerical Analysis · Mathematics 2022-11-28 Yangshuai Wang , Hao Wang

This paper presents a novel dynamic post-shielding framework that enforces the full class of $\omega$-regular correctness properties over pre-computed probabilistic policies. This constitutes a paradigm shift from the predominant setting of…

Artificial Intelligence · Computer Science 2025-10-23 Ashwani Anand , Satya Prakash Nayak , Ritam Raha , Anne-Kathrin Schmuck

Deploying Automatic Speech Recognition (ASR) models on memory-constrained edge devices requires aggressive low-bit weight quantization. Layer-wise post-training quantization is practical and effective, but it suffers from cross-layer error…

Sound · Computer Science 2026-04-28 Xinyu Wang , Ziyu Zhao , Yajie Luo , Yihong Wu , Liheng Ma , Jingrui Tian , Lei Ding , Xiao-Wen Chang , Peng Lu

In modern electronic manufacturing, defect detection on Printed Circuit Boards (PCBs) plays a critical role in ensuring product yield and maintaining the reliability of downstream assembly processes. However, existing methods often suffer…

Computer Vision and Pattern Recognition · Computer Science 2025-07-08 Jiangzhong Cao , Huanqi Wu , Xu Zhang , Lianghong Tan , Huan Zhang

We introduce the notion of heterogeneous calibration that applies a post-hoc model-agnostic transformation to model outputs for improving AUC performance on binary classification tasks. We consider overconfident models, whose performance is…

Machine Learning · Statistics 2022-02-11 David Durfee , Aman Gupta , Kinjal Basu

Numerical methods for approximately solving partial differential equations (PDE) are at the core of scientific computing. Often, this requires high-resolution or adaptive discretization grids to capture relevant spatio-temporal features in…

Numerical Analysis · Mathematics 2021-01-19 Suryanarayana Maddu , Dominik Sturm , Bevan L. Cheeseman , Christian L. Müller , Ivo F. Sbalzarini

This paper is concerned with the recovery of (approximate) solutions to parabolic problems from incomplete and possibly inconsistent observational data, given on a time-space cylinder that is a strict subset of the computational domain…

Numerical Analysis · Mathematics 2021-07-13 Wolfgang Dahmen , Rob Stevenson , Jan Westerdiep

Modern robotic systems, deployed across domains from industrial automation to domestic assistance, face a critical challenge: executing tasks with precision and adaptability in dynamic, unpredictable environments. To address this, we…

Robotics · Computer Science 2025-03-11 Md Sadman Sakib , Yu Sun