Results 221 to 230 of about 90,366 (260)

A Theory on Extending Algorithms for Parametric Problems

Mathematics of Operations Research, 1989
Given certain algorithms for certain problems, these algorithms can be incorporated in a lift, solve, and lower sequence to form algorithms for solving parametric versions of the problems. In the first phase of the sequence the parametric problem is lifted to an extended ordered field where it becomes a single nonparametric problem.
B. Curtis Eaves, Uriel G. Rothblum
openaire   +2 more sources

Impulsive Parametric Excitation: Theory

Journal of Applied Mechanics, 1972
Given in this paper is the development of a theory for dynamical systems subjected to periodic impulsive parametric excitations. By periodic impulsive parametric excitation we mean those excitations representable by periodic coefficients which consist of sequences of Dirac delta functions.
openaire   +2 more sources

The logic of parametric theories

Theoretical Linguistics, 2010
'Parameters in minimalist theory: The case of Scandinavian' (henceforth, PMT), by Anders Holmberg, is an interesting attempt to defend the view that 'deep parameters' should be part of the grammatical system. PMT argues that parameters should be seen as points of 'underspecification', and in part as 3 rd factor effects in the sense of Chomsky (2005) -
Terje Lohndal, Juan Uriagereka
openaire   +1 more source

Outline of a proof theory of parametricity

1991
Reynolds' Parametricity Theorem (also known as the Abstraction Theorem), a result concerning the model theory of the second order polymorphic typed λ-calculus (F2), has recently been used by Wadler to prove some unusual and interesting properties of programs.
openaire   +1 more source

Interpolating Parametric Array Theories

Parametric array theories are extensions of the quantifier-free theory of arrays with relations that hold componentwise. We show that these theories retain rich (general and uniform) quantifier-free interpolation properties. Our results include the interpolation properties of the simple flat array fragment, which were left open in the literature.
Rodrigo Raya, Christophe Ringeissen
openaire   +2 more sources

The theory of parametric oscillations

Journal of Applied Mathematics and Mechanics, 2014
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Parametrized Field Theory

Foundations of Physics, 1998
A theory is presented in which a field depends not only on spacetime coordinates xμ, but also on a Lorentz-invariant parameter τ. Such a theory is conceptually and technically simple and manifestly covariant at every step. The generator of evolution and the generator of spacetime translations and Lorentz transformations are obtained in a ...
openaire   +1 more source

Quantum Theory of Parametric Amplification. I

Physical Review, 1967
The amplification of electromagnetic fields is analyzed in a quantum-mechanical context by discussing the behavior of a simple theoretical model of the parametric amplifier. The statistical properties of the amplifier fields are described by means of the time-dependent density operator for the system.
B. R. Mollow, R. J. Glauber
openaire   +1 more source

Parametric instability of belts: theory and experiments

Computers & Structures, 2004
In this paper, the dynamic stability of a power transmission belt excited by an eccentric pulley is investigated. A theoretical model is developed to predict the belt response: simply supported boundary conditions are considered, neglecting the pulley curvature, and including the effect of the lower belt span.
F. Pellicano, G. Catellani, FREGOLENT, Annalisa   +2 more
openaire   +3 more sources

Structured and Parametrized Theories

2006
In Chapter 5 we have seen a simple use of theories in OpenMath content dictionaries. There, theories have been used to reference OpenMath symbols and to govern their visibility. In this chapter we will cover an extended example showing the structured definition of multiple mathematical theories, modularizing and re-using parts of specifications and ...
openaire   +1 more source