Sciweavers

3319 search results - page 18 / 664
» Type Theoretical Databases
Sort
View
76
Voted
NAR
2011
219views Computer Vision» more  NAR 2011»
14 years 14 days ago
SCLD: a stem cell lineage database for the annotation of cell types and developmental lineages
Stem cell biology has experienced explosive growth over the past decade as researchers attempt to generate therapeutically relevant cell types in the laboratory. Recapitulation of...
Edward Hemphill, Asav P. Dharia, Chih Lee, Carolin...
CTCS
1987
Springer
15 years 1 months ago
A Typed Lambda Calculus with Categorical Type Constructors
A typed lambda calculus with categorical type constructors is introduced. It has a uniform category theoretic mechanism to declare new types. Its type structure includes categoric...
Tatsuya Hagino
SCCC
2002
IEEE
15 years 2 months ago
Querying XML Databases
Artur Afonso de Sousa, José Luís Per...
ITICSE
2010
ACM
14 years 11 months ago
Undergraduate database instruction with MeTube
James Z. Wang, Timothy A. Davis, James Westall, Pr...