Compression of enumerations and gain George Barmpalias, Xiaoyan Zhang, and Bohua Zhan Submitted. Summary PDF BibTex Abstract (IMS 2023) |
Randomness below complete theories of arithmetic George Barmpalias and Wei Wang Information and Computation 290 (2023) Link Summary PDF BibTex Abstract (CCR 2023) |
Compression of data streams down to their information content George Barmpalias and Andy Lewis-Pye IEEE Transactions on Information Theory 65(7) (2019). Summary PDF BibTex GitHub Poster (11MB) |
Minority population in the one-dimensional Schelling model of segregation George Barmpalias, Richard Elwes and Andy Lewis-Pye Journal of Statistical Physics 173(5), 2018, 1408--1458. Download. Summary PDF BibTex GitHub Poster (10MB) |
Digital morphogenesis via Schelling segregation George Barmpalias, Richard Elwes and Andy Lewis-Pye Nonlinearity 31 (2018) 1593-1638 Answers a question of Brandt, Immorlica, Kamath and Kleinberg Summary PDF BibTex GitHub Poster (10MB) |
Differences of halting probabilities George Barmpalias and Andy Lewis-Pye Journal of Computer and System Sciences 89 (2017) 349--360. Answers a question of Becher, Figueira, Grigorieff, and Miller, and Nies Summary PDF BibTex |
Computing halting probabilities from other halting probabilities George Barmpalias and Andy Lewis-Pye Theoretical Computer Science 660 (2017) 16-22. Summary PDF BibTex |
Optimal asymptotic bounds on the oracle use in computations from Chaitin's Omega George Barmpalias, Nan Fang and Andy Lewis-Pye Journal of Computer and System Sciences 82 (2016) 1283-1299. Summary PDF BibTex |
Lower bounds on the redundancy in computations from random oracles via betting strategies with restricted wagers George Barmpalias, Andy Lewis-Pye and Jason Teutsch Information and Computation 251 (2016) 287-300. Summary PDF BibTex |
Unperturbed Schelling Segregation in Two and Three Dimensions George Barmpalias, Richard Elwes and Andy Lewis-Pye Journal of Statistical Physics 164(6) (2016) 1460-1487. Summary PDF BibTex GitHub |
Tipping Points in 1-Dimensional Schelling Models with Switching Agents George Barmpalias, Richard Elwes and Andy Lewis-Pye Journal of Statistical Physics (2015) 158:806-852 Summary PDF BibTex GitHub |
The typical Turing degree George Barmpalias, A. R. Day and Andrew E.M. Lewis Proc. Lond. Math. Soc. (2014) 109 (1). pp. 1-39. Summary PDF BibTex |
Analogues of Chaitin's Omega in the computably enumerable sets George Barmpalias, Rupert Holzl, Andrew E.M. Lewis and Wolfgang Merkle Information Processing Letters (2013) 113(5-6):171-178. Summary PDF BibTex |
Measure and Cupping in the Turing Degrees George Barmpalias and Andrew E.M. Lewis Proceedings of the American Mathematical Society Volume 140, Number 10 (2012) 3607-3622. Answers a question of Jockusch Summary PDF BibTex |
Chaitin's halting probability and the compression of strings using oracles George Barmpalias and Andrew E.M. Lewis Proc. R. Soc. A (2011) 467, 2912-2926. Answers a question of Miller Summary PDF BibTex |
The Importance of $\Pi^0_1$ Classes in Effective Randomness George Barmpalias, Andrew E.M. Lewis and K.-M. Ng Journal of Symbolic Logic. Volume 75, Number 1 (2010) 387-400 Summary PDF BibTex |
$\Pi^0_1$ classes, LR degrees and Turing degrees George Barmpalias, Andrew E.M. Lewis and Frank Stephan Annals of Pure and Applied Logic. Volume 156, Issue 1 (2008) pages 21-38 Summary PDF BibTex |
Randomness, Lowness and Degrees George Barmpalias, Andrew E.M. Lewis and Mariya Soskova Journal of Symbolic Logic. vol.73, Issue 2, pp. 559-577 (2008) Summary PDF BibTex |
Randomness and the Linear degrees of computability George Barmpalias and Andrew E.M. Lewis Annals of Pure and Applied Logic Volume 145, Issue 3, (2007), pages 252-257 Summary PDF BibTex |
The Hypersimple-free c.e. wtt degrees are dense in the c.e. wtt degrees George Barmpalias and Andrew E.M. Lewis Notre Dame Journal of Formal Logic Volume 47 Issue 3 (2006) 361-370 Summary PDF BibTex |
A c.e. real that cannot be sw-computed by any $\Omega$ number George Barmpalias and Andrew E.M. Lewis Notre Dame Journal of Formal Logic Volume 47 Issue 2 (2006) 197-209 Summary PDF BibTex |
Random Reals and Lipschitz Continuity George Barmpalias and Andrew E.M. Lewis Mathematical Structures in Computer Science Volume 16, issue 5 (2006) 737-749 Summary PDF BibTex |
The $ibT$ Degrees of C.E. Sets are Not Dense George Barmpalias and Andrew E.M. Lewis Annals of Pure and Applied Logic Volume 141, Issues 1-2 (2006) 51-60 Summary PDF BibTex |
A note on the differences of computably enumerable reals George Barmpalias and Andy Lewis-Pye Proceedings of the International Symposium on Computability and Complexity (in honour of Rod Downey's 60th birthday), Lecture Notes in Computer Science 10010 Springer, 2017. Summary PDF BibTex |
Digital morphogenesis via Schelling segregation George Barmpalias, Richard Elwes and Andy Lewis-Pye FOCS 2014, 55th Annual IEEE Symposium on Foundations of Computer Science, Oct. 18-21, Philadelphia. Watch our presentation in FOCS 2014. Also see Elwes' blog post and our poster which won the Royal Society Picturing Sciencecompetition. Summary PDF BibTex |
A cappable almost everywhere dominating computably enumerable degree George Barmpalias and Antonio Montalban Electronic Notes in Theoretical Computer Science Volume 167 (2007) 17-31. Proceedings of the Third International Conference on Computability and Complexity in Analysis (CCA 2006) Summary PDF BibTex |
Limits of the Kucera-Gacs coding method George Barmpalias and Andy Lewis-Pye SEALS (South Eastern Logic Symposium) Volume in Logic. Eds. D.Cenzer . World Scientific 2018. Summary PDF BibTex |
The information content of typical reals George Barmpalias and Andy Lewis-Pye In Turing's Ideas - Their Significance and Impact G. Sommaruga, T. Strahm (eds.),Basel, Birkhauser / Springer Basel, 2014. Summary PDF BibTex |
$K$-trivial closed sets and continuous functions George Barmpalias, D. Cenzer, J. Remmel and R. Weber CIE 2007, Computation and Logic in the Real World, Third Computability in Europe conference Siena, Italy, June 2007, S.B. Cooper, B. Loewe and A. Sorbi (Eds.) Springer Lecture Notes in Computer Science 4497 (2007), 135-145 Summary PDF BibTex |
Working with the LR Degrees George Barmpalias, Andrew E.M. Lewis, Mariya Soskova Theory and Applications of Models of Computation: 4th International Conference TAMC 2007, Shanghai, China, May 2007, Proceedings (J.-Y. Cai, S.B. Cooper, H. Zhu) Pages 89-99. Springer Lecture Notes in Computer Science, LNCS 4484, 2007 Summary PDF BibTex |
Immunity properties and the n-c.e. hierarchy George Barmpalias, Bahareh Afshari and S. Barry Cooper Proceedings of the Third Annual Conference on Theory and Applications of Models of Computation TAMC06, Beijing, May 2006 (Jin-Yi Cai, S. Barry Cooper, Angsheng Li) Springer Lecture Notes in Computer Science 3959 (2006) 694-703 . Summary PDF BibTex |
PhD Thesis: | Computability and Applications to Analysis, U. of Leeds, Oct 2004 Summary PDF BibTex |