James A. Walsh

1. A robust proof-theoretic well-ordering
   2022/01/14 by James A. Walsh, Walsh, James · 1 citation
   Computer Science · Psychology · #Advanced Algebra and Logic #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Philosophy and Theoretical Science
2. Evitable iterates of the consistency operator
   2022/02/02 by James A. Walsh, Walsh, James · 1 citation
   Computer Science · Mathematics · #Advanced Topology and Set Theory #Complexity and Algorithms in Graphs #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO)
3. Near Real-Time Social Distance Estimation in London
   2020/12/07 by James A. Walsh, James Walsh, Walsh, James +17 · 1 voice
   Computer Science · Social Sciences · #Computers and Society (cs.CY) #FOS: Computer and information sciences #Human Mobility and Location-Based Analysis #Machine Learning (cs.LG) #Video Surveillance and Tracking Methods #cs.CY #cs.LG