Feasibility-based fixed point networks

نویسندگان

چکیده

Abstract Inverse problems consist of recovering a signal from collection noisy measurements. These can often be cast as feasibility problems; however, additional regularization is typically necessary to ensure accurate and stable recovery with respect data perturbations. Hand-chosen analytic yield desirable theoretical guarantees, but such approaches have limited effectiveness signals due their inability leverage large amounts available data. To this end, work fuses data-driven convex in theoretically sound manner. This accomplished using feasibility-based fixed point networks (F-FPNs). Each F-FPN defines nonexpansive operators, each which the composition projection-based operator operator. Fixed iteration used compute points these weights operators are tuned so that closely represent Numerical examples demonstrate performance increases by F-FPNs when compared standard TV-based methods for CT reconstruction comparable neural network based on algorithm unrolling. Codes Github: github.com/howardheaton/feasibility_fixed_point_networks .

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Fixed Point Quantization of Deep Convolutional Networks

In recent years increasingly complex architectures for deep convolution networks (DCNs) have been proposed to boost the performance on image recognition tasks. However, the gains in performance have come at a cost of substantial increase in computation and model storage resources. Fixed point implementation of DCNs has the potential to alleviate some of these complexities and facilitate potenti...

متن کامل

Fixed Point Analysis for Recurrent Networks

Dana H. Ballard This paper provides a systematic analysis of the recurrent backpropagation (RBP) algorithm, introducing a number of new results. The main limitation of the RBP algorithm is that it assumes the convergence of the network to a stable fixed point in order to backpropagate the error signals. We show by experiment and eigenvalue analysis that this condition can be violated and that c...

متن کامل

Feasibility-Based Bounds Tightening via Fixed Points

The search tree size of the spatial Branch-and-Bound algorithm for Mixed-Integer Nonlinear Programming depends on many factors, one of which is the width of the variable ranges at every tree node. A range reduction technique often employed is called Feasibility Based Bounds Tightening, which is known to be practically fast, and is thus deployed at every node of the search tree. From time to tim...

متن کامل

Lattice based Least Fixed Point Logic

As software systems become more complex, there is an increasing need for new static analyses. Thanks to the declarative style, logic programming is an attractive formalism for specifying them. However, prior work on using logic programming for static analysis focused on analyses defined over some powerset domain, which is quite limiting. In this paper we present a logic that lifts this restrict...

متن کامل

Some fixed point theorems and common fixed point theorem in log-convex structure

Some fixed point theorems and common fixed point theorem in Logarithmic convex structure areproved.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Fixed Point Theory and Algorithms for Sciences and Engineering

سال: 2021

ISSN: ['2730-5422']

DOI: https://doi.org/10.1186/s13663-021-00706-3