1901 search results - page 136 / 381 » Predicting Program Properties from |
141
click to vote
NAR
2008
15 years 3 months ago
2008
TarO (http://www.compbio.dundee.ac.uk/taro) offers a single point of reference for key bioinformatics analyses relevant to selecting proteins or domains for study by structural bi...
167
click to vote
JIB
2007
15 years 2 months ago
2007
As protein-protein interactions are one of the basic mechanisms in most cellular processes, it is desirable to understand the molecular details of protein-protein contacts and ult...
118
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: Predicting the suppression activity of antisense oligonucleotide sequences is the main goal of the rational design of nucleic acids. To create an effective predictive ...
109
click to vote
ENTCS
2007
15 years 3 months ago
2007
’s abstraction theorem [21], often referred to as the parametricity theorem, can be used to derive properties about functional programs solely from their types. Unfortunately, i...
112
click to vote
POPL
1997
ACM
15 years 7 months ago
1997
ACM
Proof-carrying code is a framework for the mechanical verification of safety properties of machine language programs, but the problem arises of quis custodiat ipsos custodes—wh...