6960 search results - page 546 / 1392 » Continuity Analysis of Programs |
224
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: The Ensembl project produces updates to its comparative genomics resources with each of its several releases per year. During each release cycle approximately two week...
172
click to vote
TITB
2010
15 years 1 months ago
2010
Four time-frequency and time-scale methods are studied for their ability of detecting myoclonic seizures from accelerometric data. Methods that are used are: the short-time Fourier...
252
click to vote
NAR
2011
14 years 10 months ago
2011
Tomato Functional Genomics Database (TFGD) provides a comprehensive resource to store, query, mine, analyze, visualize and integrate large-scale tomato functional genomics data se...
165
click to vote
ETS
2007
IEEE
16 years 1 months ago
2007
IEEE
An efficient on-chip infrastructure for memory test and repair is crucial to enhance yield and availability of SoCs. Therefore embedded memories are commonly equipped with spare r...
221
click to vote
CC
2003
Springer
16 years 12 days ago
2003
Springer
vel Meta-Reasoning with Higher-Order Abstract Syntax Alberto Momigliano, Simon Ambler. A Normalisation Result for Higher-Order Calculi with Explicit Substitutions Eduardo Bonelli. ...