Sciweavers

777 search results - page 21 / 156
» presence 2010
Sort
View
ET
2010
122views more  ET 2010»
14 years 9 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...
103
Voted
CORR
2010
Springer
134views Education» more  CORR 2010»
15 years 17 days 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...
109
Voted
FOSSACS
2010
Springer
15 years 7 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...
63
Voted
ICS
2010
Tsinghua U.
15 years 4 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
91
Voted
FUIN
2010
103views more  FUIN 2010»
14 years 11 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 ...