Search for tag: "variables"

AML: Exploratory Data Analysis - Data Visualisation

Applied Machine Learning - INFR11211 AML: Exploratory Data Analysis - Data Visualisation Part 1/3

From  Siddharth N 0 likes 134 plays 0  

HealthyR demo: finalfit.org

Data and code at: https://github.com/SurgicalInformatics/healthyr_demos

From  Riinu Pius 0 likes 25 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 7 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 5 plays 0  

Lower bounds for symmetric arithmetic circuits - Anuj Dawar

Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation Lower bounds for symmetric arithmetic circuits by Anuj Dawar, University of Cambridge

From  Iain Cms 0 likes 12 plays 0  

Depth lower bounds in Stabbing Planes - Nicola Galesi

Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation Depth lower bounds in Stabbing Planes by Nicola Galesi, Sapienza University Rome

From  Iain Cms 0 likes 7 plays 0  

Zane Li - A decoupling interpretation of an old argument for Vinogradov's Mean Value Theorem

A Young Researchers Symposium in Harmonic Analysis Zane Li, Indiana University Bloomington 23 June 2022

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

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  

Optimal Nonparametric Testing of Missing Completely At Random, and its Connections to Compatibility - Tom Berrett

Structural Breaks and Shape Constraints Optimal Nonparametric Testing of Missing Completely At Random, and its Connections to Compatibility Tom Berrett (University of Warwick) 20 May 2022

From  Iain Cms 0 likes 19 plays 0  

Diagonal Cubic Hypersurfaces over F_q(t) - Leonhard Hochfilzer

Rational Points on Higher Dimensional Varieties Diagonal Cubic Hypersurfaces over F_q(t) Leonhard Hochfilzer (Göttingen University) 27 April 2022

From  Iain Cms 0 likes 32 plays 0  

Using Mixed Methods in Psychological Research Part 4

An outline of exploratory sequential mixed methods design and a discussion of whether conversation analysis (and discursive psychology) can be mixed with coding and quantification.

From  Sue Widdicombe 0 likes 91 plays 0  

Using Mixed Methods in Psychological Research Part 1

An introduction to using mixed methods in psychological research.

From  Sue Widdicombe 0 likes 133 plays 0  

Quantisation of free associative dynamical systems - Alexander Mikhailov. mp4

VISS online seminar series Quantisation of free associative dynamical systems (Bi-quantum structure of the stationary KdV hierarchy and Non-deformation quantisation of the Volterra hierarchy) …

From  Iain Cms 0 likes 6 plays 0  

Waves in Complex Continua (Wavinar) - Raphael Assier (University of Manchester, UK)

Subtitles can be turned off by selecting CC. 07.12.21 Raphael Assier (University of Manchester, UK): Analytical continuation of two-dimensional wave fields

From  Liam Holligan 0 likes 21 plays 0  

IDS 2021 - Week 10 - Code along

Recording of code-along session for Week 10.

From  David Elliott 0 likes 7 plays 0