Nathaniel Miller

Publication Activity (10 Years)

Years Active: 2000-2021
Publications (10 Years): 2

Top Topics

Curriculum Development

Immersive Virtual Environments

Virtual Laboratories

Top Venues

J. Aerosp. Inf. Syst.

Publications

Karen B. Schloss, Melissa A. Schoenlein, Ross Tredinnick, Simon Smith, Nathaniel Miller, Chris Racey, Christian Castro, Bas Rokers
The UW Virtual Brain Project: An immersive approach to teaching functional neuroanatomy. CoRR (2021)
Nathaniel Miller, Jonathan D. Rogers
Simultaneous Tracking of Multiple Ground Targets from a Multirotor Unmanned Aerial Vehicle. J. Aerosp. Inf. Syst. 12 (3) (2015)
Heather Ford, Shilad Sen, David R. Musicant, Nathaniel Miller
Getting to the source: where does Wikipedia get its information from? OpenSym (2013)
Nathaniel Miller
CDEG: Computerized Diagrammatic Euclidean Geometry 2.0. Diagrams (2012)
Nathaniel Miller
On the Inconsistency of Mumma's Eu. Notre Dame J. Formal Log. 53 (1) (2012)
Shilad Sen, Henry Charlton, Ryan Kerwin, Jeremy Lim, Brandon Maus, Nathaniel Miller, Megan R. Naminski, Alex Schneeman, Anthony Tran, Ernesto Nunes, E. Isaac Sparling
Macademia: semantic visualization of research interests. IUI (2011)
Nathaniel Miller
Computational complexity of diagram satisfaction in Euclidean geometry. J. Complex. 22 (2) (2006)
Nathaniel Miller
A Brief Proof of the Full Completeness of Shin's Venn Diagram Proof System. J. Philos. Log. 35 (3) (2006)
Nathaniel Miller
. Diagrams (2006)
Nathaniel Miller
CDEG: Computerized Diagrammatic Euclidean Geometry. Diagrams (2002)
Nathaniel Miller
Case Analysis in Euclidean Geometry: An Overview. Diagrams (2000)