Results 211 to 220 of about 155,220 (263)
Shifting Balancing Selection Underlies an Inversion Cline in Eurasian Blackcap. [PDF]
Ecol EvolIshigohoka J, Liedvogel M.
europepmc +1 more source
An Impact Load History Reconstruction Method for Composite Structures Based on FBG Sensing Data and the GCV Principle. [PDF]
Sensors (Basel)Zeng J +6 more
europepmc +1 more source
Tsunami inversion using deep neural representations. [PDF]
Sci RepMorssy A, Teal PD, Kleijn WB.
europepmc +1 more source
Optimal Control-Based Generic Framework for Radiofrequency Pulse Design in MRI. [PDF]
NMR BiomedMolina E, Ratiney H, Van Reeth E.
europepmc +1 more source
Dispersion Compensation and Multi-Beam Interference Correction Algorithm for Thickness Measurement of SiC Epitaxial Layer. [PDF]
Sensors (Basel)Liu L, Shi W, Xu S, Wang X.
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
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
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
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