SRI INTERNATIONAL

SRI International is an independent, nonprofit research institute with a rich history of supporting government and industry. For 75 years, SRI has led the discovery and design of ground-breaking products, technologies and industries – collaborating across technical and scientific disciplines to generate real innovation and create high value for our clients. LIFBASE SPECTROSCOPY TOOL LIFBASE Spectroscopy Tool. LIFBASE is a free software program to chart the spectroscopy of diatomic molecules that is available as freeware from SRI. The software is compatible with all 32-bit Windows versions. No support is available. Download LIFBASE software here. VALS™ MARKET RESEARCH The original VALS, launched by SRI in 1978, was a response to SRI studies of the fragmentation of U.S. society in the 1960s and the implications of those changes. The 1960s was also when the advertising industry was transforming to integrated marketing. Advertising visionaries encouraged SRI to extend its work into a marketing tool. EARLY CHILDHOOD EDUCATION DURING THE COVID-19 PANDEMIC 1 SUMMARY The COVID-19 pandemic has disrupted the provision of early childhood education in Arkansas and across the United States. In partnership with the Arkansas Division of Child BAKER HUGHES ACQUIRES EXCLUSIVE LICENSE FROM SRI Agreement further expands and complements Baker Hughes CCUS technology portfolio offering to strategically position for new energy frontiers Mixed Salt Process technology enables significant carbon capture separation cost reductions, providing Total Cost of Ownership savings for energy and industrial operators to decarbonize operations CCUS technologies are critical for putting INNOVATION STRATEGY & DESIGN Innovation strategy & design. At SRI, innovation is more than just big ideas—it means applying cutting-edge concepts to address real needs. We help develop the systems that support innovation and technology, and we apply the methodologies that generate more creative solutions for challenging problems. Contact Us. SYNFINI™ AUTOMATED CHEMISTRY PLATFORM The solution. SRI Biosciences has developed SynFini™, a suite of tools that leverages AI to automate the translation of ideas into testable physical molecules. The SynFini platform helps scientists maximize time spent on what to make, rather than how to make by accelerating chemistry

SIGN IN · GITLAB

Sign in · GitLab. Docs and help: SRI's GitLab documentation. New users should read this after logging in! Mattermost GitLab channel. devops-help@sri.com.

NLTS2: HOME

Welcome to NLTS2. Welcome to the Web home of the National Longitudinal Transition Study-2 (NLTS2)! NLTS2 was funded by the U.S. Department of Education and documented the experiences of a national sample of students who were 13 to 16 years of age in 2000 as they moved from secondary school into adult roles. They were 21 to 25 years old at the final data collection in 2009. LESSON 3: UNIQUE PROPERTIES AT THE NANOSCALE TEACHER MATERIALS 2 3 Size-Dependent Properties How do properties change at the nanoscale? 4 Properties of a Material • A property describes how a material acts under certain conditions • Types of properties – Optical (e.g. color, transparency)

SRI INTERNATIONAL

SRI International is an independent, nonprofit research institute with a rich history of supporting government and industry. For 75 years, SRI has led the discovery and design of ground-breaking products, technologies and industries – collaborating across technical and scientific disciplines to generate real innovation and create high value for our clients. LIFBASE SPECTROSCOPY TOOL LIFBASE Spectroscopy Tool. LIFBASE is a free software program to chart the spectroscopy of diatomic molecules that is available as freeware from SRI. The software is compatible with all 32-bit Windows versions. No support is available. Download LIFBASE software here. VALS™ MARKET RESEARCH The original VALS, launched by SRI in 1978, was a response to SRI studies of the fragmentation of U.S. society in the 1960s and the implications of those changes. The 1960s was also when the advertising industry was transforming to integrated marketing. Advertising visionaries encouraged SRI to extend its work into a marketing tool. EARLY CHILDHOOD EDUCATION DURING THE COVID-19 PANDEMIC 1 SUMMARY The COVID-19 pandemic has disrupted the provision of early childhood education in Arkansas and across the United States. In partnership with the Arkansas Division of Child BAKER HUGHES ACQUIRES EXCLUSIVE LICENSE FROM SRI Agreement further expands and complements Baker Hughes CCUS technology portfolio offering to strategically position for new energy frontiers Mixed Salt Process technology enables significant carbon capture separation cost reductions, providing Total Cost of Ownership savings for energy and industrial operators to decarbonize operations CCUS technologies are critical for putting INNOVATION STRATEGY & DESIGN Innovation strategy & design. At SRI, innovation is more than just big ideas—it means applying cutting-edge concepts to address real needs. We help develop the systems that support innovation and technology, and we apply the methodologies that generate more creative solutions for challenging problems. Contact Us. SYNFINI™ AUTOMATED CHEMISTRY PLATFORM The solution. SRI Biosciences has developed SynFini™, a suite of tools that leverages AI to automate the translation of ideas into testable physical molecules. The SynFini platform helps scientists maximize time spent on what to make, rather than how to make by accelerating chemistry

