462 search results - page 93 / 93 » Verifying Properties of Neural Networks |
83
Voted
ESOP
2008
Springer
15 years 1 days ago
2008
Springer
In an optimistic approach to security, one can often simplify protocol design by relying on audit logs, which can be analyzed a posteriori. Such auditing is widely used in practice...
86
Voted
BMCBI
2006
14 years 10 months ago
2006
Background: Small interfering RNAs (siRNAs) have become an important tool in cell and molecular biology. Reliable design of siRNA molecules is essential for the needs of large fun...