15474 search results - page 3047 / 3095 » Emergent process design |
114
click to vote
IANDC
2008
14 years 12 months ago
2008
We are interested in the design of automated procedures for analyzing the (in)security of cryptographic protocols in the Dolev-Yao model for a bounded number of sessions when we t...
BMCBI
2006
14 years 12 months ago
2006
Background: One of the most challenging aspects of protein-protein docking is the inclusion of flexibility into the docking procedure. We developed a postfilter where the grid-rep...
110
click to vote
BMCBI
2006
14 years 12 months ago
2006
Background: The use of exogenous small interfering RNAs (siRNAs) for gene silencing has quickly become a widespread molecular tool providing a powerful means for gene functional s...
BMCBI
2006
14 years 12 months ago
2006
Background: Gene function analysis often requires a complex and laborious sequence of laboratory and computer-based experiments. Choosing an effective experimental design generall...
BMCBI
2006
14 years 12 months ago
2006
Background: In order to maintain the most comprehensive structural annotation databases we must carry out regular updates for each proteome using the latest profile-profile fold r...