Results 241 to 250 of about 1,317,588 (284)

Introducing the Operator Theory

2016
The Operator Theory is a new theory about the hierarchical organisation of complexity in nature. The theory is based on the idea that in the space of all possible processes, a small subset exists of highly specific processes through which small objects can integrate to form new, more complex objects.
Gérard A J M Jagers Op Akkerhuis, Gérard A J M Jagers op Akkerhuis   +1 more
exaly   +2 more sources

The RNA Operator Theory

Medical Hypotheses, 1982
The aim of the RNA Operator Theory is to propose a new explanation for the mechanism of certain biological control functions, including morphogenesis and brain function. It assumes the existence of a natural computing language, the vocabulary of which, in machine language form, is constituted of bytes of nucleotide bits.
openaire   +2 more sources

A Refinement Operator for Theories

2001
Most implemented ILP systems construct hypotheses clause by clause using a refinement operator for clauses. To avoid the problems faced by such greedy covering algorithms, more flexible refinement operators for theories are needed. In this paper we construct a syntactically monotonic, finite and solution-complete refinement operator for theories, which
openaire   +1 more source

Weak Theories of Operations and Types

Journal of Logic and Computation, 1996
Theories of enormous computational and proof-theoretic strength have been developed by the computing science community for the purpose of obtaining some form of expressive power. The second order lambda calculus and the theory of constructions, together with its various extensions, are obvious examples.
openaire   +1 more source

Lazy Theories of Operations and Types

Journal of Logic and Computation, 1993
Summary: Two foundational systems have been employed to provide the underlying foundations for constructive functional programming (CFP). Neither of these theories was designed with CFP as its major area of application. Our goal is to set the scene for the design of such a theory.
openaire   +2 more sources

?Commutant method? in the theory of operators and the theory of differential equations with operator coefficients

Integral Equations and Operator Theory, 1993
The paper is a review of the authors' work during the eighties on the ``commutant method'' in the theory of differential equations with (unbounded) operator coefficients. No proofs are given.
Gershteĭn, L. M., Sobolevskiĭ, P. E.
openaire   +1 more source

Operator Theory

2002
Indefinite inner product spaces linear operators interpolation indefinite inner product spaces definitions Krein spaces the Gram operator W-spaces J-orthogonal complements projective completeness J-orthonormalized systems the basic classes of operators in Krein spaces J-dissipative operators J-self-adjoint operators interpolation of Banach and Hilbert ...
openaire   +2 more sources

A Theory of Operations on the Universe II. Infinitary Operations

Mathematical Logic Quarterly, 1991
[For Part I see ibid. 37, 385-392 (1991; Zbl 0725.03029).] Infinitary operations of addition and multiplication on the universe are introduced and properties of these operations are established. The finitary operations of multiplication and exponentiation on the universe, defined in another paper of the author's [Arch. Math.
openaire   +1 more source