Sciweavers

2572 search results - page 250 / 515
» codes 2008
Sort
View
BMCBI
2008
107views more  BMCBI 2008»
15 years 5 months ago
RIPCAL: a tool for alignment-based analysis of repeat-induced point mutations in fungal genomic sequences
Background: Repeat-induced point mutation (RIP) is a fungal-specific genome defence mechanism that alters the sequences of repetitive DNA, thereby inactivating coding genes. Repea...
James K. Hane, Richard P. Oliver
IANDC
2008
116views more  IANDC 2008»
15 years 5 months ago
Deciding expressive description logics in the framework of resolution
We present a decision procedure for the description logic SHIQ based on the basic superposition calculus, and show that it runs in exponential time for unary coding of numbers. To...
Ullrich Hustadt, Boris Motik, Ulrike Sattler
128
Voted
CRYPTOLOGIA
2006
67views more  CRYPTOLOGIA 2006»
15 years 5 months ago
Underwater Hacker Missile Wars: A Cryptography and Engineering Contest
For a recent student conference, the authors developed a day-long design problem and competition suitable for engineering, mathematics, and science undergraduates. The competition ...
Joshua Holden, Richard Layton, Laurence D. Merkle,...
JCO
2008
98views more  JCO 2008»
15 years 5 months ago
A survey on nonadaptive group testing algorithms through the angle of decoding
Abstract Group testing, sometimes called pooling design, has been applied to a variety of problems such as blood testing, multiple access communication, coding theory, among others...
Hong-Bin Chen, Frank K. Hwang
TCS
2008
15 years 4 months ago
On the weight of universal insertion grammars
We study the computational power of pure insertion grammars. We show that pure insertion grammars of weight 3 can characterize all recursively enumerable languages. This is achiev...
Lila Kari, Petr Sosík