Sciweavers

2080 search results - page 196 / 416
» Collections, Cardinalities, and Relations
Sort
View
BMCBI
2006
159views more  BMCBI 2006»
15 years 6 months ago
ProtRepeatsDB: a database of amino acid repeats in genomes
Background: Genome wide and cross species comparisons of amino acid repeats is an intriguing problem in biology mainly due to the highly polymorphic nature and diverse functions o...
Mridul K. Kalita, Gowthaman Ramasamy, Sekhar Durai...
ENTCS
2006
153views more  ENTCS 2006»
15 years 6 months ago
Parametric Domain-theoretic Models of Polymorphic Intuitionistic / Linear Lambda Calculus
We present a formalization of a version of Abadi and Plotkin's logic for parametricity for a polymorphic dual intuitionistic / linear type theory with fixed points, and show,...
Lars Birkedal, Rasmus Ejlers Møgelberg, Ras...
IJWBC
2008
105views more  IJWBC 2008»
15 years 6 months ago
Collaboration support for bibliographic data
In many research settings, bibliographies are a central resource for collecting information about related work, keeping track of the own research record, and annotating this infor...
Erik Wilde, Sai Anand, Thierry Bucheler, Max Jorg,...
INFORMATICALT
2008
74views more  INFORMATICALT 2008»
15 years 6 months ago
Automated Optic Nerve Disc Parameterization
Abstract. New information technologies provide a possibility of collecting a large amount of fundus images into databases. It allows us to use automated processing and classificati...
Povilas Treigys, Vydunas Saltenis, Gintautas Dzemy...
JEC
2006
107views more  JEC 2006»
15 years 6 months ago
A dynamically reconfigurable cache for multithreaded processors
Chip multi-processors (CMP) are rapidly emerging as an important design paradigm for both high performance and embedded processors. These machines provide an important performance...
Alex Settle, Dan Connors, Enric Gibert, Antonio Go...