Search for tag: "computability theory"

ORIE Colloquium, 2015-12-15 - Alessandro Arlotto: Finite Horizon Markov Decision Problems and a Central Limit Theorem for Total Reward

Abstract: We prove a central limit theorem for a class of additive processes that arise naturally in the theory of finite horizon Markov decision problems. The main theorem generalizes a…

From  E. Cornelius 9 plays

Sharding - Vitalik Buterin

From  Steven Gallow 1,551 plays

CS2110-FA17-26 Session 26

2017-11-22 00:00:00+00

From  mjp337@cornell.edu 118 plays

CFEM Seminar - Dennis Ignatovich and Grant Passmore: Formal Verification for Safety and Fairness of Financial Algorithms

From  E. Cornelius 2 plays

CAM Colloquium - Mike Todd: Computation, Multiplicity, and Comparative Statics of Cournot Equilibria in Integers

We give an efficient algorithm for computing a Cournot equilibrium when the producers are confined to integers, the inverse demand function is linear, and costs are quadratic. The method also…

From  E. Cornelius 13 plays

CAM Colloquium - Adrian Lewis: Nonsmooth optimization: conditioning, convergence, and semi-algebraic models

Variational analysis has come of age. Long an elegant theoretical toolkit for variational mathematics and nonsmooth optimization, it now increasingly underpins the study of algorithms, and a rich…

From  E. Cornelius 60 plays

ORIE Colloquium on 2/4/2014 - John Duchi: Machine Learning: a Discipline of Resource Tradeoffs

Tuesday, February 4, 2014 at 4:15pm Upson Hall, B17 ORIE Colloquium: John Duchi (UC Berkeley) - Machine Learning: a Discipline of Resource Tradeoffs Joint colloquium with Computer Science. How…

From  E. Cornelius 88 plays

ORIE Colloquium on 4/15/2014 - Natesh Pillai: Accelerating MCMC Algorithms in Computer Intensive Models and Applications to Large Data Sets

Tuesday, Apr 15, 2014 at 4:15 PM [.ics] 253 Rhodes Hall Natesh Pillai Assistant Professor, Department of Statistics Harvard University Category: ORIE Colloquium Seminars

From  E. Cornelius 76 plays

Ezra's Round Table/Systems Seminar: Matthew Ferringer (The Aerospace Corporation) - Challenges and Success on the Way to Transforming Design and Planning Decisions

Friday, February 28, 2014 at 12:00pm Frank H. T. Rhodes Hall, 253 Ezra's Round Table/Systems Seminar: Matthew Ferringer (The Aerospace Corporation) - Challenges and Success on the Way to…

From  E. Cornelius 32 plays

CAM Colloquium - Raazesh Sainudiin: A Correlated Site Percolation Model of a Viscoplastic Fluid

From  E. Cornelius 2 plays

CAM Colloquium on 2/22/2013 - Javier Pena: On the Role of Separation in Convex Optimization

CAM Colloquium: Javier Pena (Carnegie Mellon) - On the Role of Separation in Convex Optimization Friday, February 22, 2013 at 3:30pm Frank H. T. Rhodes Hall, 655 Separating hyperplane theorems are…

From  E. Cornelius 1 plays

ORIE Colloquium on 2/17/2012 - Dawn Woodard: Efficiency of Markov Chain Methods in Bayesian Statistics

Tuesday, April 17 at 4:15pm Frank H.T. Rhodes Hall, 253 We analyze the efficiency of particular Markov chain methods used in Bayesian statistics, giving some of the first meaningful bounds on the…

From  E. Cornelius 3 plays

Ezra's Round Table/Systems Engineering Seminar on 4/6/2012 - Andrew March: Multifidelity Methods for Multidisciplinary System Design

Friday, April 6 at 12:00pm Frank H.T. Rhodes Hall, 253 Optimization of multidisciplinary systems is critical as slight performance improvements can provide significant benefits over the…

From  E. Cornelius 36 plays

CAM Colloquium - November 16, 2012: Kenneth Regan

Kenneth Regan Department of Computer Science and Engineering University at Buffalo Friday, November 16, 2012 Skill Inference and Chess Cheating Detection from Big Data We describe a…

From  E. Cornelius 5 plays

CAM Colloquium, 2013-01-25 - Lionel Levine: Abelian Networks

From  E. Cornelius 13 plays

CAM Colloquium, 2013-04-19 - Toby Cubitt: Is physics (NP-) hard?

The behaviour of any physical system is governed by its dynamical equations. Much of physics is concerned with discovering these dynamical equations and understanding their implications. It is…

From  E. Cornelius 10 plays