SIGN IN · GITLAB

Sign in · GitLab. Docs and help: SRI's GitLab documentation. New users should read this after logging in! Mattermost GitLab channel. devops-help@sri.com.

NLTS2: HOME

Welcome to NLTS2. Welcome to the Web home of the National Longitudinal Transition Study-2 (NLTS2)! NLTS2 was funded by the U.S. Department of Education and documented the experiences of a national sample of students who were 13 to 16 years of age in 2000 as they moved from secondary school into adult roles. They were 21 to 25 years old at the final data collection in 2009. LESSON 3: UNIQUE PROPERTIES AT THE NANOSCALE TEACHER MATERIALS 2 3 Size-Dependent Properties How do properties change at the nanoscale? 4 Properties of a Material • A property describes how a material acts under certain conditions • Types of properties – Optical (e.g. color, transparency) CASE STUDIES ARCHIVE Case Study Targeted Antigen Loaded Liposomes (TALL) SRI scientists exploit the human immune response to target cancer cells and extend the benefits of cancer immunotherapies OVER-THE-HORIZON RADAR For the U.S. military, SRI pioneered technology to detect objects located thousands of miles beyond the horizon or conventional line of sight. SRI’s Wide-Aperture Radar Facility (WARF) in California was used for decades of over-the-horizon (OTH) research in aircraft, land vehicle, and missile detection; airfield surveillance; ship tracking; terrain mapping; advanced display and signal A COMPARISON OF THE PATHWAY TOOLS SOFTWARE WITH THE Abstract. This document compares SRI’s Pathway Tools (PTools) software with the Reactome software. Both software systems serve the pathway bioinformatics area, including representation and analysis of metabolic pathways and signaling pathways. INDEPENDENT EVALUATION OF THE MIDWEST CPC EXPANSION Abstract. Funded by an i3 validation grant from the U.S. Department of Education, SRI conducted an independent evaluation of the Midwest Expansion of the Child-Parent Center (CPC) Program using a quasi-experimental design. TRANSFORMER BASED MOLECULE ENCODING FOR PROPERTY Abstract. Neural methods of molecule property prediction require efficient encoding of structure and property relationship to be accurate. Recent work using graph algorithms shows limited generalization in the latent molecule encoding space.

SHAKEY THE ROBOT

“Shakey” was the first mobile robot with the ability to perceive and reason about its surroundings. The subject of SRI’s Artificial Intelligence Center research from 1966 to 1972, Shakey could perform tasks that required planning, route-finding, and the rearranging of

simple objects.

THE METACYC DATABASE OF METABOLIC PATHWAYS AND ENZYMES Abstract. MetaCyc (MetaCyc.org) is a comprehensive reference database of metabolic pathways and enzymes from all domains of life. It contains 2749 pathways derived from more than 60 000 publications, making it the largest curated collection of metabolic pathways.

NONYE M. ALOZIE

Nonye M. Alozie, PhD, specializes in science education, science standards-based assessment design using evidence centered design, classroom research, machine learning to understand human-human interactions in learning settings, and scientific discourse. Her work also aims to provide quality science education through equitable and inclusive learning opportunities and experiences.

HOWARD EVERSON

Howard Everson, Ph.D., leads the design and development of innovative, technology-based assessments of student proficiency in STEM-related disciplines. His experience directing research for the College Board and Educational Testing Service (ETS), as well as the National Assessment of Educational Progress (NAEP) Statistical Services Institute, is leveraged to help states and school districts PATHWAY TOOLS SOFTWARE Pathway Tools Software Pathway Tools is a comprehensive bioinformatics software package that spans enterprise genome data management, systems biology, and omics data analysis.

SRI INTERNATIONAL

