9,919 research outputs found
Minimizing Test Power in SRAM through Reduction of Pre-charge Activity
In this paper we analyze the test power of SRAM memories and demonstrate that the full functional pre-charge activity is not necessary during test mode because of the predictable addressing sequence. We exploit this observation in order to minimize power dissipation during test by eliminating the unnecessary power consumption associated with the pre-charge activity. This is achieved through a modified pre-charge control circuitry, exploiting the first degree of freedom of March tests, which allows choosing a specific addressing sequence. The efficiency of the proposed solution is validated through extensive Spice simulations
Typing Quantum Superpositions and Measurement
We propose a way to unify two approaches of non-cloning in quantum lambda-calculi. The first approach is to forbid duplicating variables, while the second is to consider all lambda-terms as algebraic-linear functions. We illustrate this idea by defining a quantum extension of first-order simply-typed lambda-calculus, where the type is linear on superposition, while allows cloning base vectors. In addition, we provide an interpretation of the calculus where superposed types are interpreted as vector spaces and non-superposed types as their basis.Fil: DĂaz Caro, Alejandro. Universidad Nacional de Quilmes. Departamento de Ciencia y TecnologĂa; Argentina. Consejo Nacional de Investigaciones CientĂficas y TĂ©cnicas; ArgentinaFil: Dowek, Gilles. Institut National de Recherche en Informatique et en Automatique; Franci
Dynamics of active membranes with internal noise
We study the time-dependent height fluctuations of an active membrane
containing energy-dissipating pumps that drive the membrane out of equilibrium.
Unlike previous investigations based on models that neglect either curvature
couplings or random fluctuations in pump activities, our formulation explores
two new models that take both of these effects into account. In the first
model, the magnitude of the nonequilibrium forces generated by the pumps is
allowed to fluctuate temporally. In the second model, the pumps are allowed to
switch between "on" and "off" states. We compute the mean squared displacement
of a membrane point for both models, and show that they exhibit distinct
dynamical behaviors from previous models, and in particular, a superdiffusive
regime specifically arising from the shot noise.Comment: 7 pages, 4 figure
Logic Programming and Logarithmic Space
We present an algebraic view on logic programming, related to proof theory
and more specifically linear logic and geometry of interaction. Within this
construction, a characterization of logspace (deterministic and
non-deterministic) computation is given via a synctactic restriction, using an
encoding of words that derives from proof theory.
We show that the acceptance of a word by an observation (the counterpart of a
program in the encoding) can be decided within logarithmic space, by reducing
this problem to the acyclicity of a graph. We show moreover that observations
are as expressive as two-ways multi-heads finite automata, a kind of pointer
machines that is a standard model of logarithmic space computation
Classical Structures Based on Unitaries
Starting from the observation that distinct notions of copying have arisen in
different categorical fields (logic and computation, contrasted with quantum
mechanics) this paper addresses the question of when, or whether, they may
coincide. Provided all definitions are strict in the categorical sense, we show
that this can never be the case. However, allowing for the defining axioms to
be taken up to canonical isomorphism, a close connection between the classical
structures of categorical quantum mechanics, and the categorical property of
self-similarity familiar from logical and computational models becomes
apparent.
The required canonical isomorphisms are non-trivial, and mix both typed
(multi-object) and untyped (single-object) tensors and structural isomorphisms;
we give coherence results that justify this approach.
We then give a class of examples where distinct self-similar structures at an
object determine distinct matrix representations of arrows, in the same way as
classical structures determine matrix representations in Hilbert space. We also
give analogues of familiar notions from linear algebra in this setting such as
changes of basis, and diagonalisation.Comment: 24 pages,7 diagram
Central Proper-Motion Kinematics of NGC 6752
We present proper motions derived from WFPC2 imaging for stars in the core of
the peculiar globular cluster NGC 6752. The central velocity dispersion in both
components of the proper motion is 12 km/s. We discuss the implications of this
result as well as the intrinsic difficulties in making such measurements. We
also give an alternative correction for the 34-row problem in the WFPC2 CCDs.Comment: 25 pages, 7 figures, 1 table included. Accepted for publication in A
Can distributed delays perfectly stabilize dynamical networks?
Signal transmission delays tend to destabilize dynamical networks leading to
oscillation, but their dispersion contributes oppositely toward stabilization.
We analyze an integro-differential equation that describes the collective
dynamics of a neural network with distributed signal delays. With the gamma
distributed delays less dispersed than exponential distribution, the system
exhibits reentrant phenomena, in which the stability is once lost but then
recovered as the mean delay is increased. With delays dispersed more highly
than exponential, the system never destabilizes.Comment: 4pages 5figure
- âŠ