Publications
-
Logic in Software, Dynamical and Biological Systems
Here, we focus on three different systems: software systems, dynamical control systems, and biological systems.
-
Substrate Specifity Profiling of the Aspergillus Fumigatus Proteolytic Secretome Reveals Consensus Motifs with Predominance of Ile/Leu and Phe/Tyr
This report provides proof-of-principle for the use of protease substrate specificity profiling to define the proteolytic secretome of Aspergillus fumigatus.
-
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).
-
Vehicle Tracking Across Nonoverlapping Cameras Using Joint Kinematic and Appearance Features
We describe a vehicle tracking algorithm using input from a network of nonoverlapping cameras.
-
Multi-Instrument Observations of Soft Electron Precipitation and Its Association with Magnetospheric Flows
We present a multi-instrument study on the variations of optical auroras and ionospheric electron densities during an interval of a series of fast earthward flows in the magnetotail on 3…
-
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…
-
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…
-
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.
-
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…
-
Contextualized Learning and Assessment
Presentation made at The Learning Summit, The League for Innovation in the Community College, Phoenix, Arizona.
-
Detection of agreement and disagreement in broadcast conversations
We present Conditional Random Fields based approaches for detecting agreement/disagreement between speakers in English broadcast conversation shows.
-
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.