Now showing items 31-40 of 101
A uniform method for proving lower bounds on the computational complexity of logical theories
(Elsevier, 1990-07-10)
A new method for obtaining lower bounds on the computational complexity of logical theories is presented. It extends widely used techniques for proving the undecidability of theories by interpreting models of a theory ...
Finite-difference numerical methods for solving the energy-momentum transport equations in two-valley semiconductors
(Elsevier, 1985-07)
Two finite-difference methods for solving the energy-momentum transport equations for electrons in two-valley semiconductors are analyzed. For each method, stability analyses are carried out including the electric field ...
Henkin quantifiers and complete problems
(Elsevier, 1986)
We analyze computational aspects of partially ordered quantification in first-order logic. Show that almost any non-linear quantifier, applied to quantifier-free first-order formula suffices to express an -complete predicate. ...
Functional differential equations and age dependent population growth
(Elsevier, 1972-08)
Growth equations are established for a population of individuals that have fixed age dependent reproduction and mortality rates. Equations are obtained both for the population density and for the numerical size of the ...
Simulation of a periodic dielectric corrugation with an equivalent anisotropic layer
(Kluwer Academic Publishers-Plenum Publishers; Plenum Publishing Corporation ; Springer Science+Business Media, 1990-11)
A periodic, corrugated, dielectric layer is simulated by an anisotropic dielectric layer of equal thickness. The tensor elements of the equivalent dielectric layer are given in terms of the permittivity of the dielectric ...
Connections between three-dimensional inverse scattering and linear least-squares estimation of random fields
(Kluwer Academic Publishers; Springer Science+Business Media, 1988-11)
The three-dimensional Schrödinger equation inverse scattering problem with a nonspherically-symmetric potential is related to the filtering problem of computing the linear leastsquares estimate of the three-dimensional ...
Role of strain on threshold current, modal purity and Auger processes in strained quantum well lasers
(Elsevier, 1990)
We present numerical calculations of material gain and threshold current density in compressively strained quantum well lasers grown on GaAs and InP. The valence bandstructure is obtained from a 4 x 4 k [middle dot] p ...
Searching nonlinear functions for high values
(Elsevier, 1989-08)
Many complex systems of great interest-ecologies, economies, immune systems, etc.-can be described as adaptive nonlinear networks (ANNs), wherein the network specifies the allowed nonlinear interactions of a large number ...
Informational aspects of a class of subjective games of incomplete information: Static case
(Kluwer Academic Publishers-Plenum Publishers; Plenum Publishing Corporation ; Springer Science+Business Media, 1987-08)
Subjective games of incomplete information are formulated where some of the key assumptions of Bayesian games of incomplete information are relaxed. The issues arising because of the new formulation are studied in the ...