18429 search results - page 285 / 3686 » Typing dynamic typing |
219
click to vote
ICS
1995
Tsinghua U.
15 years 10 months ago
1995
Tsinghua U.
Current data cache organizations fail to deliver high performance in scalar processors for many vector applications. There are two main reasons for this loss of performance: the u...
207
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...
151
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: High-throughput automated sequencing has enabled an exponential growth rate of sequencing data. This requires increasing sequence quality and reliability in order to a...
190
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Although prognostic biomarkers specific for particular cancers have been discovered, microarray analysis of gene expression profiles, supported by integrative analysis...
152
click to vote
JOCN
2010
2010
Medial Temporal Lobe Activity during Source Retrieval Reflects Information Type, not Memory Strength
15 years 5 months ago
■ The medial temporal lobes (MTLs) are critical for episodic memory but the functions of MTL subregions are controversial. According to memory strength theory, MTL subregions co...