Joshua Miller

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 4

Top Topics

Formal Verification

Image Reconstruction From Projections

Iterative Methods

Top Venues

Publications

Mohit Tekriwal, Joshua Miller, Jean-Baptiste Jeannin
Formalization of Asymptotic Convergence for Stationary Iterative Methods. NFM (2024)
Joshua Miller, Shawheen Naderi, Chaning Mullinax, Joshua L. Phillips
Attention Is Not Enough. CogSci (2022)
Mohit Tekriwal, Joshua Miller, Jean-Baptiste Jeannin
Formal verification of iterative convergence of numerical algorithms. CoRR (2022)
Chao-Wei Tsai, Kayley Abell-Hart, Joshua Miller, Danielle J. Kelly, Mary M. Saltz, Veena Lingam
Inpatient Point of Care Glucose Performance Analysis Using Paired Timestamps. AMIA (2020)