Covering selfish machines
RELATED TOPICS
{ data method analysis methods algorithm }
{ number numbers large small minimum }
{ theorem proof result prove paper }
{ algorithm codes scheme quantum code }
RELATED DOCUMENTS
A framework for compositional verification of security protocols
Stochastic Formal Methods An application to accuracy of numeric software
Convex Separation from Optimization via Heuristics
Sequential Computation of p values based on Re Sampling with a Guaranteed Error Bound
Stochastic Formal Methods for Rare Failure Events due to the Accumulation of Errors
The traveling salesman problem A Linear programming formulation of
The Minimum Description Length Principle and Model Selection in Spectropolarimetry
Computing Nash Equilibria Approximation and Smoothed Complexity
Frugality ratios and improved truthful mechanisms for vertex cover
Parallel Evaluation of Mathematica Programs in Remote Computers
GARCON Genetic Algorithm for Rectangular Cuts OptimizatioN User s manual for version 2 0
Quantum Searching amidst large uncertainties
Security Assessment of E Tax Filing Websites
Prioritizing Software Inspection Results using Static Profiling
On likelihood ratio tests
Improved results for a memory allocation problem
Universal Filtering via Hidden Markov Modeling
Optimal oracle inequality for aggregation of classifiers under low noise condition
Estimating Aggregate Properties on Probabilistic Streams
How Hard Is Bribery in Elections