4854 search results - page 867 / 971 » It's the Programming, Stupid |
COR
2006
14 years 10 months ago
2006
We study the problem of planning the production of new and recovering defective items of the same product manufactured on the same facility. Items of the product are produced in b...
ENTCS
2006
14 years 10 months ago
2006
This paper presents VyrdMC, a runtime verification tool we are building for concurrent software components. The correctness criterion checked by VyrdMC is refinement: Each executi...
BMCBI
2007
14 years 10 months ago
2007
Background: The precision of transcriptional regulation is made possible by the specificity of physical interactions between transcription factors and their cognate binding sites ...
82
Voted
BMCBI
2007
14 years 10 months ago
2007
Background: The design of long oligonucleotides for spotted DNA microarrays requires detailed attention to ensure their optimal performance in the hybridization process. The main ...
102
click to vote
JIB
2008
14 years 10 months ago
2008
Structure, is a widely used software tool to investigate population genetic structure with multi-locus genotyping data. The software uses an iterative algorithm to group individua...