Sciweavers

8695 search results - page 286 / 1739
» Making the Complex Simple
Sort
View
BMCBI
2005
90views more  BMCBI 2005»
15 years 6 months ago
An algorithm for the determination and quantification of components of nucleic acid mixtures based on single sequencing reaction
Background: Determination and quantification of nucleic acid components in a mixture is usually accomplished by microarray approaches, where the mixtures are hybridized against sp...
Alexander E. Pozhitkov, Kathryn Stemshorn, Diethar...
BC
2002
133views more  BC 2002»
15 years 6 months ago
Cortical network reorganization guided by sensory input features
Abstract. Sensory experience alters the functional organization of cortical networks. Previous studies using behavioral training motivated by aversive or rewarding stimuli have dem...
Michael P. Kilgard, Pritesh K. Pandya, Navzer D. E...
ENTCS
2000
120views more  ENTCS 2000»
15 years 6 months ago
Efficient Substitution in Hoare Logic Expressions
Substitution plays an important role in Hoare Logic, as it is used in interpreting assignments. When writing a computer-based realization of Hoare Logic, it is therefore important...
Roberto Virga
TC
1998
15 years 6 months ago
Abstraction Techniques for Validation Coverage Analysis and Test Generation
ion Techniques for Validation Coverage Analysis and Test Generation Dinos Moundanos, Jacob A. Abraham, Fellow, IEEE, and Yatin V. Hoskote —The enormous state spaces which must be...
Dinos Moundanos, Jacob A. Abraham, Yatin Vasant Ho...
TSE
1998
83views more  TSE 1998»
15 years 6 months ago
Cost-Effective Analysis of In-Place Software Processes
—Process studies and improvement efforts typically call for new instrumentation on the process in order to collect the data they have deemed necessary. This can be intrusive and ...
Jonathan E. Cook, Lawrence G. Votta, Alexander L. ...