Sciweavers

4695 search results - page 341 / 939
» Software Clustering Techniques and the Use of Combined Algor...
Sort
View
GECCO
2003
Springer
141views Optimization» more  GECCO 2003»
15 years 12 months ago
Finding the Optimal Gene Order in Displaying Microarray Data
The rapid advances of genome-scale sequencing have brought out the necessity of developing new data processing techniques for enormous genomic data. Microarrays, for example, can g...
Seung-Kyu Lee, Yong-Hyuk Kim, Byung Ro Moon
AOSD
2006
ACM
16 years 21 days ago
Towards supporting on-demand virtual remodularization using program graphs
OOP style requires programmers to organize their code according to objects (or nouns, using natural language as a metaphor), causing a program’s actions (verbs) to become scatte...
David Shepherd, Lori L. Pollock, K. Vijay-Shanker
BMCBI
2010
151views more  BMCBI 2010»
15 years 6 months ago
BABAR: an R package to simplify the normalisation of common reference design microarray-based transcriptomic datasets
Background: The development of DNA microarrays has facilitated the generation of hundreds of thousands of transcriptomic datasets. The use of a common reference microarray design ...
Mark J. Alston, John Seers, Jay C. D. Hinton, Sach...
BMCBI
2008
118views more  BMCBI 2008»
15 years 6 months ago
MetWAMer: eukaryotic translation initiation site prediction
Background: Translation initiation site (TIS) identification is an important aspect of the gene annotation process, requisite for the accurate delineation of protein sequences fro...
Michael E. Sparks, Volker Brendel
NFM
2011
242views Formal Methods» more  NFM 2011»
15 years 1 months ago
Model Checking Using SMT and Theory of Lists
A main idea underlying bounded model checking is to limit the length of the potential counter-examples, and then prove properties for the bounded version of the problem. In softwar...
Aleksandar Milicevic, Hillel Kugler