1925 search results - page 40 / 385 » Theory research at Google |
STOC
2012
ACM
12 years 11 days ago
2012
ACM
In this paper we develop a new technique for proving lower bounds on the update time and query time of dynamic data structures in the cell probe model. With this technique, we pro...
COMSUR
2007
13 years 10 months ago
2007
This survey presents the information theory of wideband communication systems, a research area that became active in the last decade following technological and regulatory advance...
MST
2008
13 years 10 months ago
2008
Abstract. We outline a general theory of graph polynomials which covers all the examples we found in the vast literature, in particular, the chromatic polynomial, various generaliz...
TCS
2002
13 years 9 months ago
2002
DNA computing, or, more generally, molecular computing, is an exciting fast developing interdisciplinary area. Research in this area concerns theory, experiments, and applications...
AML
2008
13 years 10 months ago
2008
Leo Harrington showed that the second-order theory of arithmetic WKL0 is 1 1-conservative over the theory RCA0. Harrington's proof is model-theoretic, making use of a forcing...