SRI International
-
Enhanced Ion Acoustic Lines Due to Strong Ion Cyclotron Wave Fields
The Fast Auroral Snapshot Explorer (FAST) satellite detected intense and coherent 5–20 m electric field structures in the high-latitude topside auroral ionosphere between the altitudes of 350 km and 650 km.
-
Evoked Delta Activity During Sleep in Alcoholism
-
Formulation and Evaluation of Albumin Microspheres and Its Enteric Coating Using a Spray-Dryer
This study optimized and evaluated the conditions for surface coating of microspheres using a spray-dryer. Four formulations of Bromophenol blue (BPB)-loaded albumin microspheres were prepared using a spray-dryer, cross-linked at different concentrations and time periods.
-
Mechanical Testing Devices for Characterizing Stents
-
Neptune: a Mixed-Initiative Environment for Planning and Scheduling
We describe the design of a user-centric, integrated planning and scheduling system that assists the user in exploring the rich space of plans and associated resource assignment options in complex, real-world domains.
-
Recovering Social Networks from Massive Track Datasets
In this paper, we use the Mitsubishi track database to examine the usefulness of three types of interaction features observable in tracklet networks.
-
Reflections on Computer-Related Risks
Tracing the history of exposing and elucidating the wide variety of system problems and associated social implications of uses and misuses of computing technology.
-
STEM High Schools
The concept of secondary schools offering specialized curricula in science, technology, engineering, and mathematics (STEM) is not new.
-
A Brief Overview of PVS
Abstract PVS is now 15 years old, and has been extensively used in research, industry, and teaching. The system is very expressive, with unique features such as predicate subtypes, recursive and corecursive datatypes, inductive and coinductive definitions, judgements, conversions, tables, and theory interpretations. The prover supports a combination of decision procedures, automatic simplification, rewriting, ground…
-
Amperometric Gas Sensors – a Review
The amperometric gas sensor, or AGS, belongs to a large and important class of electrochemical gas sensors, and they play an ever-increasing role in environmental monitoring, medical and health applications, industrial safety, security, surveillance, and the automotive industry.
-
Using PFISR Measurements and Gravity Wave Dissipative Theory to Determine the Neutral, Background Thermospheric Winds
Understanding the propagation and dissipation of an atmospheric gravity wave (GW) in the thermosphere requires an accurate dissipative GW dispersion relation, the GW’s horizontal wavelength and period, and the background neutral winds and temperatures
-
Voice-Based Speaker Recognition Combining Acoustic and Stylistic Features
We present a survey of the state of the art in voice-based speaker identification research. We describe the general framework of a text-independent speaker verification system, and, as an example, SRI’s voice-based speaker recognition system.