Author: SRI International
-
Probabilistic Inference Modulo Theories
We present SGDPLL(T ), an algorithm that solves probabilistic inference modulo theories, that is, inference problems over probabilistic models defined via a logic theory provided as a parameter.
-
DoD R&D: Connecting Innovation Hubs
This week, SRI kicked off the first in a series of discussions with key research and technology leaders in federal government agencies, Congress and the private sector, exploring the best ways of identifying and nurturing new innovations and technologies that can help solve some of government’s most difficult challenges. Tuesday’s meeting focused on connecting US…
-
Diagnosing PARC’s Refrigerator Benchmark with Data-Driven Methods
Diagnosing real-world systems is a challenging task due to, e.g., complexity, measurement error and lack of control in experimentation.
-
Diagnosing PARC’s Refrigerator Benchmark with Data-Driven Methods
Diagnosing real-world systems is a challenging task due to, e.g., complexity, measurement error and lack of control in experimentation.
-
Professional Development to Support Instructional Improvement: Lessons from Research
This paper acknowledges the issue of nonstrategic use of professional development resources and describes lessons from research on how professional development could be better designed to achieve desired impacts on instruction and student learning.
-
Report Tackles Assessment Design for Next Generation Science Standards
If the new science standards could be summed up in one grand sentence, it would likely be – “It is not what you know, but how you use and apply what you know that makes a real difference for science learning.” The Next Generation Science Standards (NGSS) emphasize that all students should learn science by…
-
Electron beam pumping for high power deep-UV emitters
This presentation will discuss the challenges, illustrate the current status of materials/device development, and describe the necessary building blocks, which include highly conductive p-type cladding layers, sophisticated electron-blocking layers, and high performance active zones.
-
Polymer Spray Deposition: A Novel Aerosol-Based, Electrostatic Digital Deposition System for Additive Manufacturing
In order to create a feedstock aerosol for electrostatic deposition, PARC has developed the filament extension atomizer (FEA) which is capable of producing monodisperse small droplets from thermoplastics.
-
Issue Brief: Early Warning Systems
The brief describes early warning systems as a dropout prevention strategy based on a nationally representative sample of more than 2,000 U.S. public high schools.
-
Intelligent Coaching Systems in Higher-Order Applications: Lessons from Automated Content Creation Bottlenecks
This presentation describes two projects for interactive training that developed prototypes for automated content creation plus a third project that illustrates a suite of learning object libraries to support engineering instruction.
-
Integrated Digital Printing of Flexible Circuits for Wireless Sensing
At PARC, we combine high functionality c-Si CMOS and digitally printed components and interconnects to create an integrated platform that can read and process multiple discrete sensors.
-
Automatic Speaker Recognition for Authenticating Users in the Internet of Things
Our world is becoming increasingly mobile. People rely on their mobile devices not only for communication, but for applications from commerce, to home automation and security, to banking, to entertainment, just to name a few. Coupled with today’s expanding environment of web-connected “smart” devices—known as the Internet of Things (IoT)—it’s more critical than ever for…