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.
Researchers at SRI are developing tools to help clinicians keep a close eye on depression, PTSD, and other mental health issues.
A new spray-drying technology could cut high energy costs and increase efficiency across large industries.
Wearable cameras and microphones enable the system to provide feedback through voice, text, and graphics.