Buscar
Mostrando ítems 1-10 de 35377
Generalized contexts and consistent histories in quantum mechanics
(Academic Press Inc Elsevier Science, 2014-05)
We analyze a restriction of the theory of consistent histories by imposing that a valid description of a physical system must include quantum histories which satisfy the consistency conditions for all states. We prove that ...
Context-sensitive analysis without calling-context
(2010-09-01)
Since Sharir and Pnueli, algorithms for context-sensitivity have been defined in terms of 'valid' paths in an interprocedural flow graph. The definition of valid paths requires atomic call and ret statements, and encapsulated ...
The Measurement Process in the Generalized Contexts Formalism for Quantum Histories
(Springer/Plenum Publishers, 2016-02)
In the interpretations of quantum mechanics involving quantum histories there is no collapse postulate and the measurement is considered as a quantum interaction between the measured system and the measured instrument. For ...
Implementacion de Context-Aware Aspects en Reflex y Evaluación en una Aplicación Context-Aware
(Universidad de Chile, 2007)
El objetivo general de este trabajo consiste en extender el framework Reflex para soportar context-aware aspects. Este nuevo framework permitirá integrar sensores de contexto implementados con WildCAT para el desarrollo ...
Post-learning sleep transiently boosts context specific operant extinction memory
(Frontiers Research Foundation, 2017)
Operant extinction is learning to supress a previously rewarded behavior. It is known to
be strongly associated with the specific context in which it was acquired, which limits
the therapeutic use of operant extinction ...
A Tannakian context for Galois theory
(Elsevier, 2013-02)
Strong similarities have been long observed between the Galois (Categories Galoisiennes) and the Tannaka (Categories Tannakiennes) theories of representation of groups. In this paper we construct an explicit (neutral) ...
Context-sensitive analysis without calling-context
(2010-09-01)
Since Sharir and Pnueli, algorithms for context-sensitivity have been defined in terms of 'valid' paths in an interprocedural flow graph. The definition of valid paths requires atomic call and ret statements, and encapsulated ...
The role of test context in latent inhibition of conditioned inhibition: Part of a search for general principles of associative interference
(Springer, 2015)
In two lick suppression experiments with rats, we assessed interference with behavior indicative of conditioned inhibition by a latent inhibition treatment as a function of test context. We asked what effect the test context ...