SRI International
-
Hybrid qualitative simulation of military operations
We describe a novel simulator, SimPath, that combines qualitative reasoning, a geographic information system (GIS), and targeted probabilistic calculations to envision how adversarial battle plans can play out.
-
Online planning to control a packaging infeed system
In collaboration with a domain expert from the packaging industry, we developed an innovative design for a reconfigurable parallel infeed system using a matrix of interchangeable smart belts.
-
Through the Twitter glass
In order to find out the viability of NLP and Twitter, we built a pipeline of tools to work specifically with Twitter input for the task of finding questions in tweets.
-
APA Fellow Invited Address: Information foraging in the social web
Information Foraging in the Social Web: Information Foraging Theory is a theory of human-information interaction that aims to explain and predict how people will best shape themselves to their information environments, and how information environments can best be shaped to people.
-
Ring optimal assignment of slot reservations for Cyclic TDMA Protocols
We present two algorithms to assign time slots to nodes in a TDMA network that minimize the jitter in time slot assignments or minimize the channel access latency for flows with a known arrival time.
-
Optimal backbone generation for robotic relay networks
In this paper, we present a problem and solutions to minimize the number of stationary relay nodes given a set of unknown but stationary sources.
-
Highly flexible printed alkaline batteries based on mesh embedded electrodes
In the present work, we demonstrate a printed alkaline battery fabricated with a polyacrylic acid (PAA)-based polymer gel electrolyte (PGE).
-
Ontologies and Tools for Analysing and Composing Simulation Confederations for the Training and Testing Domains
We describe a complementary approach that uses Web Ontology Language and Semantic Web Rule Language to capture information about the roles and capabilities required to complete a task, and the detailed attributes of candidate resources.
-
The Dynamics of the Urge-To-Smoke Following Smoking Cessation Via Pharmacotherapy
The associations of trajectory parameters with relapse were relatively uninfluenced by demographics and smoking history.
-
Transverse Mercator with an Accuracy of a Few Nanometers
Implementations of two algorithms for the transverse Mercator projection are described; these achieve accuracies close to machine precision.
-
Efficient Methods for Lifted Inference with Aggregate Factors
We propose an exact solution constant in n when k = 2 for certain aggregate operations such as AND, OR and SUM, and (b) a close approximation for inference with aggregate factors with time complexity constant in n.
-
Robust Substrate Profiling Method Reveals Striking Differences in Specificities of Serum and Lung Fluid Proteases
We hypothesized that a combinatorial protease substrate library could be used effectively to identify similarities and differences between serum and bronchoalveolar lavage fluid (BALF), two body fluids that are clinically important for developing targeted therapies and diagnostics.