Sciweavers

3179 search results - page 204 / 636
» Applications of PCF Theory
Sort
View
AUTOMATICA
2007
81views more  AUTOMATICA 2007»
13 years 10 months ago
Feedback control of quantum entanglement in a two-spin system
— A pair of spins is the most simple quantum system that can possess entanglement, a non-classical property playing an essential role in quantum information technologies. In this...
Naoki Yamamoto, Koji Tsumura, Shinji Hara
CORR
2010
Springer
61views Education» more  CORR 2010»
13 years 10 months ago
Utility and Privacy of Data Sources: Can Shannon Help Conceal and Reveal Information?
Abstract-- The problem of private information "leakage" (inadvertently or by malicious design) from the myriad large centralized searchable data repositories drives the n...
Lalitha Sankar, S. Raj Rajagopalan, H. Vincent Poo...
CORR
2008
Springer
113views Education» more  CORR 2008»
13 years 10 months ago
Gaussian Belief Propagation Solver for Systems of Linear Equations
The canonical problem of solving a system of linear equations arises in numerous contexts in information theory, communication theory, and related fields. In this contribution, we ...
Ori Shental, Paul H. Siegel, Jack K. Wolf, Danny B...
ENTCS
2008
99views more  ENTCS 2008»
13 years 10 months ago
ArcAngelC: a Refinement Tactic Language for Circus
Circus is a refinement language, in which specifications define both data and behavioural aspects of concurrent systems using a combination of Z and CSP. Its refinement theory and...
M. V. M. Oliveira, A. L. C. Cavalcanti
ENTCS
2008
94views more  ENTCS 2008»
13 years 10 months ago
From Reversible to Irreversible Computations
In this paper we study the relation between reversible and irreversible computation applicable to different models of computation -- here we are considering classical and quantum ...
Alexander S. Green, Thorsten Altenkirch