SRI International is an independent, nonprofit research institute with a rich history of supporting government and industry. For 75 years, SRI has led the discovery and design of ground-breaking products, technologies and industries – collaborating across technical and scientific disciplines to generate real innovation and create high value for our clients. LIFBASE SPECTROSCOPY TOOL LIFBASE Spectroscopy Tool. LIFBASE is a free software program to chart the spectroscopy of diatomic molecules that is available as freeware from SRI. The software is compatible with all 32-bit Windows versions. No support is available. Download LIFBASE software here. INNOVATION STRATEGY & DESIGN Innovation strategy & design. At SRI, innovation is more than just big ideas—it means applying cutting-edge concepts to address real needs. We help develop the systems that support innovation and technology, and we apply the methodologies that generate more creative solutions for challenging problems. Contact Us. SYNFINI™ AUTOMATED CHEMISTRY PLATFORM The solution. SRI Biosciences has developed SynFini™, a suite of tools that leverages AI to automate the translation of ideas into testable physical molecules. The SynFini platform helps scientists maximize time spent on what to make, rather than how to make by accelerating chemistry BAKER HUGHES ACQUIRES EXCLUSIVE LICENSE FROM SRI Agreement further expands and complements Baker Hughes CCUS technology portfolio offering to strategically position for new energy frontiers Mixed Salt Process technology enables significant carbon capture separation cost reductions, providing Total Cost of Ownership savings for energy and industrial operators to decarbonize operations CCUS technologies are critical for putting

TWIN RESEARCH

With their similar genetic makeup, twins represent an ideal opportunity to study health and behavior issues. After managing the NHLBI Twin Study (a longitudinal study of WWII veteran twins), the Center for Health Sciences at SRI established its Twin Research Registry in 1995. Since that time, Registry members participated in a variety of research studies

DAVID MOTLEY

David Motley joined SRI’s Board in September 2020. He also currently serves on the boards of First National Bank (NYSE: FNB); Koppers (NYSE: KOP); Armada Supply Chain Solutions ($4B privately held company); ALung, Inc. (venture-backed med device company with $120M in invested capital) and Forest Devices (venture-backed start-up). Motley’s current board leadership positions include Lead

NONYE M. ALOZIE

Nonye M. Alozie, PhD, specializes in science education, science standards-based assessment design using evidence centered design, classroom research, machine learning to understand human-human interactions in learning settings, and scientific discourse. Her work also aims to provide quality science education through equitable and inclusive learning opportunities and experiences.

HOWARD EVERSON

Howard Everson, Ph.D., leads the design and development of innovative, technology-based assessments of student proficiency in STEM-related disciplines. His experience directing research for the College Board and Educational Testing Service (ETS), as well as the National Assessment of Educational Progress (NAEP) Statistical Services Institute, is leveraged to help states and school districts

NLTS2: HOME

Welcome to NLTS2. Welcome to the Web home of the National Longitudinal Transition Study-2 (NLTS2)! NLTS2 was funded by the U.S. Department of Education and documented the experiences of a national sample of students who were 13 to 16 years of age in 2000 as they moved from secondary school into adult roles. They were 21 to 25 years old at the final data collection in 2009.

SRI INTERNATIONAL

SRI International is an independent, nonprofit research institute with a rich history of supporting government and industry. For 75 years, SRI has led the discovery and design of ground-breaking products, technologies and industries – collaborating across technical and scientific disciplines to generate real innovation and create high value for our clients. LIFBASE SPECTROSCOPY TOOL LIFBASE Spectroscopy Tool. LIFBASE is a free software program to chart the spectroscopy of diatomic molecules that is available as freeware from SRI. The software is compatible with all 32-bit Windows versions. No support is available. Download LIFBASE software here. INNOVATION STRATEGY & DESIGN Innovation strategy & design. At SRI, innovation is more than just big ideas—it means applying cutting-edge concepts to address real needs. We help develop the systems that support innovation and technology, and we apply the methodologies that generate more creative solutions for challenging problems. Contact Us. SYNFINI™ AUTOMATED CHEMISTRY PLATFORM The solution. SRI Biosciences has developed SynFini™, a suite of tools that leverages AI to automate the translation of ideas into testable physical molecules. The SynFini platform helps scientists maximize time spent on what to make, rather than how to make by accelerating chemistry BAKER HUGHES ACQUIRES EXCLUSIVE LICENSE FROM SRI Agreement further expands and complements Baker Hughes CCUS technology portfolio offering to strategically position for new energy frontiers Mixed Salt Process technology enables significant carbon capture separation cost reductions, providing Total Cost of Ownership savings for energy and industrial operators to decarbonize operations CCUS technologies are critical for putting

