Results 231 to 240 of about 11,893,587 (282)
Some of the next articles are maybe not open access.
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 +2 more sources
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 +2 more sources
2019
The mechanical properties of skin have been studied for several decades; yet, to this day reported stiffness values for full-thickness skin or individual layers such as the epidermis, papillary dermis, reticular dermis, and subcutis vary drastically. In vivo and ex vivo measurement techniques include extension, indentation, and suction tests.
Weickenmeier, Johannes, Mazza, Edoardo
openaire +1 more source
The mechanical properties of skin have been studied for several decades; yet, to this day reported stiffness values for full-thickness skin or individual layers such as the epidermis, papillary dermis, reticular dermis, and subcutis vary drastically. In vivo and ex vivo measurement techniques include extension, indentation, and suction tests.
Weickenmeier, Johannes, Mazza, Edoardo
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
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
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
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
Methods for laplace transform inversion
Vestnik St. Petersburg University: Mathematics, 2011zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Poroshina, N. I., Ryabov, V. M.
openaire +2 more sources
Descent methods for inverse problems
Nonlinear Analysis: Theory, Methods & Applications, 2001Of fundamental importance in modelling is the problem of recovering coe‐cient functions in a difierential equation from appropriate measurements on the solution;thisisinvestigatedbymeansofsteepestdescenttechniquesusingcertainnew Banach space gradients.
openaire +2 more sources