Sciweavers

1414 search results - page 14 / 283
» Randomness and Universal Machines
Sort
View
LPAR
2005
Springer
14 years 2 months ago
Model Checking Abstract State Machines with Answer Set Programming
ECKING ABSTRACT STATE MACHINES WITH ANSWER SET PROGRAMMING by Calvin Kai Fan Tang B.Sc., Simon Fraser University, 2003 a thesis submitted in partial fulfillment of the requirements...
Calvin Kai Fan Tang, Eugenia Ternovska
BIOADIT
2004
Springer
14 years 10 days ago
Embryonic Machines That Divide and Differentiate
After defining a Universe for computer science in opposition to the Universe of biology, this paper presents the roles that cellular division plays in both of them. Based on the ni...
Daniel Mange, André Stauffer, Enrico Petrag...
SODA
2012
ACM
213views Algorithms» more  SODA 2012»
11 years 11 months ago
Expanders are universal for the class of all spanning trees
Given a class of graphs F, we say that a graph G is universal for F, or F-universal, if every H ∈ F is contained in G as a subgraph. The construction of sparse universal graphs ...
Daniel Johannsen, Michael Krivelevich, Wojciech Sa...
SACRYPT
1998
Springer
129views Cryptology» more  SACRYPT 1998»
14 years 24 days ago
An Accurate Evaluation of Maurer's Universal Test
Maurer's universal test is a very common randomness test, capable of detecting a wide gamut of statistical defects. The algorithm is simple (a few Java code lines), flexible (...
Jean-Sébastien Coron, David Naccache
CORR
2008
Springer
110views Education» more  CORR 2008»
13 years 8 months ago
A Neyman-Pearson Approach to Universal Erasure and List Decoding
When information is to be transmitted over an unknown, possibly unreliable channel, an erasure option at the decoder is desirable. Using constant-composition random codes, we propo...
Pierre Moulin