Results 231 to 240 of about 1,185,266 (267)

Initial stiffness of integrally-formed GFRP T-joint in GFRP transmission tower. [PDF]

Sci Rep
Xu J, Ma J, Chen Y, Cui X, Feng B, Mou W, Pan F.   +6 more
europepmc   +1 more source

Partially Disordered Crystal Phases and Glassy Smectic Phases in Liquid Crystal Mixtures. [PDF]

Materials (Basel)
Deptuch A, Drzewicz A, Urbańska M, Juszyńska-Gałązka E.   +3 more
europepmc   +1 more source

Melatonin free form versus its chitosan-loaded nano formula impact on wound healing of albino rat's parotid gland "a histological study". [PDF]

BMC Oral Health
Taher SS, Elkhier MTA, Aman RM, Soussa E, Ezzat SK.   +4 more
europepmc   +1 more source

Discrete μ₄‑Oxido Mn(II) Clusters with Controlled Nuclearity: On-Demand Synthesis, Molecular and Self-Assembled Structures. [PDF]

ACS Omega
Jabłoński D, Jacyna M, Terlecki M, Kornowicz A, Justyniak I, Lewiński J.   +5 more
europepmc   +1 more source

Stability analysis of slope based on the coupling of well-point dewatering and chemical improvement slope stabilization. [PDF]

PLoS One
Chai S, Tu H, Dong F, Tang D, Tan D, Yuan Q.   +5 more
europepmc   +1 more source

The Nature of the Sign as a WFF—A Well-Formed Formula

AIP Conference Proceedings, 2006
Reality, both material and conceptual, exists as a complex network of continuous adaptive morphological formation. The morphological form can be analyzed as a well‐formed formula (wff), a Sign, operating as a function, f(x)=y. The triadic function develops its morphological result by connecting relations, which are encoded spatial, temporal and modal ...
Edwina Taborsky
openaire   +3 more sources

Predicate Calculus, Well-Formed Formulas, and Theorems

, 2001
When proving a theorem, it is first necessary to write the axioms, the hypotheses, and the conclusion. Deciding what axioms to choose in the first place is crucial to the success of a theorem prover, but that problem is peripheral to the presentation that follows.
Monty Newborn
openaire   +3 more sources

Compile: Transforming Well-Formed Formulas to Clauses

, 2001
Chapter 2 explained how to write a theorem as a set of wffs. However, neither HERBY nor THEO attempt to find a proof of a theorem expressed in this format. Instead, both require the theorem to be expressed as a set of clauses consisting of the axioms, hypotheses, and negated conclusion.
Monty Newborn
openaire   +3 more sources