Results 11 to 20 of about 1,494 (268)
CoRR, 2019 Iterative learning to infer approaches have become popular solvers for inverse problems. However, their memory requirements during training grow linearly with model depth, limiting in practice model expressiveness. In this work, we propose an iterative inverse model with constant memory that relies on invertible networks to avoid storing intermediate ...
Putzky, P., Welling, M.
openaire +5 more sources
On the Tree Gauge in Magnetostatics
J, 2022 We recall the classical tree-cotree technique in magnetostatics. (1) We extend it in the frame of high-order finite elements in general domains. (2) We focus on its connection with the question of the invertibility of the final algebraic system arising ...
Francesca Rapetti +2 more
doaj +1 more source
On solvability of elliptic boundary value problems via global invertibility [PDF]
Opuscula Mathematica, 2020 In this work we apply global invertibility result in order to examine the solvability of elliptic equations with both Neumann and Dirichlet boundary conditions.
Michał Bełdziński, Marek Galewski
doaj +1 more source
Model of General Split-BREAK Process
Revstat Statistical Journal, 2015 This paper presents a modification (and partly a generalization) of STOPBREAK process, which is the stochastic model of time series with permanent, emphatic fluctuations.
Vladica Stojanović +2 more
doaj +1 more source
Axioms, 2023 In this paper we formulate necessary conditions for the stability of certain quadrature methods for Mellin type singular integral equations on an interval.
Peter Junghanns, Robert Kaiser
doaj +1 more source
Theoretical Computer Science, 2006 The paper studies the problem of invertibility of recursive operators which map \({\mathcal F}\) to \({\mathcal F}\), where \({\mathcal F}\) is a class of functions. Four increasingly stronger types of invertibility are introduced and it is shown that they are different.
Sanjay Jain 0001 +2 more
openaire +4 more sources
Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract) [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 This work is a part of an ongoing effort to prove the correctness of invertibility conditions for the theory of fixed-width bit-vectors, which are used to solve quantified bit-vector formulas in the Satisfiability Modulo Theories (SMT) solver CVC4. While
Burak Ekici +4 more
doaj +1 more source
GENERALIZED SHERMAN-MORRISON-WOODBURY FORMULA FOR THE G-DRAZIN INVERSE [PDF]
Journal of Algebraic SystemsIn this paper, we present generaized Sherman-Morrison-Woodbury formula for the g-Drazin inverse in a Banachalgebra. New results for the g-Drazin invertibility of amodified element a -cdb with the generalized Schur complementdd - badc are given.
Ali Ghaffari +2 more
doaj +1 more source
On a Characterization of Finite-Dimensional Vector Spaces
International Journal of Mathematics and Mathematical Sciences, 2021 We provide a characterization of the finite dimensionality of vector spaces in terms of the right-sided invertibility of linear operators on them.
Marat V. Markin
doaj +1 more source