Sciweavers

470 search results - page 24 / 94
» Reading a Neural Code
Sort
View
BMCBI
2008
113views more  BMCBI 2008»
15 years 2 months ago
Investigating selection on viruses: a statistical alignment approach
Background: Two problems complicate the study of selection in viral genomes: Firstly, the presence of genes in overlapping reading frames implies that selection in one reading fra...
Saskia de Groot, Thomas Mailund, Gerton Lunter, Jo...
PROPERTYTESTING
2010
14 years 11 months ago
Short Locally Testable Codes and Proofs: A Survey in Two Parts
We survey known results regarding locally testable codes and locally testable proofs (known as PCPs), with emphasis on the length of these constructs. Local testability refers to a...
Oded Goldreich
DNA
2005
Springer
15 years 7 months ago
Two Proteins for the Price of One: The Design of Maximally Compressed Coding Sequences
Abstract. The emerging field of synthetic biology moves beyond conventional genetic manipulation to construct novel life forms which do not originate in nature. We explore the pro...
Bei Wang, Dimitris Papamichail, Steffen Mueller, S...
CAV
2010
Springer
153views Hardware» more  CAV 2010»
15 years 5 months ago
There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code
This paper discusses the obstacles that stand in the way of doing a good job of machine-code analysis. Compared with analysis of source code, the challenge is to drop all assumptio...
Thomas W. Reps, Junghee Lim, Aditya V. Thakur, Gog...
ECCC
2007
88views more  ECCC 2007»
15 years 1 months ago
Combinatorial Construction of Locally Testable Codes
An error correcting code is said to be locally testable if there is a test that checks whether a given string is a codeword, or rather far from the code, by reading only a constan...
Or Meir