3378 search results - page 149 / 676 » A universe of binding and computation |
ENTCS
2007
14 years 10 months ago
2007
This paper studies the notion of “freshness” that often occurs in the meta-theory of computer science languages involving various kinds of names. Nominal Equational Logic is a...
IFIP
1997
Springer
15 years 2 months ago
1997
Springer
: National and international standards for professional groups may become a dominant and governing force as internet-based professional training becomes universally accepted. Educa...
CMSB
2008
Springer
14 years 11 months ago
2008
Springer
Stochastic Process Algebra Models Jane Hillston. University of Edinburgh.
RECOMB
2004
Springer
15 years 10 months ago
2004
Springer
We present a novel classification-based algorithm called GeneClass for learning to predict gene regulatory response. Our approach is motivated by the hypothesis that in simple orga...
BMCBI
2008
14 years 10 months ago
2008
Background: Computational discovery of motifs in biomolecular sequences is an established field, with applications both in the discovery of functional sites in proteins and regula...