Sciweavers

1511 search results - page 167 / 303
» Relational Parametricity for Computational Effects
Sort
View
BMCBI
2010
104views more  BMCBI 2010»
15 years 6 months ago
Formal reasoning on qualitative models of coinfection of HIV and Tuberculosis and HAART therapy
Background: Several diseases, many of which nowadays pandemic, consist of multifactorial pathologies. Paradigmatic examples come from the immune response to pathogens, in which ca...
Anil Sorathiya, Andrea Bracciali, Pietro Liò...
BMCBI
2007
62views more  BMCBI 2007»
15 years 6 months ago
Missing channels in two-colour microarray experiments: Combining single-channel and two-channel data
Background: There are mechanisms, notably ozone degradation, that can damage a single channel of two-channel microarray experiments. Resulting analyses therefore often choose betw...
Andy G. Lynch, David E. Neal, John D. Kelly, Glyn ...
COSIT
1997
Springer
143views GIS» more  COSIT 1997»
15 years 10 months ago
Using Hierarchical Spatial Data Structures for Hierarchical Spatial Reasoning
This paper gives a definition of Hierarchical Spatial Reasoning, which computes increasingly better results in a hierarchical fashion and stops the computation when a result is ac...
Sabine Timpf, Andrew U. Frank
DAC
2006
ACM
16 years 7 months ago
An efficient and versatile scheduling algorithm based on SDC formulation
Scheduling plays a central role in the behavioral synthesis process, which automatically compiles high-level specifications into optimized hardware implementations. However, most ...
Jason Cong, Zhiru Zhang
ICDM
2008
IEEE
102views Data Mining» more  ICDM 2008»
16 years 26 days ago
Mining Order-Preserving Submatrices from Data with Repeated Measurements
Order-preserving submatrices (OPSM’s) have been shown useful in capturing concurrent patterns in data when the relative magnitudes of data items are more important than their ab...
Chun Kit Chui, Ben Kao, Kevin Y. Yip, Sau Dan Lee