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 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...


Grit Denker

...# 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.;...

close check icon

Message Sent

Success! - Thank you for your interest.

share dwonload plus email external external project copy play call directions linkedin