Sciweavers

4770 search results - page 236 / 954
» Flexible Type Analysis
Sort
View
PLDI
2006
ACM
16 years 1 months ago
Combining type-based analysis and model checking for finding counterexamples against non-interference
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
Hiroshi Unno, Naoki Kobayashi, Akinori Yonezawa
BMCBI
2010
84views more  BMCBI 2010»
15 years 7 months ago
An integrated analysis of molecular aberrations in NCI-60 cell lines
Background: Cancer is a complex disease where various types of molecular aberrations drive the development and progression of malignancies. Large-scale screenings of multiple type...
Chen-Hsiang Yeang
CORR
2010
Springer
108views Education» more  CORR 2010»
15 years 7 months ago
An Analysis of Transaction and Joint-patent Application Networks
Many firms these days, forced by increasing international competition and an unstable economy, are opting to specialize rather than generalize as a way of maintaining their compet...
Hiroyasu Inoue
BMCBI
2005
145views more  BMCBI 2005»
15 years 7 months ago
CAGER: classification analysis of gene expression regulation using multiple information sources
Background: Many classification approaches have been applied to analyzing transcriptional regulation of gene expressions. These methods build models that can explain a gene's...
Jianhua Ruan, Weixiong Zhang
IPMI
2001
Springer
16 years 8 months ago
Deformation Analysis for Shape Based Classification
Statistical analysis of anatomical shape differences between two different populations can be reduced to a classification problem, i.e., learning a classifier function for assignin...
Polina Golland, W. Eric L. Grimson, Martha Elizabe...