2340 search results - page 35 / 468 » Second quarter 2008 |
169
click to vote
MEMOCODE
2008
IEEE
16 years 6 days ago
2008
IEEE
Abstract: We present an implementation of a highthroughput cryptosorter, capable of sorting an encrypted database of eight megabytes in .15 seconds; 1102 times faster than a softwa...
148
click to vote
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
Bang-bang and singular optimal controls in a fedbatch fermentation process are computed for a range of time horizons. Numerical algorithms for determining the optimal control struc...
141
click to vote
GG
2008
Springer
15 years 6 months ago
2008
Springer
In this paper we give a category-based characterization of recognizability. A recognizable subset of arrows is defined via a functor into the category of relations on sets, which ...
174
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Accurate peptide identification is important to high-throughput proteomics analyses that use mass spectrometry. Search programs compare fragmentation spectra (MS/MS) o...
150
click to vote
ITA
2008
15 years 5 months ago
2008
We prove that there exists a structure M whose monadic second order theory is decidable, and such that the elementary theory of every expansion of M by a constant is undecidable. 1...