Now showing items 31-40 of 722
The translation theorem
(Springer-Verlag, 1994-03)
We state and prove the Translation Theorem. Then we apply the Translation Theorem to Soare's Extension Theorem, weakening slightly the hypothesis to yield a theorem we call the Modified Extension Theorem. We use this theorem ...
A uniform treatment of order of evaluation and aggregate update
(Elsevier, 1993-09-27)
The article presents an algorithm for the destructive update optimization in first-order lazy functional languages. The main component of the method is a new static analysis of the order of evaluation of expressions which, ...
Quantitative evaluation of the pH profile in organic acid fermentations
(Wiley Subscription Services, Inc., A Wiley Company, 1991-01-20)
No Abstrct.
A test of QCD based on 3-jet events from Z0 decays
(Elsevier, 1991-07-18)
We present a study of 43 000 3-jet events from Z0 boson decays. Both the measured jet energy distributions and the event orientation are reproduced by second order QCD. An alternative model with scalar gluons fails to ...
A millimeter wave technique for measuring ice thickness on the Space Shuttle's external tank
(Kluwer Academic Publishers-Plenum Publishers; Plenum Publishing Corporation ; Springer Science+Business Media, 1991-12)
The external fueltank of the Space Shuttle contains extremely lowtemperature propellents. A layer of material known as SOFI (Spray-On Foam Insulation) covering the outside of the fueltank provides thermal insulation between ...
Buoyancy-driven turbulent diffusion flames
(Elsevier, 1991-08)
A fundamental dimensionless number for pool fires, , in proposed. Here [sigma][beta] and Ra[beta] denote a flame Schmidt number and a flame Rayleigh number. The sublayer thickness of a turbulent pool fire, [eta][beta], is ...
Sum-accelerated pseudospectral methods: the Euler-accelerated sinc algorithm
(Elsevier, 1991-04)
Pseudospectral discretizations of differential equations are much more accurate than finite differences for the same number of grid points N. The reason is that derivatives are approximated by a weighted sum of all N values ...
Theory of lateral bandgap variation achievable by strain engineering in patterned substrate strain epitaxy
(Elsevier, 1990)
Energy minimization considerations are used to estimate the strain tensor for pseudomorphic structures grown on a patterned substrate. We show that if a material B is deposited below critical thickness in a hole of width ...
Influence diagnostics for the Weibull model fit to censored data
(Elsevier, 1990-01)
Methods for detecting influential observations for the Weibull model fit to censored data are discussed. These methods include: one-step deletion diagnostics, influence functions and curvature diagnostics. Results indicate ...