Sciweavers

4911 search results - page 526 / 983
» Tree dependence analysis
Sort
View
BMCBI
2011
15 years 1 days ago
Context-dependent transcriptional regulations between signal transduction pathways
Background: Cells coordinate their metabolism, proliferation, and cellular communication according to environmental cues through signal transduction. Because signal transduction h...
Sohyun Hwang, Sangwoo Kim, Heesung Shin, Doheon Le...
PLDI
2009
ACM
15 years 11 months ago
On PDG-based noninterference and its modular proof
We present the first machine-checked correctness proof for information flow control (IFC) based on program dependence graphs (PDGs). IFC based on slicing and PDGs is flow-sensi...
Daniel Wasserrab, Denis Lohner, Gregor Snelting
BMCBI
2010
110views more  BMCBI 2010»
15 years 5 months ago
TimeDelay-ARACNE: Reverse engineering of gene networks from time-course data by an information theoretic approach
Background: One of main aims of Molecular Biology is the gain of knowledge about how molecular components interact each other and to understand gene function regulations. Using mi...
Pietro Zoppoli, Sandro Morganella, Michele Ceccare...
IJON
2007
88views more  IJON 2007»
15 years 4 months ago
Information maximization in face processing
This perspective paper explores principles of unsupervised learning and how they relate to face recognition. Dependency coding and information maximization appear to be central pr...
Marian Stewart Bartlett
DAC
2003
ACM
16 years 6 months ago
Automated synthesis of efficient binary decoders for retargetable software toolkits
A binary decoder is a common component of software development tools such as instruction set simulators, disassemblers and debuggers. The efficiency of the decoder can have a sign...
Wei Qin, Sharad Malik