Sciweavers

777 search results - page 21 / 156
» presence 2010
Sort
View
ET
2010
122views more  ET 2010»
15 years 3 months ago
Fault Models for Quantum Mechanical Switching Networks
This work justifies several quantum gate level fault models and discusses the causal error mechanisms thwarting correct function. A quantum adaptation of the classical test set gen...
Jacob D. Biamonte, Jeff S. Allen, Marek A. Perkows...
CORR
2010
Springer
134views Education» more  CORR 2010»
15 years 6 months ago
Methods for the Reconstruction of Parallel Turbo Codes
Abstract--We present two new algorithms for the reconstruction of turbo codes from a noisy intercepted bitstream. With these algorithms, we were able to reconstruct various turbo c...
Mathieu Cluzeau, Matthieu Finiasz, Jean-Pierre Til...
FOSSACS
2010
Springer
16 years 1 months ago
A Semantic Foundation for Hidden State
Abstract. We present the first complete soundness proof of the antiframe rule, a recently proposed proof rule for capturing information hiding in the presence of higher-order stor...
Jan Schwinghammer, Hongseok Yang, Lars Birkedal, F...
ICS
2010
Tsinghua U.
15 years 10 months ago
Robust Perfect Revenue From Perfectly Informed Players
: Maximizing revenue in the presence of perfectly informed players is a well known goal in mechanism design. Yet, all current mechanisms for this goal are vulnerable to equilibrium...
Jing Chen, Avinatan Hassidim, Silvio Micali
FUIN
2010
103views more  FUIN 2010»
15 years 4 months ago
A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security
A formal model for diagnostics of biological systems modelled as P systems is presented. We assume the presence of some biologically motivated changes (frequently pathological) in ...
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo ...