Search for tag: "complexity"

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 20 plays 0  

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

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

From  Matt Newlands 0 likes 23 plays 0  

Leading Digital Transformation: Theories and Development

Leading Digital Transformation: Theories and Development

From  Juan Martos Diaz 0 likes 51 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

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…

From  Iain Cms 0 likes 9 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

From  Iain Cms 0 likes 6 plays 0  

Lifting Theorems: A Survey - Robert Robere

Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation

From  Iain Cms 0 likes 13 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

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

From  Iain Cms 0 likes 23 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

From  Iain Cms 0 likes 9 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

From  Iain Cms 0 likes 25 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

From  Iain Cms 0 likes 121 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

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

From  Iain Cms 0 likes 31 plays 0  

MARS via LASSO - Aditya Guntuboyina

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

From  Iain Cms 0 likes 59 plays 0  

Postgraduate Virtual Open Day for 2022 entry - an Introduction to the MSc in The Globalised Muslim World

Join Professor Frédéric Volpi for a virtual introduction to the MSc in The Globalised Muslim World at the University of Edinburgh. This short video is for students hoping to start our…

From  Maire Cox 0 likes 18 plays 0