TWIN RESEARCH

With their similar genetic makeup, twins represent an ideal opportunity to study health and behavior issues. After managing the NHLBI Twin Study (a longitudinal study of WWII veteran twins), the Center for Health Sciences at SRI established its Twin Research Registry in 1995. Since that time, Registry members participated in a variety of research studies

DAVID MOTLEY

David Motley joined SRI’s Board in September 2020. He also currently serves on the boards of First National Bank (NYSE: FNB); Koppers (NYSE: KOP); Armada Supply Chain Solutions ($4B privately held company); ALung, Inc. (venture-backed med device company with $120M in invested capital) and Forest Devices (venture-backed start-up). Motley’s current board leadership positions include Lead

NONYE M. ALOZIE

Nonye M. Alozie, PhD, specializes in science education, science standards-based assessment design using evidence centered design, classroom research, machine learning to understand human-human interactions in learning settings, and scientific discourse. Her work also aims to provide quality science education through equitable and inclusive learning opportunities and experiences.

HOWARD EVERSON

Howard Everson, Ph.D., leads the design and development of innovative, technology-based assessments of student proficiency in STEM-related disciplines. His experience directing research for the College Board and Educational Testing Service (ETS), as well as the National Assessment of Educational Progress (NAEP) Statistical Services Institute, is leveraged to help states and school districts

NLTS2: HOME

Welcome to NLTS2. Welcome to the Web home of the National Longitudinal Transition Study-2 (NLTS2)! NLTS2 was funded by the U.S. Department of Education and documented the experiences of a national sample of students who were 13 to 16 years of age in 2000 as they moved from secondary school into adult roles. They were 21 to 25 years old at the final data collection in 2009. CASE STUDIES ARCHIVE Case Study Targeted Antigen Loaded Liposomes (TALL) SRI scientists exploit the human immune response to target cancer cells and extend the benefits of cancer immunotherapies INNOVATION STRATEGY & DESIGN Innovation strategy & design. At SRI, innovation is more than just big ideas—it means applying cutting-edge concepts to address real needs. We help develop the systems that support innovation and technology, and we apply the methodologies that generate more creative solutions for challenging problems. Contact Us. VALS™ MARKET RESEARCH The original VALS, launched by SRI in 1978, was a response to SRI studies of the fragmentation of U.S. society in the 1960s and the implications of those changes. The 1960s was also when the advertising industry was transforming to integrated marketing. Advertising visionaries encouraged SRI to extend its work into a marketing tool. BIOMEDICAL R&D SERVICES Biomedical R&D services. SRI Biosciences provides services that span all stages of drug and diagnostics discovery and nonclinical development leading to human clinical trials and, ultimately, to the market. Contact Us. SRI conducts a broad range of services to support the development of biomedical products, advancing them from.

DAVID MOTLEY

David Motley joined SRI’s Board in September 2020. He also currently serves on the boards of First National Bank (NYSE: FNB); Koppers (NYSE: KOP); Armada Supply Chain Solutions ($4B privately held company); ALung, Inc. (venture-backed med device company with $120M in invested capital) and Forest Devices (venture-backed start-up). Motley’s current board leadership positions include Lead

SRI VENTURES

SRI Ventures invests in big ideas that create world-changing enterprises that make people safer, healthier and more productive. We invest cash, contribute advanced IP ADVANCED MODULAR INCOHERENT SCATTER RADAR SRI launched a new age in atmospheric research with a novel, relocatable radar facility. The Advanced Modular Incoherent Scatter Radar (AMISR) was built for the National Science Foundation to study complex upper atmosphere and space weather events. AMISR is the first system to provide scientists with the technology necessary to collect critical data and study

SHARI GOLAN

Shari Golan, PhD, is president of SRI Education and a vice president of SRI International. Golan joined SRI in 1992 and has been a research center director since 2012. Golan has more than 25 years’ experience leading, conducting, and managing quantitative and qualitative research and evaluation projects in large school districts and other

multisite contexts

THOMAS KILDUFF

Thomas Kilduff, Ph.D., is an expert in the neurobiology of sleep and wakefulness, sleep disorders, and the biological clock. Kilduff was co-first author on the paper that originally described hypocretin/orexin (Hcrt), a neuropeptide system that stimulates arousal and is involved in wakefulness regulation. ONLINE EVALUATION RESOURCE LIBRARY Welcome to OERL, the Online Evaluation Resource Library. This library was developed for professionals seeking to design, conduct, document, or review project evaluations. The purpose of this system is to collect and make available evaluation plans, instruments, and reports for NSF projects that can be used as examples by Principal

