Conference Paper June 22, 2021
What, Again? Automatic Deductive Synthesis of the Unification Algorithm
CVPR 2021 tutorial on Cross-view and Cross-modal Visual Geo-Localization
Article August 4, 2020
Measuring Chinese middle school students’ motivation using the Reduced Instructional Materials Motivation Survey (RIMMS): A validation study in the adaptive learning setting
Featured innovators, Startup, Story August 4, 2020
Featured Innovator: Rich Mahoney, Seismic
Mahoney is the founder of Seismic, an SRI International spinoff venture that is using robotics to write the future of wearable technology
Article April 13, 2020
Acute Cognitive Effects of the Hypocretin Receptor Antagonist Almorexant Relative to Zolpidem and Placebo: A Randomized Clinical Trial
Tech Report March 16, 2020
Deep Adaptive Semantic Logic (DASL): Compiling Declarative Knowledge into Deep Neural Networks
Announcements March 16, 2020
Largest-ever study of impact of Open Educational Resources in college reveals benefits of introducing OER courses on a broad scale
...courses along a degree pathway will take hold. “The courses were still being implemented through the life of the grant,” said Richard Sebastian, director of Open and Digital Learning at...
Story November 8, 2019
A brief introduction to quantum computing
...of computers as represented by Turing machines,” Beinoff showed that computers could operate under the laws of quantum mechanics. Shortly thereafter, Richard Feynmann (1982) wrote a paper titled “Simulating Physics...
October 5, 2019
The MetaCyc Database of Metabolic Pathways and Enzymes – A 2019 Update
Case Study Seismic
Wearable robotics for human augmentation
Richard J. Waldinger
Richard Waldinger, Ph.D., focuses on applying automatic deduction to artificial intelligence and software engineering. His research areas include program synthesis and verification, and planning. He has studied the use of...
...# Title Inventors US serial # Date 5913-2 ADAPTABLE INPUT/OUTPUT DEVICE Senanayake, Rukman; Denker, Grit; Lincoln, Patrick D.; Kornbluh, Roy D.; Lincoln, Sierra J.; Heydt, Richard P.; Aukes, Daniel M.;...