Sciweavers

2218 search results - page 28 / 444
» Testing Expressibility Is Hard
Sort
View
CALCO
2005
Springer
98views Mathematics» more  CALCO 2005»
14 years 1 months ago
The Least Fibred Lifting and the Expressivity of Coalgebraic Modal Logic
Every endofunctor B on the category Set can be lifted to a fibred functor on the category (fibred over Set) of equivalence relations and relation-preserving functions. In this pa...
Bartek Klin
BIBE
2001
IEEE
188views Bioinformatics» more  BIBE 2001»
13 years 11 months ago
Interrelated Two-way Clustering: An Unsupervised Approach for Gene Expression Data Analysis
DNA arrays can be used to measure the expression levels of thousands of genes simultaneously. Currently most research focuses on the interpretation of the meaning of the data. How...
Chun Tang, Li Zhang, Aidong Zhang, Murali Ramanath...
CVPR
2005
IEEE
14 years 9 months ago
Joint Nonparametric Alignment for Analyzing Spatial Gene Expression Patterns in Drosophila Imaginal Discs
To compare spatial patterns of gene expression, one must analyze a large number of images as current methods are only able to measure a small number of genes at a time. Bringing i...
Parvez Ahammad, Cyrus L. Harmon, Ann Hammonds, Sha...
RECOMB
2010
Springer
14 years 2 months ago
Hierarchical Generative Biclustering for MicroRNA Expression Analysis
Clustering methods are a useful and common first step in gene expression studies, but the results may be hard to interpret. We bring in explicitly an indicator of which genes tie ...
José Caldas, Samuel Kaski
KBSE
2010
IEEE
13 years 6 months ago
How did you specify your test suite
Although testing is central to debugging and software certification, there is no adequate language to specify test suites over source code. Such a language should be simple and c...
Andreas Holzer, Christian Schallhart, Michael Taut...