Sciweavers

2345 search results - page 256 / 469
» Comparing sequence scaffolds
Sort
View
SAS
1997
Springer
162views Formal Methods» more  SAS 1997»
14 years 10 days ago
Exact Flow Analysis
We present a type-based flow analysis for simply typed lambda calculus with booleans, data-structures and recursion. The analysis is exact in the following sense: if the analysis ...
Christian Mossin
VLSID
2010
IEEE
155views VLSI» more  VLSID 2010»
14 years 2 days ago
Digital Microfluidic Biochips: A Vision for Functional Diversity and More than Moore
Abstract—Microfluidics-based biochips are revolutionizing highthroughput sequencing, parallel immunoassays, clinical diagnostics, and drug discovery. These devices enable the pre...
Krishnendu Chakrabarty
ICASSP
2009
IEEE
14 years 1 days ago
Blind noise variance estimation for OFDMA signals
In this paper, we present two new noise variance estimation methods of OFDMA signals transmitted through an unknown multipath fading channel. We focus on blind estimation as it do...
François-Xavier Socheleau, Dominique Pastor...
GECCO
2006
Springer
159views Optimization» more  GECCO 2006»
13 years 12 months ago
A genetic model based on simulated crossover of quaternary genes for quadratic fitness
We present a genetic model based on simulated recombination of fixed sequences of quaternary genes (assuming four distinct forms, or alleles). States and dynamics of the infinite ...
Marco Carpentieri, Vito Fedullo
GECCO
2000
Springer
112views Optimization» more  GECCO 2000»
13 years 11 months ago
Code Compaction Using Genetic Algorithms
One method for compacting executable computer code is to replace commonly repeated sequences of instructions with macro instructions from a decoding dictionary. The size of the de...
Keith E. Mathias, Larry J. Eshelman, J. David Scha...