Results 251 to 260 of about 2,511,435 (296)
Some of the next articles are maybe not open access.
Obstetrical & Gynecological Survey, 1976
A treatment plan utilizing placebo, cyclical steroid therapy, clomiphene citrate, and human pituitary gonadotropin is outlined for the induction of ovulation in carefully selected potentially fertile women. Such a plan minimizes any risk with the potentially hazardous ovulatory stimulants.
J, Evans, L, Townsend
openaire +2 more sources
A treatment plan utilizing placebo, cyclical steroid therapy, clomiphene citrate, and human pituitary gonadotropin is outlined for the induction of ovulation in carefully selected potentially fertile women. Such a plan minimizes any risk with the potentially hazardous ovulatory stimulants.
J, Evans, L, Townsend
openaire +2 more sources
Journal of Philosophical Logic, 2015
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +4 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +4 more sources
ABSTRACT INDUCTIVE AND CO-INDUCTIVE DEFINITIONS
The Journal of Symbolic Logic, 2018AbstractIn [G. Curi, On Tarski’s fixed point theorem. Proc. Amer. Math. Soc., 143 (2015), pp. 4439–4455], a notion of abstract inductive definition is formulated to extend Aczel’s theory of inductive definitions to the setting of complete lattices. In this article, after discussing a further extension of the theory to structures of much larger size ...
openaire +2 more sources
AJN, American Journal of Nursing, 1961
Artificial termination of pregnancy, at or near term, is accomplished by cesarean section or by induction of labor. As opposed to the natural or spontaneous onset of labor, these artificial procedures are definitive acts of commission by the doctor for which he assumes responsibility.
openaire +2 more sources
Artificial termination of pregnancy, at or near term, is accomplished by cesarean section or by induction of labor. As opposed to the natural or spontaneous onset of labor, these artificial procedures are definitive acts of commission by the doctor for which he assumes responsibility.
openaire +2 more sources
A Finite Axiomatisation of Inductive-Inductive Definitions
2012Induction-induction is a priciple for mutually defining data types A : Set and B : A Set. Both A and B are defined inductively, and the constructors for A can refer to B and vice versa.
Nordvall Forsberg, Fredrik +1 more
openaire +3 more sources
Inductive Decidability Using Implicit Induction
2006Decision procedures are widely used in automated reasoning tools in order to reason about data structures. In applications, many conjectures fall outside the theory handled by a decision procedure. Often, reasoning about user-defined functions on those data structures is needed. For this, inductive reasoning has to be employed. In this work, classes of
Stephan Falke 0001, Deepak Kapur
openaire +2 more sources
Inductive and non-inductive methods of clustering
2012 IEEE International Conference on Granular Computing, 2012This paper aims to overview a variety of methods of clustering by introducing the concepts of inductive and non-inductive clustering. These concepts are in parallel with the concepts of inductive and transductive learning in the studies of semi-supervised classification.
openaire +1 more source
Inductive knowledge acquisition and induction methodologies
Knowledge-Based Systems, 1989Knowledge acquisition will always remains a key problem in the development of knowledge-based systems. With this motivation, a divergent number of methodologies and associated issues are appearing in the literature. This paper looks at how certain induction theories and methodologies conform to the requirements of knowledge acquisition from the light ...
openaire +1 more source