Author: SRI International
-
Exploring Differences in Online Professional Development Seminars with the Community of Inquiry Framework
After the seminars, an analysis using the community of inquiry framework was conducted to better understand what occurred in the dialogue of the seminars to understand whether patterns of facilitator actions related to the amount of participation and exit survey ratings.
-
Simcheck: a Contract Type System for Simulink
We provide a contract-based type system of Simulink with annotations and dimensions/units associated with ports and links.
-
Epstein-Barr Virus Micrornas and Lung Cancer
We conducted the first analysis of viral microRNAs (miRNAs) in lung cancer, with a focus on Epstein–Barr virus (EBV).
-
Personality Disorders in Women with Severe Premenstrual Syndrome
The comorbidity of a personality disorder and severe PMS places an additive burden on general life functioning and may have implications for psychiatric treatment or medication given to those with severe premenstrual symptoms.
-
Synthesis of 3H-Labeled Tetrabenazine (TBZ)
Our method provides tritium-labeled TBZ with high specific activity and radiochemical purity, which allow the further investigation of a TBZ in the neurological field.
-
Evaluation of the Pka Values and Ionization Sequence of Bumetanide Using 1H and 13C NMR and UV Spectroscopy
The present study summarizes available literature data and then characterizes nuclear magnetic resonance (NMR) and ultraviolet (UV) spectral changes over a range of pH values to delineate the apparent sequence of deprotonations.
-
Feo Emission in the Mesosphere: Detectability, Diurnal Behavior, and Modeling
The temporal behavior of the FeO and OH emissions was compared to model results from the one-dimensional and time-resolved model FeMOD, which describes the iron chemistry in the mesosphere/lower thermosphere.
-
Cancer: a Computational Disease That AI Can Cure
We discuss these in the context of Cancer Commons, a “rapid learning” community where patients, physicians, and researchers collect and analyze the molecular and clinical data from every cancer patient, and use these results to individualize therapies.
-
National Evaluation of Writing Project Professional Development: Year 4 Report
Year 4 report on SRI’s examination of changes in students’ writing proficiency, students’ writing practices, teachers’ instructional practices, and teachers’ professional communities in middle schools that have formed partnerships with Local Writing Project sites.
-
Towards Spoken Clinical-Question Answering: Evaluating and Adapting Automatic Speech-Recognition Systems for Spoken Clinical Questions
We evaluate existing automatic speech-recognition (ASR) systems to measure their performance in interpreting spoken clinical questions and to adapt one ASR system to improve its performance on this task.
-
A Simple Tunable Method for Profile Control – Least-Squares Configuration
We describe in this paper a simple alternative, the least-squares (LS) configuration, which employs an intuitive post-compensator, and retains the easy-to-tune decoupling control feature.
-
Synthesis of Loop-Free Programs
We present experimental results that show that our tool Brahma can efficiently synthesize highly nontrivial 10-20 line loop-free bit vector programs.