## Search

Now showing items 1-10 of 41

#### Density of states of disordered systems

(The American Physical Society, 1994-05-15)

Density of states calculations for the tight-binding model with diagonal disorder are presented. An instanton approach is used to calculate the tails of the spectrum, including all prefactors. It is shown that a Hartree ...

#### Intensity Distributions of Waves Transmitted through a Multiple Scattering Medium

(The American Physical Society, 1995-04-03)

The distributions of the angular transmission coefficient and of the total transmission are calculated for multiple scattered waves. The calculation is based on a mapping to the known distrribution of eigenvalues of the ...

#### A Principled Framework for Constructing Natural Language Interfaces to Temporal Databases

(College of Science & Engineering; School of Informatics, 1996-12)

Most existing natural language interfaces to databases (Nlidbs) were designed to be used with snapshot database systems, that provide very limited facilities for manipulating time-dependent data. Consequently, most Nlidbs ...

#### A Semantics for Static Type Inference

(SPRINGER VERLAG, 1991)

Curry’s system for F-deducibility is the basis for static type inference
algorithms for programming languages such as ML. If a natural
“preservation of types by conversion” rule is added to Curry’s system, it
becomes ...

#### On Functors Expressible in the Polymorphic Typed Lambda Calculus

(Information and Computation, 1991)

Given a model of the polymorphic typed lambda calculus based upon a Cartesian
closed category K, there will be functors from K to K whose action on objects can be
expressed by type expressions and whose action on morphisms ...

#### A Calculus for Access Control in Distributed Systems

(1993)

We study some of the concepts, protocols, and algorithms for access control in distributed systems,
from a logical perspective. We account for how a principal may come to believe that another
principal is making a request, ...

#### Full completeness of the multiplicative linear logic of Chu spaces

(1999)

We prove full completeness of multiplicative linear logic
(MLL) without MIX under the Chu interpretation. In particular
we show that the cut-free proofs of MLL theorems
are in a natural bijection with the binary logical ...

#### Noise removal at the rod synapse of mammalian retina

(Cambridge University Press, 1998)

Mammalian rods respond to single photons with a hyperpolarization of about 1 mV which is accompanied
by continuous noise. Since the mammalian rod bipolar cell collects signals from 20-100 rods, the noise from
the converging ...

#### Multiple scattering of classical waves: microscopy, mesoscopy, and diffusion

(The American Physical Society, 1999)

A tutorial discussion of the propagation of waves in random media is presented. To a first
approximation the transport of the multiple scattered waves is given by diffusion theory, but
important corrections are presented. ...

#### Optical conductance fluctuations: Diagrammatic analysis in the Landauer approach and nonuniversal effects

(The American Physical Society, 1995-06)

The optical conductance of a multiple scatering medium is defined as the total transmitted light of a normalized diffuse incoming beam. This quantity, analogous to electronic conductance, exhibits universal conductance ...