Search for tag: "formula"

23 November 2022 Ulrike Tillmann - Strings and surfaces

23 Nov 2022 Ulrike Tillmann , Isaac Newton Institute, CambridgeStrings and surfaces

From  Greg McCracken 0 likes 17 plays 0  

Lie models of classifying spaces. - Mario Fuentes

Classifying spaces in homotopy theory: in honour of Ran Levi's 60th BirthdayMario Fuentes, University of MalagaThis recording is in the process being subtitled. This typically takes around two…

From  Greg McCracken 0 likes 4 plays 0  

Cohomology of the spaces of commuting elements - Masahiro Takeda

Classifying spaces in homotopy theory: in honour of Ran Levi's 60th BirthdayMasahiro Takeda, Kyoto University

From  Greg McCracken 0 likes 5 plays 0  

From K-theory to calculus - Niall Taggart

Classifying spaces in homotopy theory: in honour of Ran Levi's 60th BirthdayNiall Taggart, Utrecht UniversityThis recording is in the process being subtitled. This typically takes around two…

From  Greg McCracken 0 likes 11 plays 0  

Morava K-theory of infinite groups and Euler characteristic - Irakli Patchkoria

Classifying spaces in homotopy theory: in honour of Ran Levi's 60th BirthdayIrakli Patchkoria, University of Aberdeen

From  Greg McCracken 0 likes 14 plays 0  

A hierarchy of propositional proof systems - Pavel Pudlak

Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation A hierarchy of propositional proof systems by Pavel Pudlak, Institute of Mathematics, CAS

From  Iain Cms 0 likes 10 plays 0  

Survey on bounded arithmetic - Arnold Beckmann

Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation Survey on bounded arithmetic by Arnold Beckmann, Swansea University

From  Iain Cms 0 likes 12 plays 0  

A lower bound for k-DNF Resolution on random CNFs - Dmitry Sokolov

Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation A lower bound for k-DNF Resolution on random CNFs by Dmitry Sokolov

From  Iain Cms 0 likes 19 plays 0  

Lifting Theorems: A Survey - Robert Robere

Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation

From  Iain Cms 0 likes 7 plays 0  

Mateus Sousa - Recent developments in Fourier interpolation theory

A Young Researchers Symposium in Harmonic Analysis Mateus Sousa, Basque Center for Applied Mathematics 24 June 2022 This recording is in the process of being subtitled. This typically takes around…

From  Iain Cms 0 likes 9 plays 0  

The minimum circuit size problem is hard for sum of squares - Kilian Risse

Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation The minimum circuit size problem is hard for sum of squares KTH Royal Institute of Technology Kilian Risse

From  Iain Cms 0 likes 11 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 4 plays 0  

Merge Resolution QBF proofs with inbuilt strategies - Meena Mahajan

Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation Merge Resolution: QBF proofs with inbuilt strategies The Institute of Mathematical Sciences Meena Mahajan

From  Iain Cms 0 likes 11 plays 0  

Radon-Brascamp-Lieb Inequalities and Model Operators - Philip Gressman

Fourier Analysis @ 200 Radon-Brascamp-Lieb Inequalities and Model Operators Philip Gressman, University of Pennsylvania 01 July 2022 This talk is being subtitled. This process typically takes…

From  Iain Cms 0 likes 22 plays 0  

Beyond $\log n/\log\log n$ Iterations: Non-Asymptomatic Analysis for Approximate Message Passing - Yuting Wei

Structural Breaks and Shape Constraints Beyond $\log n/\log\log n$ Iterations: Non-Asymptomatic Analysis for Approximate Message Passing Yuting Wei (University of Pennsylvania) 19 May 2022

From  Iain Cms 0 likes 22 plays 0  

A Surface Moving Mesh PDE Method - Weizhang Huang

Adaptive Moving and Anisotropic Meshes for the Numerical Approximation of PDEs A Surface Moving Mesh PDE Method Weizhang Huang 10 May 2022

From  Iain Cms 0 likes 24 plays 0