Sciweavers

256 search results - page 37 / 52
» On the Placement of Software Mechanisms for Detection of Dat...
Sort
View
BMCBI
2010
99views more  BMCBI 2010»
13 years 7 months ago
Different effects of the probe summarization algorithms PLIER and RMA on high-level analysis of Affymetrix exon arrays
Background: Alternative splicing is an important mechanism that increases protein diversity and functionality in higher eukaryotes. Affymetrix exon arrays are a commercialized pla...
Yi Qu, Fei He, Yuchen Chen
FTRTFT
1998
Springer
13 years 12 months ago
On the Need for Practical Formal Methods
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
Constance L. Heitmeyer
EAAI
2010
144views more  EAAI 2010»
13 years 2 months ago
Fault diagnosis of industrial systems by conditional Gaussian network including a distance rejection criterion
The purpose of this article is to present a method for industrial process diagnosis with Bayesian network, and more particularly with Conditional Gaussian Network (CGN). The inter...
Sylvain Verron, Teodor Tiplica, Abdessamad Kobi
ISCA
2010
IEEE
284views Hardware» more  ISCA 2010»
14 years 22 days ago
Security refresh: prevent malicious wear-out and increase durability for phase-change memory with dynamically randomized address
Phase change memory (PCM) is an emerging memory technology for future computing systems. Compared to other non-volatile memory alternatives, PCM is more matured to production, and...
Nak Hee Seong, Dong Hyuk Woo, Hsien-Hsin S. Lee
UIST
1997
ACM
13 years 11 months ago
Designing and Implementing Asynchronous Collaborative Applications with Bayou
Asynchronous collaboration is characterized by the degree of independence collaborators have from one another. In particular, collaborators working asynchronously typically have l...
W. Keith Edwards, Elizabeth D. Mynatt, Karin Peter...