A-212 (STCS Seminar Room)
Capacity Planning in Service Systems with Arrival Rate Uncertainty: Safety Staffing Principles Revisited
Universal Coding Theory in Quantum Systems
Wireless Scheduling with Limited Information
Introduction to MetaMathematics
Option Pricing and Hedging in the Incomplete Market
Optimal Policies for Large Queueing Networks Through Diffusion Limits
SHRUTI: An Industrial Strength Formally Certified SAT Solver
Pages
