1322 search results - page 86 / 265 » Unsound Theorem Proving |
CORR
2011
Springer
13 years 2 months ago
2011
Springer
Abstract. Notoriously, quantum computation shatters complexity theory, but is innocuous to computability theory [17]. Yet several works have shown how quantum theory as it stands c...
NFM
2011
13 years 2 months ago
2011
A safety claim for a system is a statement that the system, which is subject to hazardous conditions, satisfies a given set of properties. Following work by John Rushby and Bev Li...
RSA
2011
13 years 2 months ago
2011
We prove that for fixed integer D and positive reals α and γ, there exists a constant C0 such that for all p satisfying p(n) ≥ C0/n, the random graph G(n, p) asymptotically a...
JMLR
2010
13 years 2 months ago
2010
In this paper, we study the problem of learning a matrix W from a set of linear measurements. Our formulation consists in solving an optimization problem which involves regulariza...
SIAMMA
2010
13 years 2 months ago
2010
ABSTRACT. We prove the so-called generalized Haff's law yielding the optimal algebraic cooling rate of the temperature of a granular gas described by the homogeneous Boltzmann...