Results 251 to 260 of about 5,714,792 (303)

A refined beam theory based on the refined plate theory

Acta Mechanica, 2005
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Gao, Y., Wang, M. Z.
openaire   +2 more sources

Refined theory and decomposed theorem of transversely isotropic thermoporoelastic beam

Comptes Rendus - Mecanique, 2013
The refined theory of transversely isotropic beam is analyzed. Based on the transversely isotropic thermoporoelastic theory, a refined theory for bending beam is derived using the general solution and the Lur'e method without ad hoc assumptions.
Bao-Sheng Zhao
exaly   +2 more sources

An effective theory of type refinements

Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, 2003
We develop an explicit two level system that allows programmers to reason about the behavior of effectful programs. The first level is an ordinary ML-style type system, which confers standard properties on program behavior. The second level is a conservative extension of the first that uses a logic of type refinements
Mandelbaum, Yitzhak, Walker, David, Harper, Robert   +2 more
openaire   +1 more source

Constructive Induction in Theory Refinement

1991
Abstract This paper presents constructive induction techniques recently added to the EITHER theory refinement system. These additions allow EITHER to handle arbitrary gaps at the “top,― “middle,― and/or “bottom― of an incomplete domain theory. Intermediate concept utilization employs existing rules in the theory to derive higher-level features for ...
Raymond J. Mooney, Dirk Ourston
openaire   +1 more source

A General Refined Plate Theory

ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik, 2000
AbstractStarting from the principle of virtual displacements, a plate theory is formulated which includes most classical and refined plate theories as special cases. The force and moment equilibrium and the correct formulation of the boundary conditions is obtained by introducing a certain virtual displacement field, and it w shown that generalized ...
Meenen, Johannes, Altenbach, Holm
openaire   +1 more source

The Automated Refinement of a Requirements Domain Theory

Automated Software Engineering, 2001
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Thomas Leo McCluskey, Margaret Mary West
openaire   +1 more source

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   +2 more sources

On a Theory of Mesh-Refinement Processes

SIAM Journal on Numerical Analysis, 1980
A general theory of mesh-refinement processes is developed. The fundamental structure is a locally finite, rooted tree with nodes representing the subdivision cells. The possible meshes then constitute a distributive lattice. Under mild conditions on the given cell-size and error-indicator functions a local Pareto-type optimality property is introduced
openaire   +1 more source

Revision Cost for Theory Refinement

1991
Abstract This paper describes a new method for incremental refinement of the approximate domain theory. The method presented here is based a concept of on revision cost which is a measure of tree transformation. The method is applied to a new system of integrated learning, which combines empirical learning and explanation-based learning.
openaire   +1 more source

Refinement theorems in resolution theory

1970
The paper discusses some basic refinements of the Resolution Principle which are intended to improve the speed and efficiency of theorem-proving programs based on this rule of inference. It is proved that two of the refinements preserve the logical complete­ness of the proof procedure when used separately, but not when used in conjunction.
openaire   +1 more source