Results 211 to 220 of about 155,658 (262)
Optimal Control-Based Generic Framework for Radiofrequency Pulse Design in MRI. [PDF]
NMR BiomedMolina E, Ratiney H, Van Reeth E.
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Inversion method and superconductivity
Physical Review B, 1992The inversion method is based on an inverted relation between the external probe and some order parameter. When the lowest-order relation of the inverted series is applied to the equilibrium BCS theory of superconductivity, our results reproduce the mean-field gap equation.
, Inagaki, , Fukuda
openaire +2 more sources
2001
There are several methods of theorem proving. The best known methods are resolution-based and tableau-based ones. Resolution-based methods convert the goal formula into clausal norm form and perform derivation on the set of clauses using a saturation algorithm.
Degtyarev, Anatoli, Voronkov, Andrei
openaire +4 more sources
There are several methods of theorem proving. The best known methods are resolution-based and tableau-based ones. Resolution-based methods convert the goal formula into clausal norm form and perform derivation on the set of clauses using a saturation algorithm.
Degtyarev, Anatoli, Voronkov, Andrei
openaire +4 more sources
The Mathematical Gazette, 1942
If from a point, regarded as a centre of inversion, a radius is drawn on which are two points at distances r 1 and r 2 from the centre, satisfying the condition r 1
openaire +1 more source
If from a point, regarded as a centre of inversion, a radius is drawn on which are two points at distances r 1 and r 2 from the centre, satisfying the condition r 1
openaire +1 more source
Journal of Automated Reasoning, 1989
A large part of the work on automated reasoning done in the Soviet Union in the sixties and seventies was based on the inverse method proposed by Sergey Maslov. We review the basic ideas of the method in the form that stresses its connection with resolution.
openaire +1 more source
A large part of the work on automated reasoning done in the Soviet Union in the sixties and seventies was based on the inverse method proposed by Sergey Maslov. We review the basic ideas of the method in the form that stresses its connection with resolution.
openaire +1 more source
A Multidimensional Inverse‐Scattering Method
Studies in Applied Mathematics, 1984A formal solution of the inverse scattering problem for the n‐dimensional; time‐dependent and time‐independent Schrödinger equations is given. Equations are found for reconstructing the potential from scattering data purely by quadratures. The solution also helps elucidate the problem of characterizing admissible scattering data.
Nachman, Adrian I., Ablowitz, Mark J.
openaire +2 more sources
Inverse method for interface problems
Physical Review Letters, 1993We propose an inverse method to extract effective couplings and the renormalization group flow for macroscopic dynamical systems. We applied it to discrete surface growth models in the Kardar-Parisi-Zhang universality class in 1+1 dimensions and obtain the first measurement of a universal coupling constant.
, Lam, , Sander
openaire +2 more sources
Semiclassical inversion methods
1991Abstract Semiclassical inversion methods rely on phase integral expressions that connect potential energy functions to the various quantization integrals, phase shifts and matrix elements. The forms prove to be amenable to a family of exact Abelian integral transforms, which allow recovery of the classical turning points of the potential
openaire +1 more source
2013
This book introduces state-of-the-art verification techniques for real time embedded systems, based on the inverse method for parametric timed automata. It reviews popular formalisms for the specification and the verification of timed concurrent systems, and in particular timed automata and several extensions such as timed automata equipped with ...
André, Étienne, Soulat, Romain
openaire +2 more sources
This book introduces state-of-the-art verification techniques for real time embedded systems, based on the inverse method for parametric timed automata. It reviews popular formalisms for the specification and the verification of timed concurrent systems, and in particular timed automata and several extensions such as timed automata equipped with ...
André, Étienne, Soulat, Romain
openaire +2 more sources
The Inverse Method for Transfer Matrices
Journal of the London Mathematical Society, 1989The inverse problem for transfer matrices of a Sturm-Liouville differential equation is shown to be equivalent to the solution of a pair of coupled nonlinear PDE's with boundary conditions. A solution is found using asymptotic series.
Pearson, D. B., Skelton, P. L. I.
openaire +2 more sources