Results 211 to 220 of about 112,147 (264)

A "mistaken theories" refinement [PDF]

, 1992
openaire   +2 more sources

From Beliefs to Behaviour: A Scoping Review of Health Communication Theories and Strategies for NCD Prevention on Social Media

Wanasinghe T.
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

A refined theory of counterfactuals

Journal of Philosophical Logic, 1981
John L Pollock, Pollock John L
exaly   +2 more sources

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

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

Elasticity Theory of Plates and a Refined Theory

Journal of Applied Mechanics, 1979
A method for the solution of three-dimensional elasticity equations is presented and is applied to the problem of thick plates. Through this method three governing differential equations, the well-known biharmonic equation, a shear equation and a third governing equation, are deduced directly and systematically from Navier’s equations. It is then shown
openaire   +1 more source

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

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   +1 more source