Results 221 to 230 of about 15,571 (268)
RETRACTION: S. Gopinath, K. Alapati, R. R. Malla, C. S. Gondi, S. Mohanam, D. H. Dinh, and J. S. Rao, “Mechanism of p27 Upregulation Induced by Downregulation of Cathepsin B and Upar in Glioma,” Molecular Oncology 5, no. 5 (2011): 426–437, https://doi.org/10.1016/j.molonc.2011.07.004.
wiley +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
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
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
Journal of Philosophical Logic, 2015
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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
Cautious induction in inductive logic programming
1997Many top-down Inductive Logic Programming systems use a greedy, covering approach to construct hypotheses. This paper presents an alternative, cautious approach, known as cautious induction. We conjecture that cautious induction can allow better hypotheses to be found, with respect to some hypothesis quality criteria.
Simon Anthony, Alan M. Frisch
openaire +1 more source
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 +1 more source

