2673 search results - page 191 / 535 » Guided Static Analysis |
132
click to vote
BIOINFORMATICS
2006
15 years 4 months ago
2006
Motivation: In many proteins, helix-helix interactions can be critical to establishing protein conformation (folding) and dynamics, as well as determining associations between pro...
107
Voted
DA
2007
15 years 4 months ago
2007
Decision analytic methods are now used frequently to help articulate and structure debate and deliberations among citizens and stakeholders in societal decisions. Methods vary, bu...
149
click to vote
HF
2007
2007
Formal Analysis and Automatic Generation of User Interfaces: Approach, Methodology, and an Algorithm
15 years 4 months ago
In this paper we propose a formal approach and methodology for analysis and generation of human-machine interfaces, with special emphasis on human-automation interaction. Our appr...
148
click to vote
IEEEVAST
2010
14 years 11 months ago
2010
Modern visualization methods are needed to cope with very highdimensional data. Efficient visual analytical techniques are required to extract the information content in these dat...
139
Voted
NAR
2011
14 years 7 months ago
2011
The stability, localization and translation rate of mRNAs are regulated by a multitude of RNAbinding proteins (RBPs) that find their targets directly or with the help of guide RNA...