## Search

Now showing items 21-30 of 287

#### 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 ...

#### 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 ...

#### Third cumulant of the total transmission of diffuse waves

(The American Physical Society, 1995)

The probability distibution of the total transmission is studied for waves multiply scattered from a random, static configuration of scatterers. A theoretical study of the second and third cumulants of this distribution ...

#### 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, ...

#### An Axiomatisation of Computationally Adequate Domain Theoretic Models of FPC

(1994)

Categorical models of the metalanguage FPC (a
type theory with sums, products, exponentials and
recursive types) are defined. Then, domain-theoretic
models of FPC are axiomatised and a wide subclass of
them —the ...

#### 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 ...

#### 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 ...