In this paper we present two type inference systems for detecting useless-code in higher-order typed functional programs. Type inference can be performed in an efficient and compl...
This paper describes how high level biological knowledge obtained from ontologies such as the Gene Ontology (GO) can be integrated with low level information extracted from a Baye...
Kenneth McGarry, Sheila Garfield, Nick Morris, Ste...
Background: Exonic splicing enhancers (ESEs) activate nearby splice sites and promote the inclusion (vs. exclusion) of exons in which they reside, while being a binding site for S...
As larger macromolecular structures become available, there is a growing need to understand their `internal' volumes--such as deep clefts, channels and cavities--as these oft...
Background: The Gene Ontology Annotation (GOA) database http://www.ebi.ac.uk/GOA aims to provide high-quality supplementary GO annotation to proteins in the UniProt Knowledgebase....
Evelyn Camon, Daniel Barrell, Emily Dimmer, Vivian...