Sciweavers

5056 search results - page 350 / 1012
» Network Coding Theory
Sort
View
DAGSTUHL
2006
15 years 5 months ago
Binary Lambda Calculus and Combinatory Logic
In the first part, we introduce binary representations of both lambda calculus and combinatory logic terms, and demonstrate their simplicity by providing very compact parser-inter...
John Tromp
CORR
2010
Springer
58views Education» more  CORR 2010»
15 years 4 months ago
A calculus for costed computations
We develop a version of the picalculus Picost where channels are interpreted as resources which have costs associated with them. Code runs under the financial responsibility of own...
Matthew Hennessy
JCO
2008
98views more  JCO 2008»
15 years 4 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
BMCBI
2004
85views more  BMCBI 2004»
15 years 4 months ago
Frequent occurrence of recognition Site-like sequences in the restriction endonucleases
Background: There are two different theories about the development of the genetic code. Woese suggested that it was developed in connection with the amino acid repertoire, while C...
Jan C. Biro, Josephine M. K. Biro
APAL
1998
121views more  APAL 1998»
15 years 3 months ago
Computably Enumerable Sets and Quasi-Reducibility
We consider the computably enumerable sets under the relation of Qreducibility. We first give several results comparing the upper semilattice of c.e. Q-degrees, RQ, ≤Q , under ...
Rodney G. Downey, Geoffrey LaForte, André N...