Sciweavers

27 search results - page 6 / 6
» Logical and Computational Aspects of Programming with Sets B...
Sort
View
CIE
2008
Springer
13 years 8 months ago
Recursion on Nested Datatypes in Dependent Type Theory
Nested datatypes are families of datatypes that are indexed over all types and where the datatype constructors relate different members of the family. This may be used to represent...
Ralph Matthes
BMCBI
2006
127views more  BMCBI 2006»
13 years 6 months ago
Automatic discovery of cross-family sequence features associated with protein function
Background: Methods for predicting protein function directly from amino acid sequences are useful tools in the study of uncharacterised protein families and in comparative genomic...
Markus Brameier, Josien Haan, Andrea Krings, Rober...