Investigators

SRI INTERNATIONAL

SRI International is an independent, nonprofit research institute with a rich history of supporting government and industry. For 75 years, SRI has led the discovery and design of ground-breaking products, technologies and industries – collaborating across technical and scientific disciplines to generate real innovation and create high value for our clients. LIFBASE SPECTROSCOPY TOOL LIFBASE is a free software program to chart the spectroscopy of diatomic molecules that is available as freeware from SRI. The software is compatible with all 32-bit Windows versions. OPEN LANGUAGE INTERFACE FOR VOICE EXPLOITATION (OLIVE) BAKER HUGHES ACQUIRES EXCLUSIVE LICENSE FROM SRI Agreement further expands and complements Baker Hughes CCUS technology portfolio offering to strategically position for new energy frontiers Mixed Salt Process technology enables significant carbon capture separation cost reductions, providing Total Cost of Ownership savings for energy and industrial operators to decarbonize operations CCUS technologies are critical for putting SYNFINI™ AUTOMATED CHEMISTRY PLATFORM The challenge. Despite incredible strides in the discovery and commercialization of synthetic chemicals as drugs, agrochemicals and specialty materials, the process of performing synthetic chemistry has changed little in more than a century.

TWIN RESEARCH

With their similar genetic makeup, twins represent an ideal opportunity to study health and behavior issues. After managing the NHLBI Twin Study (a longitudinal study of WWII veteran twins), the Center for Health Sciences at SRI established its Twin Research Registry in 1995. Since that time, Registry members participated in a variety of research studies

DAVID MOTLEY

David Motley joined SRI’s Board in September 2020. He also currently serves on the boards of First National Bank (NYSE: FNB); Koppers (NYSE: KOP); Armada Supply Chain Solutions ($4B privately held company); ALung, Inc. (venture-backed med device company with $120M in invested capital) and Forest Devices (venture-backed start-up). Motley’s current board leadership positions include Lead

NONYE M. ALOZIE

Nonye M. Alozie, PhD, specializes in science education, science standards-based assessment design using evidence centered design, classroom research, machine learning to understand human-human interactions in learning settings, and scientific discourse. Her work also aims to provide quality science education through equitable and inclusive learning opportunities and experiences.

NLTS2: HOME

Welcome to NLTS2. Welcome to the Web home of the National Longitudinal Transition Study-2 (NLTS2)! NLTS2 was funded by the U.S. Department of Education and documented the experiences of a national sample of students who were 13 to 16 years of age in 2000 as they moved from secondary school into adult roles. They were 21 to 25 years old at the final data collection in 2009. MICHELLE W. WOODBRIDGE Michelle W. Woodbridge, PhD, has more than 25 years of experience in providing research, evaluation, and technical assistance on practices and policies in children’s mental health services, school-based systems of support, trauma-informed care, health and social services, and other community-based services. She is Executive Director of the Center for Learning and Development in SRI Education

SRI INTERNATIONAL

SRI International is an independent, nonprofit research institute with a rich history of supporting government and industry. For 75 years, SRI has led the discovery and design of ground-breaking products, technologies and industries – collaborating across technical and scientific disciplines to generate real innovation and create high value for our clients. LIFBASE SPECTROSCOPY TOOL LIFBASE Spectroscopy Tool. LIFBASE is a free software program to chart the spectroscopy of diatomic molecules that is available as freeware from SRI. The software is compatible with all 32-bit Windows versions. No support is available. Download LIFBASE software here. INNOVATION STRATEGY & DESIGN Innovation strategy & design. At SRI, innovation is more than just big ideas—it means applying cutting-edge concepts to address real needs. We help develop the systems that support innovation and technology, and we apply the methodologies that generate more creative solutions for challenging problems. Contact Us.

TWIN RESEARCH

