Citation
Rushby, J. (2013, 24-27 September). Logic and epistemology in safety cases. Paper presented at the International Conference on Computer Safety, Reliability and Security (SAFECOMP ’13), Toulouse, France.
Citation
Rushby, J. (2013, 24-27 September). Logic and epistemology in safety cases. Paper presented at the International Conference on Computer Safety, Reliability and Security (SAFECOMP ’13), Toulouse, France.
PEARL drifters pack an array of sensors into a compact autonomous device to gather data and signs of activity.
The Postsecondary Teaching with Technology Collaborative aims to strengthen teaching and learning, improve student outcomes, and reduce societal gaps.
Watch the video: A conversation with SRI’s David Parekh and David Leonhardt of the New York Times.