- Referenced in 508 articles
- automatically establish many simple theorems. An Oracle mechanism gives access to external programs such ... implementing combinations of deduction, execution, and property checking...
- Referenced in 27 articles
- procedure is shown to have the oracle property in that asymptotically it performs as well...
- Referenced in 73 articles
- numerical convergence properties, for optimizing the penalized likelihood. Furthermore, we provide oracle results which yield...
- Referenced in 78 articles
- achieve a remarkable list of security properties. As a result MQV has been widely standardized ... formally proved to hold in the random oracle model under the computational Diffie-Hellman assumption ... Schnorr identification scheme, that have the property that both the challenger and signer can compute...
- Referenced in 38 articles
- NTRU-type lattices. We explore the properties of general APPR-CVP based signature schemes ... transcript attacks even in the random oracle model. We then introduce the idea of using ... achieved while maintaining attractive efficiency properties...
- Referenced in 7 articles
- favorable global convergence properties and requires exactly the same oracle. It is based...
- Referenced in 5 articles
- reconstruction, where all necessary properties are derived inside Isabelle/HOL without oracles. Apart from the certification...
- Referenced in 11 articles
- proof. We show that for programs and properties over a decidable theory, the algorithm ... exists. However, efficiency depends on an oracle for quantifier elimination (QE). For Boolean programs...
- Referenced in 11 articles
- however, little is known about the distributional properties of the estimators beyond the Gaussian setting ... setting under mild assumptions, without relying on oracle model selection results. ROCKET requires the same...
- Referenced in 1 article
- artifacts that can be leveraged both as property-based test generators and as a source ... validation for results (i.e., as test oracles). Experimental results, on both industrial and open source...
- Referenced in 360 articles
- The goal of the CGAL Open Source Project...
- Referenced in 367 articles
- Algorithm 583: LSQR: Sparse Linear Equations and Least...
- Referenced in 5957 articles
- Almost any workflow involves computing results, and that...
- Referenced in 12309 articles
- MATLAB® is a high-level language and interactive...
- Referenced in 8601 articles
- R is a language and environment for statistical...
- Referenced in 20 articles
- FoCs -- automatic generation of simulation checkers from formal...
- Referenced in 170 articles
- GOLOG: A logic programming language for dynamic domains...
- Referenced in 601 articles
- S-PLUS is a powerful environment for statistical...
- Referenced in 47 articles
- Simultaneous regression shrinkage, variable selection, and supervised clustering...
- Referenced in 712 articles
- Spin is a popular open-source software tool...