With their similar genetic makeup, twins represent an ideal opportunity to study health and behavior issues. After managing the NHLBI Twin Study (a longitudinal study of WWII veteran twins), the Center for Health Sciences at SRI established its Twin Research Registry in 1995. Since that time, Registry members participated in a variety of research studies BAKER HUGHES ACQUIRES EXCLUSIVE LICENSE FROM SRI Agreement further expands and complements Baker Hughes CCUS technology portfolio offering to strategically position for new energy frontiers Mixed Salt Process technology enables significant carbon capture separation cost reductions, providing Total Cost of Ownership savings for energy and industrial operators to decarbonize operations CCUS technologies are critical for putting SYNFINI™ AUTOMATED CHEMISTRY PLATFORM The solution. SRI Biosciences has developed SynFini™, a suite of tools that leverages AI to automate the translation of ideas into testable physical molecules. The SynFini platform helps scientists maximize time spent on what to make, rather than how to make by accelerating chemistry

DAVID MOTLEY

David Motley joined SRI’s Board in September 2020. He also currently serves on the boards of First National Bank (NYSE: FNB); Koppers (NYSE: KOP); Armada Supply Chain Solutions ($4B privately held company); ALung, Inc. (venture-backed med device company with $120M in invested capital) and Forest Devices (venture-backed start-up). Motley’s current board leadership positions include Lead

HOWARD EVERSON

Howard Everson, Ph.D., leads the design and development of innovative, technology-based assessments of student proficiency in STEM-related disciplines. His experience directing research for the College Board and Educational Testing Service (ETS), as well as the National Assessment of Educational Progress (NAEP) Statistical Services Institute, is leveraged to help states and school districts

NONYE M. ALOZIE

Nonye M. Alozie, PhD, specializes in science education, science standards-based assessment design using evidence centered design, classroom research, machine learning to understand human-human interactions in learning settings, and scientific discourse. Her work also aims to provide quality science education through equitable and inclusive learning opportunities and experiences.

NLTS2: HOME

Welcome to NLTS2. Welcome to the Web home of the National Longitudinal Transition Study-2 (NLTS2)! NLTS2 was funded by the U.S. Department of Education and documented the experiences of a national sample of students who were 13 to 16 years of age in 2000 as they moved from secondary school into adult roles. They were 21 to 25 years old at the final data collection in 2009. VALS™ MARKET RESEARCH Learn more about SRI's Values and Lifestyles™ (VALS) program, a novel market research tool for determining motivations behind consumer purchasing decisions. CASE STUDIES ARCHIVE Case Study Targeted Antigen Loaded Liposomes (TALL) SRI scientists exploit the human immune response to target cancer cells and extend the benefits of cancer immunotherapies

SRI VENTURES

SRI Ventures invests in big ideas that create world-changing enterprises that make people safer, healthier and more productive. We invest cash, contribute advanced IP INTERESTINGNESS ELEMENTS FOR EXPLAINABLE REINFORCEMENT Abstract. We propose a framework toward more explainable reinforcement learning (RL) agents. The framework uses introspective analysis of an agent’s history of interaction with its environment to extract several interestingness elements regarding its behavior. INTERESTINGNESS ELEMENTS FOR EXPLAINABLE REINFORCEMENT Abstract. We propose an explainable reinforcement learning (XRL) framework that analyzes an agent’s history of interaction with the environment to extract interestingness elements that explain its

behavior.

LEARNING PROCEDURES BY AUGMENTING SEQUENTIAL PATTERN Gervasio, M. and Myers, K. (2020). Learning procedures by augmenting sequential pattern mining with planning knowledge. Proceedings of the Eighth Annual Conference on Advances in Cognitive Systems (ACS 2020). EXPLANATION TO AVERT SURPRISE Abstract. Most explanation schemes are reactive and informational: explanations are provided in response to specific user queries and focus on making the system’s reasoning more transparent. PRIVACY-AWARE ADAPTIVE SCHEDULING FOR COALITION OPERATIONS Abstract. Coalition operations are essential for responding to the increasing number of world-wide incidents that require large-scale humanitarian assistance. THE MULTIOMICS EXPLAINER: EXPLAINING OMICS RESULTS IN THE Abstract. Background: High-throughput experiments can bring to light associations between genes, proteins and/or metabolites, many of which will be explainable by existing knowledge.Our aim is to speed elucidation of such explanations and, in some cases, find explanations that scientists might otherwise overlook. PROBABILISTIC INFERENCE MODULO THEORIES Abstract. We present SGDPLL( T ), an algorithm that solves (among many other problems) probabilistic inference modulo theories, that is, inference problems over probabilistic models defined via a logic theory provided as a parameter (currently, propositional, equalities on discrete sorts, and inequalities, more specifically difference arithmetic, on bounded integers).

