How to run algorithmic information theory on a computer: Studying the limits of mathematical reasoning
- Gregory J. Chaitin
- 1996
- Complexity
Paper
Publications
9299 results for Computer Science
Latest Developments in Operating Systems
- Nayeem Islam
- Roy H. Campbell
- 1996
- Communications of the ACM
PaperA strategy for the efficient full-wave description of complex waveguide networks
- Luciano Tarricone
- Marco Dionigi
- et al.
- 1996
- International Journal of RF and Microwave Computer-Aided Engineering
PaperOptical data storage media
- T.W. McDaniel
- P.C. Arnett
- 1996
- IBM J. Res. Dev
PaperA new version of algorithmic information theory
- G.J. Chaitin
- 1996
- Complexity
PaperLocal shape control for free-form solids in exact CSG representation
- Baining Guo
- Jai Menon
- 1996
- CAD Computer Aided Design
PaperThin-film media - Current and future technology
- K. Johnson
- C.M. Mate
- et al.
- 1996
- IBM J. Res. Dev
PaperNew Paradigms for Using Computers
- Ted Selker
- 1996
- Communications of the ACM
PaperComparing Information Without Leaking It
- Ronald Fagin
- Moni Naor
- et al.
- 1996
- Communications of the ACM
PaperAccelerated testing for cosmic soft-error rate
- J.F. Ziegler
- H.P. Muhlfeld
- et al.
- 1996
- IBM J. Res. Dev
Paper