Sciweavers

218 search results - page 18 / 44
» New Results on Quantum Property Testing
Sort
View
TIT
2008
107views more  TIT 2008»
13 years 7 months ago
Computing Binary Combinatorial Gray Codes Via Exhaustive Search With SAT Solvers
The term binary combinatorial Gray code refers to a list of binary words such that the Hamming distance between two neighboring words is one and the list satisfies some additional ...
Igor Zinovik, Daniel Kroening, Yury Chebiryak
SIAMREV
2010
181views more  SIAMREV 2010»
13 years 2 months ago
A Variational Approach to Copositive Matrices
This work surveys essential properties of the so-called copositive matrices, the study of which is spread over more than fifty-five years. Special emphasis is given to variational ...
Jean-Baptiste Hiriart-Urruty, Alberto Seeger
BMCBI
2006
85views more  BMCBI 2006»
13 years 7 months ago
Identification of physicochemical selective pressure on protein encoding nucleotide sequences
Background: Statistical methods for identifying positively selected sites in protein coding regions are one of the most commonly used tools in evolutionary bioinformatics. However...
Wendy S. W. Wong, Raazesh Sainudiin, Rasmus Nielse...
CAV
2004
Springer
202views Hardware» more  CAV 2004»
14 years 29 days ago
Statistical Model Checking of Black-Box Probabilistic Systems
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
Koushik Sen, Mahesh Viswanathan, Gul Agha
IJCNN
2007
IEEE
14 years 1 months ago
FEBAM: A Feature-Extracting Bidirectional Associative Memory
—In this paper, a new model that can ultimately create its own set of perceptual features is proposed. Using a bidirectional associative memory (BAM)-inspired architecture, the r...
Sylvain Chartier, Gyslain Giguère, Patrice ...