* About

* About us

* Blog

* Press room

* Expertise

* Advanced imaging systems * Artificial intelligence * Biomedical R&D services * Biomedical sciences

* Computer vision

* Cyber & formal methods * Education & learning * Innovation strategy & design

* National security

* Ocean & space

* Quantum

* Robotics, sensors & devices * Speech & natural language * Video test & measurement

* Ventures

* NSIC

* Careers

* Contact

* 日本支社

* You are…

* An Entrepreneur or VC

* Looking for a job

* From Media

Search

Capture phrases in quotes for more specific queries (e.g. "rocket ship" or "Fred Lynn") All results Publications only Bios only Case Studies only

Inventing a

better future

|

We create world-changing solutions that make people safer, healthier and more productive. Work with us Careers at SRI SRI INTERNATIONAL IS AN INDEPENDENT, NONPROFIT RESEARCH INSTITUTE WITH A RICH HISTORY OF SUPPORTING GOVERNMENT AND INDUSTRY. For 75 years, SRI has led the discovery and design of ground-breaking products, technologies and industries – collaborating across technical and scientific disciplines to generate real innovation and create high value for our clients.

More about SRI

OUR LATEST VISIT PRESS ROOM In the news   June 4, 2021 LEOLABS RAISES $65M SERIES B FOR ITS SATELLITE MONITORING AND COLLISION DETECTION SERVICE SRI SPINOUT LEOLABS CLOSED ITS SERIES B FINANCING ROUND, JOINTLY LED BY INSIGHT PARTNERS AND VELVET SEA VENTURES 75 years of innovation at SRI   June 3, 2021 75 YEARS OF INNOVATION: SRI SUPERFLEX SUIT (DARPA WARRIOR WEB PROGRAM) A LIGHTWEIGHT, UNOBTRUSIVE EXOSUIT THAT MELDS CLOTHING WITH SMART

ROBOTICS

Announcements   June 2, 2021 SRI LEADS COLLABORATIVE EFFORT THAT UNCOVERED CYBERSECURITY ISSUES IN INDUSTRIAL CONTROL SYSTEM… SRI WORKED WITH PENETRATION TESTERS AND LOGIIC SAFETY SYSTEM EXPERTS TO IMPROVE OVERALL SECURITY OF ICS SAFETY SYSTEMS Press release   May 26, 2021 NOMURA-SRI INNOVATION CENTER APPOINTS TWO KEY EXECUTIVE LEADERS FOR STRATEGIC GROWTH AND DEVELOPMENT NSIC ANNOUNCES THE APPOINTMENT OF ITS MANAGING DIRECTOR, CHRIS COWART, AND DEPUTY DIRECTOR, PAM DEZIEL Twitter  June 4, 2021 RT @EDCTWEETS: POWERFUL WORDS IN @BROOKINGSED ABOUT THE IMPORTANT ROLE EDUCATIONAL PROGRAMS LIKE @MOLLYOFDENALI… The Dish TV   December 15, 2020 CHRISTOPHER SAVOIE TALKS ABOUT ZAPATA COMPUTING IN THIS EPISODE, THEY TALK ABOUT ZAPATA’S ORIGINS, THEIR ROLE IN THE QUANTUM SUPPLY CHAIN, AND WHY ZAPATA JOINED THE QED-C™ .

Visit press room

A HISTORY OF FIRSTS

From the computer mouse to robotic surgery, cancer treatments, and more, SRI’s 70+ years of innovation have created new industries, billions of dollars in market value, and lasting benefits to society. Timeline of Innovation

AREAS OF EXPERTISE

*

ADVANCED IMAGING SYSTEMS

*

ARTIFICIAL INTELLIGENCE

*

BIOMEDICAL R&D SERVICES

*

BIOMEDICAL SCIENCES

*

COMPUTER VISION

*

CYBER & FORMAL METHODS

*

EDUCATION & LEARNING

*

INNOVATION STRATEGY & DESIGN

*

NATIONAL SECURITY

*

OCEAN & SPACE

*

QUANTUM

*

ROBOTICS, SENSORS & DEVICES

*

SPEECH & NATURAL LANGUAGE

*

VENTURES & LICENSING

*

VIDEO TEST & MEASUREMENT SRI is truly a bridge between academia and industry with fast-paced, milestone driven research. If you can imagine, they give you the tools to create. I’ve had the opportunity to work with and get trained by some of the coolest minds here and my mentors have always been supportive in my career development as an early scientist.

