HackerPapers

All paper pages

28734 retained paper pages. Page 283 of 288.

  1. Optimal Ordered Problem Solver

    Juergen Schmidhuber · 2002

  2. Logic programming in the context of multiparadigm programming: the Oz experience

    Peter Van Roy, Per Brand, Denys Duchier, Seif Haridi, Martin Henz, Christian Schulte · 2002

  3. Tetris is Hard, Even to Approximate

    Erik D. Demaine, Susan Hohenberger, David Liben-Nowell · 2002

  4. The Lazy Bureaucrat Scheduling Problem

    Esther M. Arkin, Michael A. Bender, Joseph S. B. Mitchell, Steven S. Skiena · 2002

  5. Intersection Types and Lambda Theories

    M. Dezani-Ciancaglini, S. Lusin · 2002

  6. Survey propagation: an algorithm for satisfiability

    A. Braunstein, M. Mezard, R. Zecchina · 2002

  7. PHORMA: Perfectly Hashable Order Restricted Multidimensional Arrays

    Lauro Lins, Sostenes Lins, Silvio Melo · 2003

  8. Postmortem Object Type Identification

    Bryan M. Cantrill · 2003

  9. Goedel Machines: Self-Referential Universal Problem Solvers Making Provably Optimal Self-Improvements

    Juergen Schmidhuber · 2003

  10. Debugging Backwards in Time

    Bil Lewis · 2003

  11. Nearly-Linear Time Algorithms for Graph Partitioning, Graph Sparsification, and Solving Linear Systems

    Daniel A. Spielman, Shang-Hua Teng · 2003

  12. A Very Short Self-Interpreter

    Oleg Mazonka, Daniel B. Cristofani · 2003

  13. Mapping Subsets of Scholarly Information

    Paul Ginsparg, Paul Houle, Thorsten Joachims, Jae-Hoon Sul · 2003

  14. Clustering by compression

    Rudi Cilibrasi, Paul Vitanyi · 2003

  15. Using biased coins as oracles

    Toby Ord, Tien D. Kieu · 2004

  16. Nested Intervals Tree Encoding with Continued Fractions

    Vadim Tropashko · 2004

  17. A Tribute to Alain Colmerauer

    Jacques Cohen · 2004

  18. Benchmarking Blunders and Things That Go Bump in the Night

    Neil J. Gunther · 2004

  19. P=NP

    Selmer Bringsjord, Joshua Taylor · 2004

  20. Calculus on Graphs

    Joel Friedman, Jean-Pierre Tillich · 2004

  21. Hash sort: A linear time complexity multiple-dimensional sort algorithm

    William F. Gilreath · 2004

  22. An Analysis of the Skype Peer-to-Peer Internet Telephony Protocol

    Salman A. Baset, Henning Schulzrinne · 2004

  23. Limits of Rush Hour Logic Complexity

    John Tromp, Rudi Cilibrasi · 2005

  24. Tensor manipulation in GPL Maxima

    Viktor Toth · 2005

  25. The Viterbi Algorithm: A Personal History

    G. David Forney · 2005

  26. Essential Incompleteness of Arithmetic Verified by Coq

    Russell O'Connor · 2005

  27. General Recursion via Coinductive Types

    Venanzio Capretta · 2005

  28. Sorting a Low-Entropy Sequence

    Travis Gagie · 2005

  29. DIMES: Let the Internet Measure Itself

    Yuval Shavitt, Eran Shir · 2005

  30. Haskell's overlooked object system

    Oleg Kiselyov, Ralf Laemmel · 2005

  31. Book review "The Haskell Road to Logic, Maths and Programming"

    Ralf Laemmel · 2005

  32. Fuzzy Extractors: How to Generate Strong Keys from Biometrics and Other Noisy Data

    Yevgeniy Dodis, Rafail Ostrovsky, Leonid Reyzin, Adam Smith · 2006

  33. Packrat Parsing: Simple, Powerful, Lazy, Linear Time

    Bryan Ford · 2006

  34. A Formal Measure of Machine Intelligence

    Shane Legg, Marcus Hutter · 2006

  35. Efficient Operation of Coded Packet Networks

    Desmond S. Lun · 2006

  36. An Algorithm to Determine Peer-Reviewers

    Marko A. Rodriguez, Johan Bollen · 2006

  37. Average-Case Complexity

    Andrej Bogdanov, Luca Trevisan · 2006

  38. Scheduling Algorithms for Procrastinators

    Michael A. Bender, Raphael Clifford, Kostas Tsichlas · 2006

  39. Ten Incredibly Dangerous Software Ideas

    G. A. Maney · 2006

  40. How To Break Anonymity of the Netflix Prize Dataset

    Arvind Narayanan, Vitaly Shmatikov · 2006

  41. Report on article: P=NP Linear programming formulation of the Traveling Salesman Problem

    Radoslaw Hofman · 2006

  42. Hierarchical Cooperation Achieves Optimal Capacity Scaling in Ad Hoc Networks

    Ayfer Ozgur, Olivier Leveque, David Tse · 2006

  43. On the Complexity of Processing Massive, Unordered, Distributed Data

    Jon Feldman, S. Muthukrishnan, Anastasios Sidiropoulos, Cliff Stein, Zoya Svitkina · 2006

  44. Assessing the cognitive consequences of the object-oriented approach: a survey of empirical research on object-oriented design by individuals and teams

    Françoise Détienne · 2006

  45. Algebraic Signal Processing Theory

    Markus Püschel, José M. F. Moura · 2006

  46. Bounds on Space-Time-Frequency Dimensionality

    Leif Hanlen, Thushara Abhayapala · 2007

  47. Variations on the Fibonacci Universal Code

    James Harold Thomas · 2007

  48. Queues Are Databases

    Jim Gray · 2007

  49. A Measure of Transaction Processing 20 Years Later

    Jim Gray · 2007

  50. Indexing the Sphere with the Hierarchical Triangular Mesh

    Alexander S. Szalay, Jim Gray, George Fekete, Peter Z. Kunszt, Peter Kukol, Ani Thakar · 2007

  51. To BLOB or Not To BLOB: Large Object Storage in a Database or a Filesystem?

    Russell Sears, Catharine Van Ingen, Jim Gray · 2007

  52. The pitfalls of verifying floating-point computations

    David Monniaux · 2007

  53. Algorithmic Information Theory: a brief non-technical guide to the field

    Marcus Hutter · 2007

  54. The Foundation of a Generic Theorem Prover

    Lawrence C. Paulson · 2000

  55. Designing a Theorem Prover

    Lawrence C. Paulson · 2001

  56. Textbook examples of recursion

    Donald E. Knuth · 1991

  57. Theory and practice

    Donald E. Knuth · 1991

  58. The Revolution Yet to Happen

    C. Gordon Bell, Jim Gray · 1998

  59. A Brief History of the Internet

    Barry M. Leiner, Vinton G. Cerf, David D. Clark, Robert E. Kahn, Leonard Kleinrock, Daniel C. Lynch, Jon Postel, Larry G. Roberts, Stephen Wolf · 1999

  60. Minimum Description Length Induction, Bayesianism, and Kolmogorov Complexity

    Paul Vitanyi, Ming Li · 1999

  61. The Symbol Grounding Problem

    Stevan Harnad · 1999

  62. An Introduction to Collective Intelligence

    David H. Wolpert, Kagan Tumer · 1999

  63. Regular coordinate systems for Schwarzschild and other spherical spacetimes

    Karl Martel, Eric Poisson · 2000

  64. Gravity with a dynamical preferred frame

    Ted Jacobson, David Mattingly · 2000

  65. The warp drive: hyper-fast travel within general relativity

    Miguel Alcubierre · 2000

  66. (Quantum) Space-Time as a Statistical Geometry of Fuzzy Lumps and the Connection with Random Metric Spaces

    Manfred Requardt, Sisir Roy · 2000

  67. Derivation of the Einstein Equivalence Principle in a Class of Condensed Matter Theories

    I. Schmelzer · 2001

  68. The orientability of spacetime

    Mark J Hadley · 2002

  69. A note on the foundation of relativistic mechanics. II: Covariant hamiltonian general relativity

    Carlo Rovelli · 2002

  70. Sakharov's induced gravity: a modern perspective

    Matt Visser · 2002

  71. A generalization of the Lorentz ether to gravity with general-relativistic limit

    I. Schmelzer · 2002

  72. Reconcile Planck-scale discreteness and the Lorentz-Fitzgerald contraction

    Carlo Rovelli, Simone Speziale · 2002

  73. Is there a Darwinian Evolution of the Cosmos? - Some Comments on Lee Smolin's Theory of the Origin of Universes by Means of Natural Selection

    Ruediger Vaas · 2002

  74. Perturbative Quantum Gravity and its Relation to Gauge Theory

    Zvi Bern · 2002

  75. The quantum inequalities do not forbid spacetime shortcuts

    S. Krasnikov · 2002

  76. Asymptotics of 10j symbols

    John C. Baez, J. Daniel Christensen, Greg Egan · 2002

  77. Computers with closed timelike curves can solve hard problems

    Todd A. Brun · 2002

  78. Emergent Relativity

    R. B. Laughlin · 2003

  79. Exploring Large-scale Gravitational Quantization without h-bar in Planetary Systems, Galaxies, and the Universe

    Howard G. Preston, Franklin Potter · 2003

  80. Equation of Motion of Small Bodies in Relativity

    Jurgen Ehlers, Robert Geroch · 2003

  81. Quantum Gravity in Everyday Life: General Relativity as an Effective Field Theory

    C. P. Burgess · 2003

  82. Sagnac effect and pure geometry

    A. Tartaglia, M. L. Ruggiero · 2004

  83. Physical and Geometric Interpretations of the Riemann Tensor, Ricci Tensor, and Scalar Curvature

    Lee C. Loveridge · 2004

  84. About Lorentz invariance in a discrete quantum setting

    Etera R. Livine, Daniele Oriti · 2004

  85. Fundamental limitations on "warp drive" spacetimes

    Francisco S. N. Lobo, Matt Visser · 2004

  86. A review of conventional explanations of anomalous observations during solar eclipses

    Chris P. Duif · 2004

  87. Gravity as elasticity of spacetime: a paradigm to understand horizon thermodynamics and cosmological constant

    T. Padmanabhan · 2004

  88. Electromagnetic Magic: The Relativistically Rotating Disk

    D. Lynden-Bell · 2004

  89. The river model of black holes

    Andrew J. S. Hamilton, Jason P. Lisle · 2004

  90. The status of numerical relativity

    Miguel Alcubierre · 2004

  91. Relic Gravitational Waves and Cosmology

    L. P. Grishchuk · 2005

  92. The world problem: on the computability of the topology of 4-manifolds

    James R. van Meter · 2005

  93. A non-singular black hole model as a possible end-product of gravitational collapse

    Manasse R. Mbonye, Demosthenes Kazanas · 2005

  94. The Arrow of Time and the Initial Conditions of the Universe

    Robert M. Wald · 2005

  95. Anti-Gravitation

    S. Hossenfelder · 2005

  96. In an expanding universe, what doesn't expand?

    Richard H. Price, Joseph D. Romano · 2005

  97. A Note on Frame Dragging

    R. F. O'Connell · 2005

  98. Can Gravitons Be Detected?

    Tony Rothman, Stephen Boughn · 2006

  99. Experimental Detection of the Gravitomagnetic London Moment

    M. Tajmar, F. Plesescu, K. Marhold, C. J. de Matos · 2006

  100. Is the physics within the Solar system really understood?

    C. Lämmerzahl, O. Preuss, H. Dittus · 2006