5964 search results - page 41 / 1193 » A theory of speculative computation |
126
Voted
FOCS
2008
IEEE
15 years 10 months ago
2008
IEEE
Razborov and Rudich have shown that so-called natural proofs are not useful for separating P from NP unless hard pseudorandom number generators do not exist. This famous result is...
158
click to vote
Lecture Notes
These lecture notes cover several topics such as Preliminaries on Modern Economics and Mathematics, Consumer Theory, Production Theory, Choice Under Uncertainty, Game Theory, Theor...
143
click to vote
HOA
1993
15 years 8 months ago
1993
Theory interpretation is a logical technique for relating one axiomatic theory to another with important applications in mathematics and computer science as well as in logic itself...
121
click to vote
JECR
2002
15 years 3 months ago
2002
means-end theory, widely used in market research, identifies three levels of abstraction
173
Voted
HPDC
2012
IEEE
13 years 6 months ago
2012
IEEE
Hadoop has become a critical component in today’s cloud environment. Ensuring good performance for Hadoop is paramount for the wide-range of applications built on top of it. In ...