English
Related papers

Related papers: On computing the fixpoint of a set of boolean equa…

200 papers

We propose new estimates for the frontier of a set of points. They are defined as kernel estimates covering all the points and whose associated support is of smallest surface. The estimates are written as linear combinatio- ns of kernel…

Methodology · Statistics 2011-03-31 Guillaume Bouchard , Stéphane Girard , Anatoli Iouditski , Alexander Nazin

A mean field feedback artificial neural network algorithm is developed and explored for the set covering problem. A convenient encoding of the inequality constraints is achieved by means of a multilinear penalty function. An approximate…

Neural and Evolutionary Computing · Computer Science 2007-05-23 Mattias Ohlsson , Carsten Peterson , Bo Söderberg

In the present work, firstly, we use a minimax equality to prove the existence of a solution of certain system of varitional equations and we provide a numerical approximation of such a solution. Then, we propose a numerical method to solve…

Numerical Analysis · Mathematics 2021-05-19 Ana Isabel Garralda-Guillem , Pablo Montiel López

We describe a new algorithm to compute the geometric intersection number between two curves, given as edge vectors on an ideal triangulation. Most importantly, this algorithm runs in polynomial time in the bit-size of the two edge vectors.…

Geometric Topology · Mathematics 2016-05-12 Mark C. Bell , Richard C. H. Webb

Solving an optimization problem whose objective function is the sum of two convex functions has received considerable interests in the context of image processing recently. In particular, we are interested in the scenario when a…

Computer Vision and Pattern Recognition · Computer Science 2014-12-16 Dai-Qiang Chen

In this paper, we improve the usual relative error bound for the computation of x^n through iterated multiplications by x in binary floating-point arithmetic. The obtained error bound is only slightly better than the usual one, but it is…

Numerical Analysis · Computer Science 2014-02-14 Stef Graillat , Vincent Lefèvre , Jean-Michel Muller

This paper considers a particular parameter estimator for switched systems and analyzes its properties. The estimator in question is defined as the map from the data set to the solution set of an optimization problem where the…

Systems and Control · Electrical Eng. & Systems 2020-09-10 Laurent Bako

A simple iteration methodology for the solution of a set of a linear algebraic equations is presented. The explanation of this method is based on a pure geometrical interpretation and pictorial representation. Convergence using this method…

Computational Physics · Physics 2010-12-30 Avas V. Khugaev , Renat A. Sultanov , D. Guster

We analyze inexact fixed point iterations where the generating function contains an inexact solve of an equation system to answer the question of how tolerances for the inner solves influence the iteration error of the outer fixed point…

Numerical Analysis · Mathematics 2014-03-12 Philipp Birken

The main aim of this paper is to solve an inverse source problem for a general nonlinear hyperbolic equation. Combining the quasi-reversibility method and a suitable Carleman weight function, we define a map of which fixed point is the…

Analysis of PDEs · Mathematics 2022-02-16 Loc H. Nguyen , Michael V. Klibanov

A finite element methodology for large classes of variational boundary value problems is defined which involves discretizing two linear operators: (1) the differential operator defining the spatial boundary value problem; and (2) a Riesz…

Numerical Analysis · Mathematics 2017-12-08 Brendan Keith , Socratis Petrides , Federico Fuentes , Leszek Demkowicz

We classify general systems of polynomial equations with a single solution, or, equivalently, collections of lattice polytopes of minimal positive mixed volume. As a byproduct, this classification provides an algorithm to evaluate the…

Combinatorics · Mathematics 2018-02-02 Alexander Esterov , Gleb Gusev

Changepoint detection is commonly formulated by minimizing the sum of in-sample losses to quantify the model's overall fit. However, for flexible modeling procedures -- especially those involving high-dimensional parameter spaces or…

Methodology · Statistics 2026-05-05 Chengde Qian , Guanghui Wang , Zhaojun Wang , Changliang Zou

In this paper we present a new approach to solve the satisfiability problem (SAT), based on boolean networks (BN). We define a mapping between a SAT instance and a BN, and we solve SAT problem by simulating the BN dynamics. We prove that BN…

Artificial Intelligence · Computer Science 2011-02-01 Andrea Roli , Michela Milano

Multipoint secant and interpolation methods are effective tools for solving systems of nonlinear equations. They use quasi-Newton updates for approximating the Jacobian matrix. Owing to their ability to more completely utilize the…

Optimization and Control · Mathematics 2017-12-05 Oleg Burdakov , Ahmad Kamandi

A class of improved estimators is proposed for N-point correlation functions of galaxy clustering, and for discrete spatial random processes in general. In the limit of weak clustering, the variance of the unbiased estimator converges to…

Astrophysics · Physics 2007-05-23 István Szapudi , Alexander S. Szalay

We give upper and lower bounds on the number of points on abelian varieties over finite fields, and lower bounds specific to Jacobian varieties. We also determine exact formulas for the maximum and minimum number of points on Jacobian…

Algebraic Geometry · Mathematics 2012-05-04 Yves Aubry , Safia Haloui , Gilles Lachaud

In this paper, we propose a method to approximate the fixed point of an operator in a Banach space. Using biorthogonal systems, this method is applied to build an approximation of the solution of a class of nonlinear partial…

Numerical Analysis · Mathematics 2020-02-07 M. I. Berenguer , D. Gamez

We propose an analysis for the stabilized finite element methods proposed in, E. Burman, Stabilized finite element methods for nonsymmetric, noncoercive, and ill-posed problems. Part I: Elliptic equations. SIAM J. Sci. Comput., 35(6) 2013,…

Numerical Analysis · Mathematics 2014-06-18 Erik Burman

As most robust combinatorial min-max and min-max regret problems with discrete uncertainty sets are NP-hard, research into approximation algorithm and approximability bounds has been a fruitful area of recent work. A simple and well-known…

Data Structures and Algorithms · Computer Science 2016-11-30 Marc Goerigk , André Chassein