252 search results - page 51 / 51 » Experimenting with Server-Aided Signatures |
BMCBI
2005
13 years 4 months ago
2005
Background: Determination and quantification of nucleic acid components in a mixture is usually accomplished by microarray approaches, where the mixtures are hybridized against sp...
TVLSI
2008
13 years 4 months ago
2008
Exact approaches to combinational equivalence checking, such as automatic test pattern generation-based, binary decision diagrams (BDD)-based, satisfiability-based, and hybrid appr...