Sciweavers

1418 search results - page 64 / 284
» How to Explain Mistakes
Sort
View
MOC
2002
149views more  MOC 2002»
13 years 9 months ago
Sparse squares of polynomials
We answer a question left open in an article of Coppersmith and Davenport which proved the existence of polynomials whose powers are sparse, and in particular polynomials whose squ...
John Abbott
PVLDB
2008
128views more  PVLDB 2008»
13 years 9 months ago
Brighthouse: an analytic data warehouse for ad-hoc queries
Brighthouse is a column-oriented data warehouse with an automatically tuned, ultra small overhead metadata layer called Knowledge Grid, that is used as an alternative to classical...
Dominik Slezak, Jakub Wroblewski, Victoria Eastwoo...
SCHOLARPEDIA
2008
187views more  SCHOLARPEDIA 2008»
13 years 9 months ago
Bekenstein-Hawking entropy
We demonstrate how Sakharov's idea of induced gravity allows one to explain the statistical-mechanical origin of the entropy of a black hole. According to this idea, gravity b...
Jacob Bekenstein
ICRA
2010
IEEE
185views Robotics» more  ICRA 2010»
13 years 8 months ago
Graph based distributed control of non-holonomic vehicles endowed with local positioning information engaged in escorting missio
— Using graph theory, this paper investigates how a group of robots, endowed with local positioning (range and bearing from other robots), can be engaged in a leaderfollowing mis...
Riccardo Falconi, Sven Gowal, Alcherio Martinoli
LPAR
2010
Springer
13 years 8 months ago
Generating Counterexamples for Structural Inductions by Exploiting Nonstandard Models
Induction proofs often fail because the stated theorem is noninductive, in which case the user must strengthen the theorem or prove auxiliary properties before performing the induc...
Jasmin Christian Blanchette, Koen Claessen