Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
20,134
The Inverse Method
, 2001
"... this paper every formula is equivalent to a formula in negation normal form ..."
Abstract
-
Cited by 15 (1 self)
- Add to MetaCart
this paper every formula is equivalent to a formula in negation normal form
Inversion Methods
"... Introduction I want to start by addressing the question, `What is inversion?' My answer would be that inversion is the process of going from data to making inferences about the object under study. In the case of helioseismology, the data at the present time are principally the mode frequencies ..."
Abstract
- Add to MetaCart
Introduction I want to start by addressing the question, `What is inversion?' My answer would be that inversion is the process of going from data to making inferences about the object under study. In the case of helioseismology, the data at the present time are principally the mode
Inverse Acoustic and Electromagnetic Scattering Theory, Second Edition
, 1998
"... Abstract. This paper is a survey of the inverse scattering problem for time-harmonic acoustic and electromagnetic waves at fixed frequency. We begin by a discussion of “weak scattering ” and Newton-type methods for solving the inverse scattering problem for acoustic waves, including a brief discussi ..."
Abstract
-
Cited by 1061 (45 self)
- Add to MetaCart
Abstract. This paper is a survey of the inverse scattering problem for time-harmonic acoustic and electromagnetic waves at fixed frequency. We begin by a discussion of “weak scattering ” and Newton-type methods for solving the inverse scattering problem for acoustic waves, including a brief
Gradient projection for sparse reconstruction: Application to compressed sensing and other inverse problems
- IEEE JOURNAL OF SELECTED TOPICS IN SIGNAL PROCESSING
, 2007
"... Many problems in signal processing and statistical inference involve finding sparse solutions to under-determined, or ill-conditioned, linear systems of equations. A standard approach consists in minimizing an objective function which includes a quadratic (squared ℓ2) error term combined with a spa ..."
Abstract
-
Cited by 539 (17 self)
- Add to MetaCart
-constrained quadratic programming (BCQP) formulation of these problems. We test variants of this approach that select the line search parameters in different ways, including techniques based on the Barzilai-Borwein method. Computational experiments show that these GP approaches perform well in a wide range
Chaining in the Inverse Method
"... Abstract. The inverse method is a generalization of resolution that can be applied to non-classical logics. We have recently shown how Andreoli’s focusing strategy can be adapted for the inverse method in linear logic. In this paper we introduce the notion of focusing bias for atoms and show that it ..."
Abstract
- Add to MetaCart
Abstract. The inverse method is a generalization of resolution that can be applied to non-classical logics. We have recently shown how Andreoli’s focusing strategy can be adapted for the inverse method in linear logic. In this paper we introduce the notion of focusing bias for atoms and show
Open forum ON THE SEMI-INVERSE METHOD AND VARIATIONAL PRINCIPLE by
, 2013
"... On the semi-inverse method and variational principle ..."
Polarized Inverse Method
"... Abstract. The inverse method is a generic proof search procedure applicable to non-classical logics satisfying cut elimination and the subformula property. In this paper we describe a general architecture and several high-level optimizations that enable its efficient implementation. Some of these re ..."
Abstract
- Add to MetaCart
Abstract. The inverse method is a generic proof search procedure applicable to non-classical logics satisfying cut elimination and the subformula property. In this paper we describe a general architecture and several high-level optimizations that enable its efficient implementation. Some
An Inverse Method for Parametric . . .
, 2009
"... We consider in this paper systems modeled by timed automata. The timing bounds involved in the action guards and location invariants of our timed automata are not constants, but parameters. Those parametric timed automata allow the modelling of various kinds of timed systems, e.g. communication prot ..."
Abstract
- Add to MetaCart
an algorithm InverseMethod that terminates in the case of acyclic models, and discuss how to extend it in the cyclic case. We also explain how to combine our method with classical synthesis methods which are based on the avoidance of a given set of bad states. A prototype implementation has been done
EEG and MEG: forward solutions for inverse methods
- IEEE Trans. Biomed. Eng
, 1999
"... Abstract—A solution of the forward problem is an important component of any method for computing the spatio-temporal activity of the neural sources of magnetoencephalography (MEG) and electroencephalography (EEG) data. The forward problem involves computing the scalp potentials or external magnetic ..."
Abstract
-
Cited by 126 (2 self)
- Add to MetaCart
field at a finite set of sensor locations for a putative source configuration. We present a unified treatment of analytical and numerical solutions of the forward problem in a form suit-able for use in inverse methods. This formulation is achieved through factorization of the lead field into the product
Non-Uniform Random Variate Generation
, 1986
"... This is a survey of the main methods in non-uniform random variate generation, and highlights recent research on the subject. Classical paradigms such as inversion, rejection, guide tables, and transformations are reviewed. We provide information on the expected time complexity of various algorith ..."
Abstract
-
Cited by 1021 (26 self)
- Add to MetaCart
This is a survey of the main methods in non-uniform random variate generation, and highlights recent research on the subject. Classical paradigms such as inversion, rejection, guide tables, and transformations are reviewed. We provide information on the expected time complexity of various
Results 1 - 10
of
20,134
