UAS Flight Planning Support
Data integration supporting drone flights.
UAS Emergency Systems
Control logic related to unusual attitudes.
Probabilistic proofs of computation.
1+B node graph partitioned in main memory.
Object probability system
1+B node graph and 50+ billion properties for statistics with better than 1ms access time.
Distributed Text-to-speech synthesis system
Parallel data re-writing for third-party distribution.
Persistence of Identity Through Time
Embracing time in knowledge representation.
Distributed Resource Reservation
Scalable and private.
Production System Trends
Analysis of trends in profiling output from production systems.
Managing resource use in sensor networks.
MultiCore Metropolis-coupled Markov Chain Monte Carlo algorithm.
When you have too many notifications.
Economic data representation and integration.
How to demonstrate that you went that way.
Something like a Prediction market that supports arbitrary positions.
Graphical navigation of very large datasets.
Keyword-based access control that's simple, dynamic, and content-driven.
Shared tagging service. Tuplebase application.
Hashtables tuned for flash memory.
Experiments with parallel Monte Carlo techniques for approximating crazy integrals. Good for Bayesians.
Text-to-speech synthesis of dynamic textual information with support for mobile users.
Defining, learning, and selecting prosody models for better text-to-speech synthesis.
Posterior probability of problems (with sensor data).