Results 261 to 270 of about 2,056,194 (301)
Some of the next articles are maybe not open access.
On proving termination by innermost termination
1996We present a new approach for proving termination of rewrite systems by innermost termination. From the resulting abstract criterion we derive concrete conditions, based on critical peak properties, under which innermost termination implies termination (and confluence).
openaire +1 more source
BJOG: An International Journal of Obstetrics & Gynaecology, 1970
SummaryTermination hysterectomy has been performed 56 times in the Division of Obstetrics and Gynaecology at Oxford from April, 1968, until the end of 1969. The operation is preferred over all others when the patient is highly parous, needs permanent contraception, and suffers from uterine disease.
A C, Lewis, E A, Williams
openaire +2 more sources
SummaryTermination hysterectomy has been performed 56 times in the Division of Obstetrics and Gynaecology at Oxford from April, 1968, until the end of 1969. The operation is preferred over all others when the patient is highly parous, needs permanent contraception, and suffers from uterine disease.
A C, Lewis, E A, Williams
openaire +2 more sources
Computer Communications, 1988
Abstract This paper argues that in order for ISDN to succeed, suitable terminal equipment must be available. Following a brief overview of the ISDN user/network interface model, the article goes on to classify some of the key types of ISDN terminal.
Ian Davies, Alistair McBain
openaire +1 more source
Abstract This paper argues that in order for ISDN to succeed, suitable terminal equipment must be available. Following a brief overview of the ISDN user/network interface model, the article goes on to classify some of the key types of ISDN terminal.
Ian Davies, Alistair McBain
openaire +1 more source
Psychotherapy, 2017
The focus of this paper is on the termination of clinical supervision. Although clinical supervision is considered the backbone of most mental health training programs, it gets relatively little theoretical or empirical attention. The termination of supervision has received even less attention.
Levendosky, Alytia A +1 more
openaire +2 more sources
The focus of this paper is on the termination of clinical supervision. Although clinical supervision is considered the backbone of most mental health training programs, it gets relatively little theoretical or empirical attention. The termination of supervision has received even less attention.
Levendosky, Alytia A +1 more
openaire +2 more sources
Journal of Neurosurgery: Pediatrics, 2005
The authors describe the cases of eight patients with terminal myelocystoceles and report on their initial diagnoses, neuroimaging findings, surgical procedures, and clinical follow-up examinations.There were seven girls and one boy. The initial age at diagnosis ranged from prenatal age (determined by imaging) to 14 years.
Hector E, James, Graham, Lubinsky
openaire +2 more sources
The authors describe the cases of eight patients with terminal myelocystoceles and report on their initial diagnoses, neuroimaging findings, surgical procedures, and clinical follow-up examinations.There were seven girls and one boy. The initial age at diagnosis ranged from prenatal age (determined by imaging) to 14 years.
Hector E, James, Graham, Lubinsky
openaire +2 more sources
Container terminals and terminal operations
OR Spectrum, 2006Hans-Otto Günther, Kap Hwan Kim
openaire +1 more source
From Outermost Termination to Innermost Termination
2009Rewriting is the underlying evaluation mechanism of functional programming languages. Therefore, termination analysis of term rewrite systems (TRSs) is an important technique for program verification. To capture the evaluation mechanism of a programming language one has to take care of the evaluation strategy, where we focus on the outermost strategy.
openaire +1 more source
N-terminal domain antigenic mapping reveals a site of vulnerability for SARS-CoV-2
Cell, 2021Matthew Mccallum +2 more
exaly