Publications
-
Droidminer: Automated Mining and Characterization of Fine-Grained Malicious Behaviors in Android Applications
DroidMiner is a new malicious Android app detection system that uses static analysis to automatically mine malicious program logic from known Android malware.
-
Evaluating Robust Features on Deep Neural Networks for Speech Recognition in Noisy and Channel Mismatched Conditions
In this work we present a study exploring both conventional DNNs and deep Convolutional Neural Networks (CNN) for noise- and channel-degraded speech recognition tasks using the Aurora4 dataset.
-
Human Endogenous Retrovirus K Expression Predicts a Prostate Cancer Diagnosis
This review will summarize the current state of knowledge regarding HERV-K and cancer and attempt to outline the potential mechanisms by which HERV-K could be involved in the onset and…
-
KB_Bio_101: Content and Challenges
We give an overview of its content, summarize the key concepts represented, and give some examples of problems requiring further ontology research.
-
ROSRV: Runtime Verification for Robots
We present ROSRV, a runtime verification framework for robotic applications on top of the Robot Operating System (ROS), a widely used open-source framework for robot software development.
-
Disability Identification and Self-Efficacy among College Students on the Autism Spectrum
This study uses data from the National Longitudinal Transition Study 2 to examine the prevalence and correlates of disability identification and self-efficacy among college students on the autism spectrum.
-
AR-Mentor: Augmented Reality Based Mentoring System
The system combines a wearable Optical-See-Through (OST) display device with high precision 6-Degree-Of-Freedom (DOF) pose tracking and a virtual personal assistant (VPA) with natural language, verbal conversational interaction, providing guidance…
-
Nocturnal Cardiac Autonomic Profile in Young Primary Insomniacs and Good Sleepers
We investigated cardiac vagal and sympathetic activity in 13 young primary insomniacs and 14 good sleepers during nocturnal sleep.
-
The Feasibility of Assessing Branched-Chain Amino Acid Metabolism in Cellular Models of Prostate Cancer with Hyperpolarized [1-(13)C]-Ketoisocaproate
Our goals were to investigate branched-chain aminotransferase (BCAT) activity in prostate cancer with a novel molecular probe, hyperpolarized [1-(13)C]-2-ketoisocaproate ([1-(13)C]-KIC), and explore the potential of branched-chain amino acid (BCAA) metabolism…
-
A Content Comparison Analysis of the Next Generation Science Standards and the Michigan Science Standards
The Michigan Department of Education (MDE) and Wayne Regional Education Service Agency contracted with SRI International’s Center for Technology in Learning to conduct an external, independent content comparison review of…
-
Navigating the Future of Afterschool Science: Afterschool Science Networks Study Recommendations
SRI’s Afterschool Science Networks (ASN) study provides new insights and empirical findings regarding the offering of science learning opportunities at scale.
-
Modeling of Continuity and Change in Biology
This paper reports on our initial steps toward representing this core theme and describes the methodological background and open challenges.