Sciweavers

27 search results - page 6 / 6
» Protector control: Extension to a class of nonlinear distrib...
Sort
View
TLDI
2005
ACM
102views Formal Methods» more  TLDI 2005»
14 years 29 days ago
An open and shut typecase
Two different ways of defining ad-hoc polymorphic operations commonly occur in programming languages. With the first form polymorphic operations are defined inductively on the...
Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie...
ISMB
2007
13 years 9 months ago
A Chado case study: an ontology-based modular schema for representing genome-associated biological information
Motivation: A few years ago, FlyBase undertook to design a new database schema to store Drosophila data. It would fully integrate genomic sequence and annotation data with bibliog...
Chris Mungall, David B. Emmert