Understanding how people trust autonomous systems is crucial to achieving better performance and safety in human-autonomy teaming. Trust in automation is a rich and complex process that has given rise ...

Back to modal HoTT. If what was considered last time were all, one would wonder what the fuss was about. Now, there’s much that needs to be said about type dependency, types as propositions, sets, ...

Biology differs fundamentally from the physics that underlies it. This paper 1 proposes that the essential difference is that while physics at its fundamental level is Hamiltonian, in biology, once ...

John is writing about “concepts of sameness” for Elaine Landry’s book Category Theory for the Working Philosopher, and has been posting some of his thoughts and drafts. I’m writing for the same book ...

Suggested Citation: "Part I HISTORY - 2 Putting Principles into Practice: Understanding History." National Research Council. 2005. How Students Learn: History, Mathematics, and Science in the ...