Supporting the Specification of Logic Programs (2008)
Abstract specification provides a formal logic semantics for the The system described here was designed to assist in the specification, implementation, and maintenance of cor-rect and efficient logic...
Formal Specifications Guide Development and Testing of Software Components (2008)
Formal specifications provide many benefits to software developers. It has long been recognized that formal methods are required in safety critical applications, where it may even be necessary to...
Young adult ministry : neglected stewardship? (2007)
Botha, Darryn, Davis, Ronnie, Davis, R.E.
No abstract available
Prayer, perspective, and purpose : Paul’s teaching on giving in 2 Corinthians 9:6-15 (2007)
No abstract available
Young adult ministry : neglected stewardship? (2007)
Botha, Darryn, Davis, Ronnie, Davis, R.E.
No abstract available
Prayer, perspective, and purpose : Paul’s teaching on giving in 2 Corinthians 9:6-15 (2007)
No abstract available
A future for drifting seismic networks (2006)
Simons, F.J., Nolet, G., Babcock, J.M., Davis, R.E., Orcutt, J.A.
Test anxiety, susceptibility to distraction and examination performance (2004)
Keogh, E., Bond, F. W., French, C. C., Richards, A., Davis, R. E.
Examination stress is thought to prevent some individuals from reaching their academic potential. Explanations of this relationship include a proneness to ruminate and worry about examinations, as...
Snow ablation modelling in a mature aspen stand of the boreal forest (1998)
Hardy, J.P., Davis, R.E., Jordan, R., Ni, W., Woodcock, C.E., Albert, M.R., ...
A spliced leader is present on a subset of mRNAs from the human parasite Schistosoma mansoni. (1990)
Rajkovic, A, Davis, R E, Simonsen, J N, Rottman, F M
We present evidence that a subset of mRNAs in the human parasitic trematode Schistosoma mansoni contain an identical 36-nucleotide spliced leader (SL) sequence at their 5' termini. The SL is derived...
Rajkovic, A, Simonsen, J N, Davis, R E, Rottman, F M
cDNA clones encoding the 3-hydroxy-3-methylglutaryl-coenzyme A (HMG-CoA) reductase [(S)-mevalonate:NADP+ oxidoreductase (CoA-acylating), EC 1.1.1.34] from the human parasite Schistosoma mansoni have...
Davis, R E, Davis, A H, Carroll, S M, Rajkovic, A, Rottman, F M
The adult Schistosoma mansoni cDNA clone 10-3 encodes an antigen that is recognized by sera from infected humans. We characterized multiple developmentally regulated transcripts homologous to the...