How to run algorithmic information theory on a computer: Studying the limits of mathematical reasoning
- Gregory J. Chaitin
- 1996
- Complexity
Paper
Publications
24906 results for Exploratory Science
Atomic mechanism for giant magnetoresistance in layered CrFe
- R.K. Nesbet
- 1996
- Journal of Magnetism and Magnetic Materials
PaperThe posterior distribution of the fixed and random effects in a mixed-effects linear model
- David A. Harville
- Alan G. Zimmermann
- 1996
- Journal of Statistical Computation and Simulation
PaperSelectivity and cost estimation for joins based on random sampling
- Peter J. Haas
- Jeffrey F. Naughton
- et al.
- 1996
- Journal of Computer and System Sciences
PaperPrecisions on reaction monitoring from in-situ resistance measurements: Relations between such measurements and actual reaction kinetics
- S.-L. Zhang
- F.M. D'Heurle
- 1996
- Thin Solid Films
PaperCertifying permutations: noninteractive zero-knowledge based on any trapdoor permutation
- Mihir Bellare
- Moti Yung
- 1996
- Journal of Cryptology
PaperRecovery in the Calypso File System
- Murthy Devarakonda
- Bill Kish
- et al.
- 1996
- ACM Transactions on Computer Systems
PaperMolecular dynamics modeling of microstructure evolution during growth of amorphous carbon films
- J.N. Glosli
- M.R. Philpott
- et al.
- 1996
- Journal of Computer-Aided Materials Design
Paper193 nm photoresist r&d: the risk & challenge
- Donald C. Hofer
- Robert Allen
- et al.
- 1996
- J. Photopolym. Sci. Tech.
PaperFinding mixed strategies with small supports in extensive form games
- Daphne Koller
- Nimrod Megiddo
- 1996
- International Journal of Game Theory
Paper