Sciweavers

7607 search results - page 1405 / 1522
» informs 2006
Sort
View
125
Voted
ENTCS
2006
128views more  ENTCS 2006»
15 years 3 months ago
Web Verification: Perspective and Challenges
The Web poses novel and interesting problems for both programming language design and verification--and their intersection. This paper provides a personal outline of one thread of...
Shriram Krishnamurthi
138
Voted
ENVSOFT
2006
125views more  ENVSOFT 2006»
15 years 3 months ago
Sensitivity analysis based on regional splits and regression trees (SARS-RT)
A global sensitivity analysis with regional properties is introduced. This method is demonstrated on two synthetic and one hydraulic example. It can be shown that an uncertainty a...
Florian Pappenberger, Ion Iorgulescu, Keith J. Bev...
126
Voted
BMCBI
2007
116views more  BMCBI 2007»
15 years 3 months ago
Clustering protein environments for function prediction: finding PROSITE motifs in 3D
Background: Structural genomics initiatives are producing increasing numbers of threedimensional (3D) structures for which there is little functional information. Structure-based ...
Sungroh Yoon, Jessica C. Ebert, Eui-Young Chung, G...
155
Voted
BMCBI
2007
136views more  BMCBI 2007»
15 years 3 months ago
Prediction of tissue-specific cis-regulatory modules using Bayesian networks and regression trees
Background: In vertebrates, a large part of gene transcriptional regulation is operated by cisregulatory modules. These modules are believed to be regulating much of the tissue-sp...
Xiaoyu Chen, Mathieu Blanchette
138
Voted
BMCBI
2007
141views more  BMCBI 2007»
15 years 3 months ago
Using structural motif descriptors for sequence-based binding site prediction
Background: Many protein sequences are still poorly annotated. Functional characterization of a protein is often improved by the identification of its interaction partners. Here, ...
Andreas Henschel, Christof Winter, Wan Kyu Kim, Mi...
« Prev « First page 1405 / 1522 Last » Next »