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...
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,...
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,...
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...
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...