Search for tag: "complexity"

QCTiP24 Day 3.11 Ashley Montanaro v2

+19 More
From  Ramin Jafarzadegan 0 likes 4 plays 0  

60 Years of Computer Science & AI @ Edinburgh - Interview with Mark Jerrum

60 Years of Computer Science & AI @ Edinburgh - Interview with Mark Jerrum

From  Informatics at Edinburgh 0 likes 28 plays 0  

Professor Robin Williams - Innovation journeys in health information systems (Week 10)

Professor Robin Williams - Innovation journeys in health information systems (Week 10)

+19 More
From  MSc_LDT 0 likes 24 plays 0  

Leading Digital Transformation: Theories and Development

Leading Digital Transformation: Theories and Development

From  Juan Martos Diaz 0 likes 54 plays 0  

Elementary analytic functions in VTC0 - Emil Jerabek

Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation Elementary analytic functions in VTC0 by Emil Jerabek, Czech Academy of Sciences

+20 More
From  Iain Cms 0 likes 5 plays 0  

Succinct semi-algebraic representations and computational variants of the generalized Lax conjecture - Rafael Mendes de Oliveira

Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation Succinct semi-algebraic representations and computational variants of the generalized Lax conjecture by Rafael Mendes…

+20 More
From  Iain Cms 0 likes 11 plays 0  

Ideals, determinants, and straightening - Robert Andrews

Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation Ideals, determinants, and straightening by Robert Andrews, University of Illinois at Urbana Champagne

+20 More
From  Iain Cms 0 likes 6 plays 0  

Lifting Theorems: A Survey - Robert Robere

Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation

+20 More
From  Iain Cms 0 likes 16 plays 0  

On the range avoidance problem for circuits - Hanlin Ren

Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation On the range avoidance problem for circuits University of Oxford Hanlin Ren

+20 More
From  Iain Cms 0 likes 33 plays 0  

Learning from equivalence queries and unprovability of circuit upper bounds - Igor Oliveira

Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation Learning from equivalence queries and unprovability of circuit upper bounds University of Warwick Igor Oliveira

+20 More
From  Iain Cms 0 likes 27 plays 0  

Survey on meta complexity - Rahul Santhanam

Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation Survey on meta complexity Oxford University Rahul Santhanam

+20 More
From  Iain Cms 0 likes 12 plays 0  

What is in #P and what is not? - Christian Ikenmeyer

Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation What is in #P and what is not? University of Liverpool Christian Ikenmeyer

+20 More
From  Iain Cms 0 likes 26 plays 0  

Testing for Shape Restrictions with U-Processes - Kengo Kato

Structural Breaks and Shape Constraints Testing for Shape Restrictions with U-Processes Kengo Kato (Cornell University) 19 May 2022

+20 More
From  Iain Cms 0 likes 140 plays 0  

Optimistic Search Strategy for Large Scale Change Point Problems - Housen Li

Structural Breaks and Shape Constraints Optimistic Search Strategy for Large Scale Change Point Problems Housen Li (University of Goettingen) 19 May 2022

+20 More
From  Iain Cms 0 likes 14 plays 0  

An Efficient Decoding Procedure for Hidden Markov Models - Alexandre Mösching

Structural Breaks and Shape Contraints An Efficient Decoding Procedure for Hidden Markov Models Alexandre Mösching (University of Göttingen) 18 May 2022

+20 More
From  Iain Cms 0 likes 33 plays 0  

MARS via LASSO - Aditya Guntuboyina

Structural Breaks and Shape Constraints MARS via LASSO Aditya Guntuboyina (University of California, Berkeley) 17 May 2022

+20 More
From  Iain Cms 0 likes 64 plays 0