Results 261 to 270 of about 2,566,078 (299)

Higher-order annotated terms for proof search

1996
A notion of embedding appropriate to higher-order syntax is described. This provides a representation of annotated formulae in terms of the difference between pairs of formulae. We define substitution and unification for such annotated terms. Using this representation of annotated terms, the proof search guidance technique of rippling can be extended ...
Alan Smaill, Ian Green
openaire   +1 more source

Umbrella integration with higher-order correction terms

The Journal of Chemical Physics, 2012
Umbrella integration is a method to analyze umbrella sampling simulations. It calculates free-energy changes from distributions obtained from molecular dynamics. While it can be formulated on the full sampled distributions, they are generally approximated by normal distributions. This is equivalent to the truncation of a power series of the free energy
openaire   +2 more sources

Higher-order curvature terms and extended inflation

Physical Review D, 1990
We consider higher-order curvature terms in context of the Brans-Dicke theory of gravity, and investigate the effects of these terms on extended inflationary theories. We find that the higher-order curvature terms tend to speed up inflation, although the original extended-inflation solutions are stable when these terms are small.
openaire   +2 more sources

Derivation of Skyrme Lagrangian and higher-order term

Physical Review D, 1990
The fermion loop of the nonlinear O({ital N}) {sigma} model leads to the Skyrme Lagrangian and a higher-order term without the destabilizing symmetric term.
openaire   +2 more sources

Influence of Higher Order Terms

1989
In this chapter we discuss the influence of the higher order terms in the nonlinear Schrodinger equation on soliton propagation in a fiber. In particular, we consider the effect of the self-induced Raman effect on soliton transmission.
openaire   +1 more source

The Effects of Higher Order Dispersion Terms

1975
We have already mentioned previously (section 6.2) that Raynes’ treatment of a solvent site factor is, at least formally, equivalent to the inclusion of higher order dispersion terms. It should be realised, however, that even solvent atoms have higher order dispersion terms.
P. Diehl, E. Fluck, R. Kosfeld
openaire   +1 more source

Recursive generation of higher-order terms in the Magnus expansion

Physical Review A, 1989
Several methods for systematically calculating higher-order terms in the Magnus expansion of the time-displacement operator are discussed from a unified point of view. It is shown that a quadratic recursive scheme recently introduced in the average Hamiltonian formalism of NMR spectroscopy can be extended to other cases, including the original multiple
Klarsfeld, S., Oteo, J.A.
openaire   +3 more sources

From Higher Order Terms To Circuits

1997
In his lecture at the congress, the first author gave a survey on some recent results relevant for computability theory in the context of partial continuous functionals (cf. (Scott, 1982; Ershov, 1977; Stoltenberg-Hansen et al., 1994)): An abstract definition of totality due to Berger (cf.
Helmut Schwichtenberg, Karl Stroetmann
openaire   +1 more source

DIFFUSION PROCESSES MODELED WITH HIGHER ORDER DIFFERENTIAL TERMS

Far East Journal of Applied Mathematics, 2018
Summary: In this paper, we investigate the diffusion process called diffusion with retention. We show that, in fact, the process with retention is nothing more than the known process of diffusion with hesitation or diffusion with stay. We have also shown that the BG model is, in fact, a particular case of the Myers model for the study of thin films ...
Almeida, Alexandre C. L., Oliveira, Adélcio C.   +1 more
openaire   +2 more sources

Proof Terms for Simply Typed Higher Order Logic

2000
This paper presents proof terms for simply typed, intuitionistic higher order logic, a popular logical framework. Unification-based algorithms for the compression and reconstruction of proof terms are described and have been implemented in the theorem prover Isabelle. Experimental results confirm the effectiveness of the compression scheme.
Stefan Berghofer, Tobias Nipkow
openaire   +1 more source