English
Related papers

Related papers: Regularization Theory of the Analytic Deep Prior A…

200 papers

Trustworthy AI requires reasoning systems that are not only powerful but also transparent and reliable. Automated Theorem Proving (ATP) is central to formal reasoning, yet classical binary resolution remains limited, as each step involves…

Logic in Computer Science · Computer Science 2025-09-10 Yang Xu , Shuwei Chen , Xiaomei Zhong , Jun Liu , Xingxing He

In the Plug-and-Play (PnP) method, a denoiser is used as a regularizer within classical proximal algorithms for image reconstruction. It is known that a broad class of linear denoisers can be expressed as the proximal operator of a convex…

Optimization and Control · Mathematics 2024-11-05 Arghya Sinha , Kunal N Chaudhury

In most state-of-the-art image restoration methods, the sum of a data-fidelity and a regularization term is optimized using an iterative algorithm such as ADMM (alternating direction method of multipliers). In recent years, the possibility…

Image and Video Processing · Electrical Eng. & Systems 2020-01-08 Ruturaj G. Gavaskar , Kunal N. Chaudhury

A reduced-order model algorithm, called ALP, is proposed to solve nonlinear evolution partial differential equations. It is based on approximations of generalized Lax pairs. Contrary to other reduced-order methods, like Proper Orthogonal…

Numerical Analysis · Mathematics 2014-03-04 Jean-Frédéric Gerbeau , Damiano Lombardi

The problem of adversarial examples has shown that modern Neural Network (NN) models could be rather fragile. Among the more established techniques to solve the problem, one is to require the model to be {\it $\epsilon$-adversarially…

Machine Learning · Computer Science 2020-11-17 Yuxin Wen , Shuai Li , Kui Jia

Solving inverse problems \(Ax = y\) is central to a variety of practically important fields such as medical imaging, remote sensing, and non-destructive testing. The most successful and theoretically best-understood method is convex…

Numerical Analysis · Mathematics 2025-09-23 Daniel Obmann , Gyeongha Hwang , Markus Haltmeier

We extend a primal-dual fixed point algorithm (PDFP) proposed in [5] to solve two kinds of separable multi-block minimization problems, arising in signal processing and imaging science. This work shows the flexibility of applying PDFP…

Optimization and Control · Mathematics 2016-02-02 Peijun Chen , Jianguo Huang , Xiaoqun Zhang

Deep Learning (DL) models can be used to tackle time series analysis tasks with great success. However, the performance of DL models can degenerate rapidly if the data are not appropriately normalized. This issue is even more apparent when…

Computational Finance · Quantitative Finance 2019-09-24 Nikolaos Passalis , Anastasios Tefas , Juho Kanniainen , Moncef Gabbouj , Alexandros Iosifidis

The Plug-and-Play (PnP) framework makes it possible to integrate advanced image denoising priors into optimization algorithms, to efficiently solve a variety of image restoration tasks generally formulated as Maximum A Posteriori (MAP)…

Image and Video Processing · Electrical Eng. & Systems 2023-03-07 Rita Fermanian , Mikael Le Pendu , Christine Guillemot

Improving generalization is one of the main challenges for training deep neural networks on classification tasks. In particular, a number of techniques have been proposed, aiming to boost the performance on unseen data: from standard data…

Machine Learning · Computer Science 2022-12-29 Enzo Tartaglione , Daniele Perlo , Marco Grangetto

Dropout has proven to be an effective technique for regularization and preventing the co-adaptation of neurons in deep neural networks (DNN). It randomly drops units with a probability $p$ during the training stage of DNN. Dropout also…

Machine Learning · Computer Science 2018-08-30 Zongjie Ma , Abdul Sattar , Jun Zhou , Qingliang Chen , Kaile Su

Conservative Policy Iteration (CPI) is a founding algorithm of Approximate Dynamic Programming (ADP). Its core principle is to stabilize greediness through stochastic mixtures of consecutive policies. It comes with strong theoretical…

Machine Learning · Computer Science 2020-01-07 Nino Vieillard , Olivier Pietquin , Matthieu Geist

Variational methods that rely on a recognition network to approximate the posterior of directed graphical models offer better inference and learning than previous methods. Recent advances that exploit the capacity and flexibility in this…

Machine Learning · Computer Science 2018-02-21 R Devon Hjelm , Kyunghyun Cho , Junyoung Chung , Russ Salakhutdinov , Vince Calhoun , Nebojsa Jojic

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

Automatic differentiation (AD) in reverse mode (RAD) is a central component of deep learning and other uses of large-scale optimization. Commonly used RAD algorithms such as backpropagation, however, are complex and stateful, hindering deep…

Programming Languages · Computer Science 2018-10-03 Conal Elliott

This paper provides new stability results for Action-Dependent Heuristic Dynamic Programming (ADHDP), using a control algorithm that iteratively improves an internal model of the external world in the autonomous system based on its…

Neural and Evolutionary Computing · Computer Science 2015-07-29 Yury Sokolov , Robert Kozma , Ludmilla D. Werbos , Paul J. Werbos

Fast convergence and high-quality image recovery are two essential features of algorithms for solving ill-posed imaging inverse problems. Existing methods, such as regularization by denoising (RED), often focus on designing sophisticated…

Computer Vision and Pattern Recognition · Computer Science 2025-10-10 Marien Renaud , Julien Hermant , Deliang Wei , Yu Sun

For the solution of full-rank ill-posed linear systems a new approach based on the Arnoldi algorithm is presented. Working with regularized systems, the method theoretically reconstructs the true solution by means of the computation of a…

Numerical Analysis · Mathematics 2010-09-29 Claude Brezinski , Paolo Novati , Michela Redivo-Zaglia

In practice, deep neural networks have been found to be vulnerable to various types of noise, such as adversarial examples and corruption. Various adversarial defense methods have accordingly been developed to improve adversarial robustness…

Machine Learning · Computer Science 2020-12-24 Aishan Liu , Xianglong Liu , Chongzhi Zhang , Hang Yu , Qiang Liu , Dacheng Tao

Deep learning algorithms that rely on extensive training data are revolutionizing image recovery from ill-posed measurements. Training data is scarce in many imaging applications, including ultra-high-resolution imaging. The deep image…

Image and Video Processing · Electrical Eng. & Systems 2021-11-23 Maneesh John , Hemant Kumar Aggarwal , Qing Zou , Mathews Jacob