Jeff Calder

En masse scanning and semi-automated surfacing of small objects using micro-CT

Modern archaeological studies increasingly utilize three-dimensional virtual representations of objects, high resolution scanning, large datasets, computationally intensive analyses, and machine learning. With higher resolution scans, challenges surrounding computational power, m...

Five-expert PDE: lean formalization

Lean formalization for the explicit solution of the 5-expert PDE.