Global communications bus for UAVs.
Conjunction Streaming Service
Streaming geospatial index and related gear.
Agent-based risk management models
Verification, performance analysis, IDE for this automation engine.
Automated media commentary system
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).