Search for tag: "computability theory"

18 Media

ORIE Colloquium, 2015-12-15 - Alessandro Arlotto:… duration 1 hour 1 minute ORIE Colloquium, 2015-12-15 - Alessandro Arlotto:… ORIE Colloquium, 2015-12-15 - Alessandro Arlotto: Finite Horizon Markov Decision Problems and a Central Limit Theorem for Total Reward	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… selection +60 More From E. Cornelius 9 plays
Sharding - Vitalik Buterin duration 1 hour 43 minutes Sharding - Vitalik Buterin Sharding - Vitalik Buterin	Sharding - Vitalik Buterin parliamentary procedure +75 More From Steven Gallow 1,557 plays
CS2110-FA17-26 Session 26 duration 40 minutes 56 seconds CS2110-FA17-26 Session 26 CS2110-FA17-26 Session 26	CS2110-FA17-26 Session 26 2017-11-22 00:00:00+00 documents +103 More From mjp337@cornell.edu 126 plays
CFEM Seminar - Dennis Ignatovich and Grant… duration 1 hour 42 minutes CFEM Seminar - Dennis Ignatovich and Grant… CFEM Seminar - Dennis Ignatovich and Grant Passmore: Formal Verification for Safety and Fairness of Financial Algorithms	CFEM Seminar - Dennis Ignatovich and Grant Passmore: Formal Verification for Safety and Fairness of Financial Algorithms abstract algebra +94 More From E. Cornelius 8 plays
CAM Colloquium - Mike Todd: Computation,… duration 56 minutes 49 seconds CAM Colloquium - Mike Todd: Computation,… CAM Colloquium - Mike Todd: Computation, Multiplicity, and Comparative Statics of Cournot Equilibria in Integers	CAM Colloquium - Mike Todd: Computation, Multiplicity, and Comparative Statics of Cournot Equilibria in Integers We give an efficient algorithm for computing a… minus +110 More From E. Cornelius 17 plays
CAM Colloquium - Adrian Lewis: Nonsmooth… duration 58 minutes 48 seconds CAM Colloquium - Adrian Lewis: Nonsmooth… CAM Colloquium - Adrian Lewis: Nonsmooth optimization: conditioning, convergence, and semi-algebraic models	CAM Colloquium - Adrian Lewis: Nonsmooth optimization: conditioning, convergence, and semi-algebraic models Variational analysis has come of age. Long an… concepts in physics +129 More From E. Cornelius 71 plays
ORIE Colloquium on 2/4/2014 - John Duchi: Machine… duration 1 hour 1 minute ORIE Colloquium on 2/4/2014 - John Duchi: Machine… ORIE Colloquium on 2/4/2014 - John Duchi: Machine Learning: a Discipline of Resource Tradeoffs	ORIE Colloquium on 2/4/2014 - John Duchi: Machine Learning: a Discipline of Resource Tradeoffs Tuesday, February 4, 2014 at 4:15pm Upson Hall,… memory hierarchy +88 More From E. Cornelius 94 plays
ORIE Colloquium on 4/15/2014 - Natesh Pillai:… duration 1 hour 0 minutes ORIE Colloquium on 4/15/2014 - Natesh Pillai:… ORIE Colloquium on 4/15/2014 - Natesh Pillai: Accelerating MCMC Algorithms in Computer Intensive Models and Applications to Large Data Sets	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… elementary mathematics +73 More From E. Cornelius 78 plays
Ezra's Round Table/Systems Seminar: Matthew… duration 1 hour 4 minutes Ezra's Round Table/Systems Seminar: Matthew… Ezra's Round Table/Systems Seminar: Matthew Ferringer (The Aerospace Corporation) - Challenges and Success on the Way to Transforming Design and Planning Decisions	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.… mixed reality +90 More From E. Cornelius 36 plays
CAM Colloquium - Raazesh Sainudiin: A Correlated… duration 56 minutes 36 seconds CAM Colloquium - Raazesh Sainudiin: A Correlated… CAM Colloquium - Raazesh Sainudiin: A Correlated Site Percolation Model of a Viscoplastic Fluid	CAM Colloquium - Raazesh Sainudiin: A Correlated Site Percolation Model of a Viscoplastic Fluid information +96 More From E. Cornelius 5 plays
CAM Colloquium on 2/22/2013 - Javier Pena: On the… duration 56 minutes 41 seconds CAM Colloquium on 2/22/2013 - Javier Pena: On the… CAM Colloquium on 2/22/2013 - Javier Pena: On the Role of Separation in Convex Optimization	CAM Colloquium on 2/22/2013 - Javier Pena: On the Role of Separation in Convex Optimization CAM Colloquium: Javier Pena (Carnegie Mellon) -… psychology +57 More From E. Cornelius 2 plays
ORIE Colloquium on 2/17/2012 - Dawn Woodard:… duration 58 minutes 24 seconds ORIE Colloquium on 2/17/2012 - Dawn Woodard:… ORIE Colloquium on 2/17/2012 - Dawn Woodard: Efficiency of Markov Chain Methods in Bayesian Statistics	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… central nervous system +108 More From E. Cornelius 5 plays
Ezra's Round Table/Systems Engineering… duration 1 hour 2 minutes Ezra's Round Table/Systems Engineering… Ezra's Round Table/Systems Engineering Seminar on 4/6/2012 - Andrew March: Multifidelity Methods for Multidisciplinary System Design	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… theory of probability distributions +142 More From E. Cornelius 37 plays
CAM Colloquium - November 16, 2012: Kenneth Regan duration 1 hour 19 minutes CAM Colloquium - November 16, 2012: Kenneth Regan CAM Colloquium - November 16, 2012: Kenneth Regan	CAM Colloquium - November 16, 2012: Kenneth Regan Kenneth Regan Department of Computer Science… statistics +77 More From E. Cornelius 6 plays
CAM Colloquium, 2013-01-25 - Lionel Levine:… duration 1 hour 1 minute CAM Colloquium, 2013-01-25 - Lionel Levine:… CAM Colloquium, 2013-01-25 - Lionel Levine: Abelian Networks	CAM Colloquium, 2013-01-25 - Lionel Levine: Abelian Networks order +54 More From E. Cornelius 14 plays
CAM Colloquium, 2013-04-19 - Toby Cubitt: Is… duration 1 hour 7 minutes CAM Colloquium, 2013-04-19 - Toby Cubitt: Is… CAM Colloquium, 2013-04-19 - Toby Cubitt: Is physics (NP-) hard?	CAM Colloquium, 2013-04-19 - Toby Cubitt: Is physics (NP-) hard? The behaviour of any physical system is governed… writing +59 More From E. Cornelius 12 plays