Output details
11 - Computer Science and Informatics
Aston University
Computing with noise: phase transitions in Boolean formulas
<10> This paper offers a new benchmark for the theoretical computer science community working on noisy computation, providing a unifying Ising-spin system approach integrating all theoretical results in the area. Based on typical rather than worst case analysis, it provides results that are inaccessible via existing methods. The work, supported by the Leverhulme Trust (£135k), has received international recognition through personal invited talks including: 5 international conference presentations (Bellaterra Spain, Max-Planck Institute, Satellite Meeting of STATPHYS-24, Korea), 2 by invitation, and invited talks in 4 other institutes worldwide. It resulted in international collaborations (Aalto-Finland, HKUST-Hong Kong) and follow-up publications.