Nathaniel Miller

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