Results 311 to 320 of about 4,270,653 (326)
Some of the next articles are maybe not open access.
Physical Review B, 1985
A selective 180\ifmmode^\circ\else\textdegree\fi{} pulse in the z direction is shown to refocus the second-order broadening of the (1/2)-(1/2) central transition in the spin-(5/2) nucleus $^{27}\mathrm{Al}$. Evidence for this refocusing is the formation of an echo after transverse magnetization is created by a selective 90\ifmmode^\circ\else\textdegree\
, Walker, , Gerstein
openaire +2 more sources
A selective 180\ifmmode^\circ\else\textdegree\fi{} pulse in the z direction is shown to refocus the second-order broadening of the (1/2)-(1/2) central transition in the spin-(5/2) nucleus $^{27}\mathrm{Al}$. Evidence for this refocusing is the formation of an echo after transverse magnetization is created by a selective 90\ifmmode^\circ\else\textdegree\
, Walker, , Gerstein
openaire +2 more sources
Mathematical Logic Quarterly, 1984
A sentence F from second order predicate calculus with equality has standard form if \(F=(Q_ 0)...(Q_ k)(I)F'\) where: (1) \(Q_ j\) is a string \(E^*\) or a string \(\forall^*\) of second order quantifiers, (2) if \(Q_ j\) is \(E^*\) (or \(\forall^*)\) then \(Q_{j+1}\) is \(\forall^*\) or \(E^*\), respectively, (3) I is a string of individual ...
openaire +1 more source
A sentence F from second order predicate calculus with equality has standard form if \(F=(Q_ 0)...(Q_ k)(I)F'\) where: (1) \(Q_ j\) is a string \(E^*\) or a string \(\forall^*\) of second order quantifiers, (2) if \(Q_ j\) is \(E^*\) (or \(\forall^*)\) then \(Q_{j+1}\) is \(\forall^*\) or \(E^*\), respectively, (3) I is a string of individual ...
openaire +1 more source
1980
Plain predicate logic is called “first-order logic”, as it allows us to handle objects of structure, and to quantify over them. One might just as well allow quantification over subsets of structures. In that case we speak of a “second-order logic”, which is a logic with two kinds of quantifiers: ∀x and ∀X.
openaire +1 more source
Plain predicate logic is called “first-order logic”, as it allows us to handle objects of structure, and to quantify over them. One might just as well allow quantification over subsets of structures. In that case we speak of a “second-order logic”, which is a logic with two kinds of quantifiers: ∀x and ∀X.
openaire +1 more source
Anisotropic Second-Order Fluid
Journal of Mathematical Sciences, 2001This paper presents rheological equations of state for the second order anisotropic fluid of Ericksen type which is used as dispersive medium for dilute suspensions of rigid ellipsoids of revolution. Unlike the present theory, the Ericksen first order fluid takes into account only linear contribution of the rate strain tensor.
openaire +2 more sources
Second-order corrected Hadamard formulas
Journal of Mathematical Physics, 1984The second-order correction to the Hadamard formulas for the Green’s function, harmonic measures, and period matrix of a two-dimensional domain is obtained in the context of the domain-variational theory.
Epele, L. N. +2 more
openaire +2 more sources
Incompressible Second-Order Fluids
1964Publisher Summary A compressible simple material is a substance whose mass density never changes and for which the stress is determined. An incomfiressible simple fluid is an incompressible simple material with the property that all local configurations are equivalent in response, with all observable differences in response occurring because of ...
Markovitz, Hershel, Coleman, Bernard D.
openaire +2 more sources
Second-Order Constitutive Equations
International Applied Mechanics, 2001The paper deals with the problems of existence of the second order constitutive equations in the investigation of some wave properties of plastic materials.
openaire +2 more sources
Second-order equations from a second-order formalism
Journal of Mathematical Physics, 1989It is often assumed that Lagrangians of gravitation that are quadratic in the curvature tensor produce field equations of fourth differential order in the metric tensor from a Hilbert variational principle. It is shown here, for the Lagrangian given by R+RμνRμν, that independent variations of the metric tensor and the torsion tensor produce ...
openaire +1 more source