Nathaniel Miller

According to our database, Nathaniel Miller authored at least 11 papers between 2000 and 2021.

Collaborative distances:

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

2021

The UW Virtual Brain Project: An immersive approach to teaching functional neuroanatomy.

Karen B. Schloss, Melissa A. Schoenlein, Ross Tredinnick, Simon Smith, Nathaniel Miller, Chris Racey, Christian Castro, Bas Rokers

CoRR, 2021

2015

Simultaneous Tracking of Multiple Ground Targets from a Multirotor Unmanned Aerial Vehicle.

Nathaniel Miller, Jonathan D. Rogers

J. Aerosp. Inf. Syst., 2015

2013

Getting to the source: where does Wikipedia get its information from?

Heather Ford, Shilad Sen, David R. Musicant, Nathaniel Miller

Proceedings of the 9th International Symposium on Open Collaboration, Hong Kong, China, August 05, 2013

2012

On the Inconsistency of Mumma's Eu.

Nathaniel Miller

Notre Dame J. Formal Log., 2012

CDEG: Computerized Diagrammatic Euclidean Geometry 2.0.

Nathaniel Miller

Proceedings of the Diagrammatic Representation and Inference, 2012

2011

Macademia: semantic visualization of research interests.

Shilad Sen, Henry Charlton, Ryan Kerwin, Jeremy Lim, Brandon Maus, Nathaniel Miller, Megan R. Naminski, Alex Schneeman, Anthony Tran, Ernesto Nunes, E. Isaac Sparling

Proceedings of the 16th International Conference on Intelligent User Interfaces, 2011

2006

A Brief Proof of the Full Completeness of Shin's Venn Diagram Proof System.

Nathaniel Miller

J. Philos. Log., 2006

Computational complexity of diagram satisfaction in Euclidean geometry.

Nathaniel Miller

J. Complex., 2006

Extended Abstract of <i>Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry</i>.

Nathaniel Miller

Proceedings of the Diagrammatic Representation and Inference, 4th International Conference, 2006

2002

CDEG: Computerized Diagrammatic Euclidean Geometry.

Nathaniel Miller

Proceedings of the Diagrammatic Representation and Inference, 2002

2000

Case Analysis in Euclidean Geometry: An Overview.

Nathaniel Miller

Proceedings of the Theory and Application of Diagrams, First International Conference, 2000