Nathaniel Miller

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

2015
Simultaneous Tracking of Multiple Ground Targets from a Multirotor Unmanned Aerial Vehicle.
J. Aerosp. Inf. Syst., 2015

2013
Getting to the source: where does Wikipedia get its information from?
Proceedings of the 9th International Symposium on Open Collaboration, Hong Kong, China, August 05, 2013

2012
On the Inconsistency of Mumma's Eu.
Notre Dame J. Formal Log., 2012

CDEG: Computerized Diagrammatic Euclidean Geometry 2.0.
Proceedings of the Diagrammatic Representation and Inference, 2012

2011
Macademia: semantic visualization of research interests.
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.
J. Philos. Log., 2006

Computational complexity of diagram satisfaction in Euclidean geometry.
J. Complex., 2006

Extended Abstract of <i>Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry</i>.
Proceedings of the Diagrammatic Representation and Inference, 4th International Conference, 2006

2002
CDEG: Computerized Diagrammatic Euclidean Geometry.
Proceedings of the Diagrammatic Representation and Inference, 2002

2000
Case Analysis in Euclidean Geometry: An Overview.
Proceedings of the Theory and Application of Diagrams, First International Conference, 2000


  Loading...