1057 search results - page 50 / 212 » Theoretical and Experimental DNA Computation |
SOFSEM
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. The dependency pair method is a powerful method for automatically proving termination of rewrite systems. When used with traditional simplification orders like LPO and K...
CSE
2009
IEEE
14 years 10 months ago
2009
IEEE
Recent years have witnessed an increasing trend of enterprises outsource their IT services to third parties. A major concern in database outsourcing paradigm is integrity verificat...
BMCBI
2008
14 years 9 months ago
2008
Background: Combinatorial regulation of transcription factors (TFs) is important in determining the complex gene expression patterns particularly in higher organisms. Deciphering ...
BMCBI
2006
14 years 9 months ago
2006
Background: Through the use of DNA microarrays it is now possible to obtain quantitative measurements of the expression of thousands of genes from a biological sample. This techno...
BMCBI
2011
14 years 1 months ago
2011
Background: With next-generation sequencing technologies, experiments that were considered prohibitive only a few years ago are now possible. However, while these technologies hav...