152 search results - page 31 / 31 » Formal Analysis of Passive Measurement Inference Techniques |
SLOGICA
2008
13 years 5 months ago
2008
In this paper we show how recent concepts from Dynamic Logic, and in particular from Dynamic Epistemic logic, can be used to model and interpret quantum behavior. Our main thesis ...
TCBB
2008
13 years 5 months ago
2008
Abstract-- Many statistical measures and algorithmic techniques have been proposed for studying residue coupling in protein families. Generally speaking, two residue positions are ...