English
Related papers

Related papers: Numerical application and Turbo C program using th…

200 papers

We formally prove correct a C program that implements a numerical scheme for the resolution of the one-dimensional acoustic wave equation. Such an implementation introduces errors at several levels: the numerical scheme introduces method…

Logic in Computer Science · Computer Science 2013-03-27 Sylvie Boldo , Francois Clement , Jean-Christophe Filliâtre , Micaela Mayero , Guillaume Melquiond , Pierre Weis

In this article, we first establish derivative formulae for fractional Gruschin type process, which generalize the result of Wang (J Theor Probab 27:80--95, Theorem 1.1, 2012). Since we work on a non-Markovian context, some technical…

Probability · Mathematics 2019-12-06 Xiliang Fan , Rong Yu

We explore the use of the Gauss-Newton method for optimization in shape learning, including implicit neural surfaces and geometry-informed neural networks. The method addresses key challenges in shape learning, such as the ill-conditioning…

Machine Learning · Computer Science 2026-02-16 James King , Arturs Berzins , Siddhartha Mishra , Marius Zeinhofer

We obtain estimates of the multiplicative constants appearing in local convergence results of the Riemannian Gauss-Newton method for least squares problems on manifolds and relate them to the geometric condition number of [P. B\"urgisser…

Numerical Analysis · Mathematics 2022-09-02 Paul Breiding , Nick Vannieuwenhoven

The method of exhaustion is generalized to a simple formula that can be used to integrate functions under very general conditions, provided that the integral exists. Both a geometric proof (following the usual procedure for the method of…

Classical Analysis and ODEs · Mathematics 2007-05-23 Anthony A. Ruffa

The optimization of system parameters is a ubiquitous problem in science and engineering. The traditional approach involves setting to zero the partial derivatives of the objective function with respect to each parameter, in order to…

Quantum Physics · Physics 2023-12-11 Kelvin Koor , Yixian Qiu , Leong Chuan Kwek , Patrick Rebentrost

Bayesian optimization through Gaussian process regression is an effective method of optimizing an unknown function for which every measurement is expensive. It approximates the objective function and then recommends a new measurement point…

Machine Learning · Statistics 2017-05-17 Hildo Bijl , Thomas B. Schön , Jan-Willem van Wingerden , Michel Verhaegen

Stochastic spectral methods have achieved great success in the uncertainty quantification of many engineering problems, including electronic and photonic integrated circuits influenced by fabrication process variations. Existing techniques…

Numerical Analysis · Mathematics 2018-12-06 Chunfeng Cui , Zheng Zhang

In this paper we propose a generic algorithm to calculate the rotation parameters of CORDIC angles required for the Discrete Cosine Transform algorithm (DCT). This leads us to increase the precision of calculation meeting any accuracy.Our…

Multimedia · Computer Science 2016-06-09 Imen Ben Saad , Younes Lahbib , Yassine Hachaïchi , Sonia Mami , Abdelkader Mami

We consider the approximation of the inverse square root of regularly accretive operators in Hilbert spaces. The approximation is of rational type and comes from the use of the Gauss-Legendre rule applied to a special integral formulation…

Numerical Analysis · Mathematics 2022-02-04 Eleonora Denich , Paolo Novati

A fundamental task in numerical computation is the solution of large linear systems. The conjugate gradient method is an iterative method which offers rapid convergence to the solution, particularly when an effective preconditioner is…

Methodology · Statistics 2018-12-18 Jon Cockayne , Chris Oates , Ilse Ipsen , Mark Girolami

A continuous analog of Gauss-Newton method for solving nonlinear ill-posed problems is proposed. Its converegence is proved. A numerical example is presented to demonstrate efficiency of the propsed method.

Mathematical Physics · Physics 2007-05-23 R. Airapetyan , A. G. Ramm , A. Smirnova

The following document presents some novel numerical methods valid for one and several variables, which using the fractional derivative, allow to find solutions for some non-linear systems in the complex space using real initial conditions.…

Numerical Analysis · Mathematics 2024-04-25 A. Torres-Hernandez , F. Brambila-Paz

We prove the Jordan curve theorem by generalizing the sweepline algorithm for trapezoidal decomposition of a polygon. Our proof uses Zorn's lemma (or, equivalently the axiom of choice). Though several proofs have been given for the Jordan…

Computational Geometry · Computer Science 2026-04-30 Apurva Mudgal

We introduce an efficient algorithm for computing fractional integrals and derivatives and apply it for solving problems of the calculus of variations of fractional order. The proposed approximations are particularly useful for solving…

Numerical Analysis · Mathematics 2017-07-19 Salman Jahanshahi , Esmail Babolian , Delfim F. M. Torres , Alireza Vahidi

The estimation of unknown parameters in nonlinear partial differential equations (PDEs) offers valuable insights across a wide range of scientific domains. In this work, we focus on estimating plant root parameters in the Richards equation,…

Methodology · Statistics 2025-10-28 Yumo Yang , Anass Ben Bouazza , Xuejun Dong , Quan Zhou

The Gauss-Newton algorithm is a popular and efficient centralized method for solving non-linear least squares problems. In this paper, we propose a multi-agent distributed version of this algorithm, named Gossip-based Gauss-Newton (GGN)…

Numerical Analysis · Mathematics 2016-08-24 Xiao Li , Anna Scaglione

An important yet challenging problem in numerical linear algebra is finding a principal submatrix with maximum determinant from a given symmetric positive semidefinite matrix. This problem arises in experimental design, statistics, and…

Optimization and Control · Mathematics 2026-05-26 Hao Hu , Stefan Sremac , Hugo J. Woerdeman , Henry Wolkowicz

We discuss the application of random projections to conic programming: notably linear, second-order and semidefinite programs. We prove general approximation results on feasibility and optimality using the framework of formally real Jordan…

Optimization and Control · Mathematics 2021-01-13 Leo Liberti , Pierre-Louis Poirion , Ky Vu

Achieving the full promise of the Thermodynamic Variational Objective (TVO), a recently proposed variational lower bound on the log evidence involving a one-dimensional Riemann integral approximation, requires choosing a "schedule" of…

Machine Learning · Computer Science 2020-11-24 Vu Nguyen , Vaden Masrani , Rob Brekelmans , Michael A. Osborne , Frank Wood
‹ Prev 1 8 9 10 Next ›