Now showing items 1-10 of 101
Why ring regenerative amplification (regen)?
(Springer-Verlag, 2002-06)
We show that ring cavity regenerative amplifiers (regens) have distinct advantages over the linear ones for applications in chirped pulse amplification. Larger energy, better contrast and better isolation from the oscillator ...
Stratified least fixpoint logic
(Elsevier, 1994-08-29)
Stratified least fixpoint logic, or SLFP, characterizes the expressibility of stratified logic programs and, in a different formulation, has been used as a logic of imperative programs. These two formulations of SLFP are ...
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 ...
On Partial Order Characterizations of Information Structures
(Springer-Verlag London Limited, 2000-12)
The degree of concurrency possible in an informationally decentralized nonsequential system is determined by the precedence constraints imposed by the system's information structure on its controlled and uncontrolled inputs. ...
Application of a Tauberian theorem to finite model theory
(Springer-Verlag; Verlag W. Kohlhammer, 1985-12)
An extension of a Tauberian theorem of Hardy and Littlewood is proved. It is used to show that, for classes of finite models satisfying certain combinatorial and growth properties, Cesàro probabilities (limits of average ...
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 ...
The peak in the thermal conductivity of Cu-O superconductors: Electronic or phononic origin?
(Kluwer Academic Publishers-Plenum Publishers; Plenum Publishing Corporation ; Springer Science+Business Media, 1994-04)
The thermal conductivity К of hole-doped Cu-O plane high- T c perovskites exhibits a dramatic increase below T c which results in a pronounced peak near T c /2. The origin of this peak was initially thought to arise from ...
Role of numerical simulations in the semiconductor heterostructure technology using molecular beam epitaxy
(Elsevier, 1986)
The present and potential role of computer simulations in understanding the growth and fabrication of heterostructure interfaces grown by molecular beam epitaxy (MBE) is discussed. The important atomistic processes involved ...
Nonconvergence, undecidability, and intractability in asymptotic problems
(Elsevier, 1987)
Results delimiting the logical and effective content of asymptotic combinatorics are presented. For the class of binary relations with an underlying linear order, and the class of binary functions, there are properties, ...
Better Alternatives to OSPF Routing
(Springer-Verlag; Springer, 2005-08)
The current standard for intra-domain network routing, Open ShortestPath First (OSPF), suffers from a number ofproblems-the tunable parameters (the weights) are hard tooptimize, the chosen paths are not robust underchanges ...