Results 241 to 250 of about 2,421,713 (288)
Some of the next articles are maybe not open access.
Structural analysis of the complexity of inverse functions
Mathematical Systems Theory, 1993zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Osamu Watanabe 0001, Seinosuke Toda
openaire +2 more sources
Velocity Analysis by Inversion
SEG Technical Program Expanded Abstracts 1991, 1991Abstract : In conventional inversion methods, imaging structure inside the earth requires reasonable background velocities. In this paper, velocity analysis and structural imaging are done at the same time. The medium is assumed to consist of constant-velocity layers separated by arbitrary, smooth interfaces.
Norman Bleistein, Zhenyue Liu
openaire +2 more sources
Analysis of Approximate Inverses in Tomography I. Resolution Analysis of Common Inverses
Optimization and Engineering, 2000zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Analysis of Inverse Snyder Optimizations
2012Modern area preserving projections employed by cartographers and geographers have closed forms when transitioning between the sphere and the plane. Inversions - from the planar map to the spherical approximation of the Earth - are slower, requiring iterative root finding approaches or entirely undetermined.
Erika Harrison +2 more
openaire +1 more source
Termination Analysis by Program Inversion
2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2008Automatic methods for discovering program runtime and proving program termination have always been a challenging problem in computer science. We present here a novel and systematic approach for calculating an upper bound of the maximum runtime of functions for a non-trivial class of programs.
openaire +1 more source
Analysis of Approximate Inverses in Tomography II. Iterative Inverses
Optimization and Engineering, 2000zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
1987
A method for analysing the inverse of a first-order functional program is proposed. This method is based on denotational semantics: we analyse the inverse image of a Scott open set under the continuous function which the program denotes. Inverse image analysis is one possible way of extending strictness analysis to languages with lazy data structures ...
openaire +1 more source
A method for analysing the inverse of a first-order functional program is proposed. This method is based on denotational semantics: we analyse the inverse image of a Scott open set under the continuous function which the program denotes. Inverse image analysis is one possible way of extending strictness analysis to languages with lazy data structures ...
openaire +1 more source
Perturbation Analysis of the Drazin Inverse and the Group Inverse
2018Having studied the perturbation of the M-P inverse and the weighted M-P inverse, we now turn to the perturbation analysis of the Drazin and group inverses.
Guorong Wang, Yimin Wei, Sanzheng Qiao
openaire +1 more source
A critical analysis of linear inverse solutions to the neuroelectromagnetic inverse problem
IEEE Transactions on Biomedical Engineering, 1998This paper explores the possibilities of using linear inverse solutions to reconstruct arbitrary current distributions within the human brain. We formally prove that due to the underdetermined character of the problem, the only class of measurable current distributions that can be totally retrieved are those of minimal norm.
Grave de Peralta-Menendez R +1 more
openaire +3 more sources
1993
The discussion and analysis in this initial chapter will be purely synchronic in nature. Our goal here is to develop and motivate an analytic framework in terms of which we can discuss the synchronic and diachronic phenomena of verb-placement throughout the rest of the book.
openaire +1 more source
The discussion and analysis in this initial chapter will be purely synchronic in nature. Our goal here is to develop and motivate an analytic framework in terms of which we can discuss the synchronic and diachronic phenomena of verb-placement throughout the rest of the book.
openaire +1 more source