Thomas Powell

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2025
On the asymptotic behaviour of stochastic processes, with applications to supermartingale convergence, Dvoretzky's approximation theorem, and stochastic quasi-Fejér monotonicity.
CoRR, April, 2025

On the algorithmic structure of Dialectica programs.
CoRR, January, 2025

2024
Report on BCTCS 2024.
Bull. EATCS, 2024

Asymptotic regularity of a generalised stochastic Halpern scheme with applications.
CoRR, 2024

A quantitative Robbins-Siegmund theorem.
CoRR, 2024

2023
A computational study of a class of recursive inequalities.
J. Log. Anal., 2023

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language.
CoRR, 2023

2021
Influence Pathways: Mapping the Narratives and Psychological Effects of Russian COVID-19 Disinformation.
Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2021

2017
Assessing the Quality of Electronic Health Record Data and Patient Self-Report Data.
Proceedings of the 22nd International Conference on Information Quality, 2017


  Loading...