Joshua Miller

According to our database, Joshua Miller authored at least 4 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Formalization of Asymptotic Convergence for Stationary Iterative Methods.

Mohit Tekriwal, Joshua Miller, Jean-Baptiste Jeannin

Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

2022

Formal verification of iterative convergence of numerical algorithms.

Mohit Tekriwal, Joshua Miller, Jean-Baptiste Jeannin

CoRR, 2022

Attention Is Not Enough.

Joshua Miller, Shawheen Naderi, Chaning Mullinax, Joshua L. Phillips

Proceedings of the 44th Annual Meeting of the Cognitive Science Society, 2022

2020

Inpatient Point of Care Glucose Performance Analysis Using Paired Timestamps.

Chao-Wei Tsai, Kayley Abell-Hart, Joshua Miller, Danielle J. Kelly, Mary M. Saltz, Veena Lingam

Proceedings of the AMIA 2020, 2020