Yi Zhou, Parikshit Ram, et al.
ICLR 2023
Paper
The halting probability via Wang tiles
Abstract
Using work of Hao Wang, we exhibit a tiling characterization of the bits of the halting probability.
Related
Leo Liberti, James Ostrowski
Journal of Global Optimization
Conference paper
Characterization of line width variation
Alfred K. Wong, Antoinette F. Molless, et al.
SPIE Advanced Lithography 2000
Shashanka Ubaru, Lior Horesh, et al.
Journal of Biomedical Informatics