14084 search results - page 2499 / 2817 » A Theory for Game Theories |
329
click to vote
POPL
2001
ACM
16 years 7 months ago
2001
ACM
We study the interaction of the "new" construct with a rich but common form of (first-order) communication. This interaction is crucial in security protocols, which are ...
211
click to vote
RECOMB
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. Protein motions, ranging from molecular flexibility to largescale conformational change, play an essential role in many biochemical processes. Despite the explosion in ou...
221
click to vote
RECOMB
2003
Springer
16 years 7 months ago
2003
Springer
We develop an integrated probabilistic model to combine protein physical interactions, genetic interactions, highly correlated gene expression network, protein complex data, and d...
201
click to vote
CADE
2005
Springer
16 years 7 months ago
2005
Springer
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof traces in first-order multi-sorted logic with equal...
191
click to vote
CADE
2005
Springer
16 years 7 months ago
2005
Springer
We present a fully proof-producing implementation of a quantifier elimination procedure for real closed fields. To our knowledge, this is the first generally useful proof-producing...