7924 search results - page 32 / 1585 » Non-Malleable Functions and Their Applications |
ICISC
2008
13 years 9 months ago
2008
Secure Evaluation of Private Functions (PF-SFE) allows two parties to compute a private function which is known by one party only on private data of both. It is known that PF-SFE c...
BMCBI
2010
13 years 7 months ago
2010
Background: The ability to design thermostable proteins is theoretically important and practically useful. Robust and accurate algorithms, however, remain elusive. One critical pr...
CVPR
2007
IEEE
14 years 9 months ago
2007
IEEE
JMLR
2006
2006
Geometric Variance Reduction in Markov Chains: Application to Value Function and Gradient Estimation
13 years 7 months ago
We study a sequential variance reduction technique for Monte Carlo estimation of functionals in Markov Chains. The method is based on designing sequential control variates using s...
CAV
2011
Springer
12 years 11 months ago
2011
Springer
Abstract. Quantified Boolean formulae (QBF) allow compact encoding of many decision problems. Their importance motivated the development of fast QBF solvers. Certifying the result...