LEENA SHEWADE

Postdoctoral Fellow, Biosciences

HOW CAN WE HELP?

Please leave this field empty. Area of interestSelect an area of interestArtificial IntelligenceAdvanced Imaging SystemsBiosciences & HealthComputer VisionCyber & Formal MethodsBiomedical R&D ServicesEducation & learningInnovation Strategy & DesignNational SecurityOcean & SpaceQuantumRobotics, Sensors & DevicesSpeech & Natural LanguageVideo Test & MeasurementSRI VenturesNomura-SRI Innovation Center

CountryUnited

StatesAfghanistanAlbaniaAlgeriaAndorraAngolaAnguillaAntigua & BarbudaArgentinaArmeniaArubaAustraliaAustriaAzerbaijanBahamasBahrainBangladeshBarbadosBelarusBelgiumBelizeBeninBermudaBhutanBoliviaBosnia & HerzegovinaBotswanaBrazilBritish Virgin IslandsBruneiBulgariaBurkina FasoBurundiCambodiaCameroonCanadaCape VerdeCayman IslandsChadChileChinaColombiaCongoCook IslandsCosta RicaCote D IvoireCroatiaCruise ShipCubaCyprusCzech RepublicDenmarkDjiboutiDominicaDominican RepublicEcuadorEgyptEl SalvadorEquatorial GuineaEstoniaEthiopiaFalkland IslandsFaroe IslandsFijiFinlandFranceFrench PolynesiaFrench West IndiesGabonGambiaGeorgiaGermanyGhanaGibraltarGreeceGreenlandGrenadaGuamGuatemalaGuernseyGuineaGuinea BissauGuyanaHaitiHondurasHong KongHungaryIcelandIndiaIndonesiaIranIraqIrelandIsle of ManIsraelItalyJamaicaJapanJerseyJordanKazakhstanKenyaKuwaitKyrgyz RepublicLaosLatviaLebanonLesothoLiberiaLibyaLiechtensteinLithuaniaLuxembourgMacauMacedoniaMadagascarMalawiMalaysiaMaldivesMaliMaltaMauritaniaMauritiusMexicoMoldovaMonacoMongoliaMontenegroMontserratMoroccoMozambiqueNamibiaNepalNetherlandsNetherlands AntillesNew CaledoniaNew ZealandNicaraguaNigerNigeriaNorwayOmanPakistanPalestinePanamaPapua New GuineaParaguayPeruPhilippinesPolandPortugalPuerto RicoQatarReunionRomaniaRussiaRwandaSaint Pierre & MiquelonSamoaSan MarinoSatelliteSaudi ArabiaSenegalSerbiaSeychellesSierra LeoneSingaporeSlovakiaSloveniaSouth AfricaSouth KoreaSpainSri LankaSt Kitts & NevisSt LuciaSt VincentSt. LuciaSudanSurinameSwazilandSwedenSwitzerlandSyriaTaiwanTajikistanTanzaniaThailandTiogoTongaTrinidad & TobagoTunisiaTurkeyTurkmenistanTurks & CaicosUgandaUkraineUnited Arab EmiratesUnited KingdomUnited StatesUnited States Minor Outlying IslandsUruguayUzbekistanVenezuelaVietnamVirgin Islands (US)YemenZambiaZimbabwe

First name

Last name

Company name

Your email address

Your message

Select all that apply(optional)Discovery ServicesPreclinical/Early Clinical Development ServicesPartnership/CollaborationsBasic Research ONCE YOU HIT SEND… We’ll match your inquiry to the person who can best help you. Expect a response within 48 hours.

Our Privacy Policy

MAKE YOUR OWN MARK.

Search Jobs

* OUR WORK

* Case studies

* Publications

* Timeline of innovation * Areas of expertise

* Blog

* Institute

* Leadership

* Press room and media inquiries

* Compliance

* Privacy Policy

* Careers

* Job listings

* CONTACT

* SRI Ventures

* Our locations

Headquarters

333 Ravenswood Ave

Menlo Park, CA 94025 USA+1 (650) 859-2000 SUBSCRIBE TO OUR NEWSLETTER

Email Address

* linkedin__

* facebook__

* twitter__

* youtube__

日本支社

* Privacy Policy

* Cookies

* DMCA

* ©2021 SRI International

MESSAGE SENT

Success! - Thank you for your interest.