Search for tag: "systems"

Episode 4 - Clinical Negligence and Patient Safety

Welcome to the fourth episode of the Mason Institute Investigates podcast. This episode's guest is Dr Sarah Devaney (University of Manchester). Dr Devaney and Professor Anne-Maree Farrell draw…

From  Elisabeth Barlow 0 likes 5 plays 0  

AML: Recommender Systems - Matrix Factorisation Example

Applied Machine Learning - INFR11211 AML: Recommender Systems - Matrix Factorisation Example Part 3/3

From  Oisin Mac Aodha 1 likes 124 plays

AML: Recommender Systems - Matrix Factorisation

Applied Machine Learning - INFR11211 Recommender Systems - Matrix Factorisation Part 2/3

From  Oisin Mac Aodha 0 likes 139 plays

AML: Recommender Systems - Introduction

Applied Machine Learning - INFR11211 Recommender Systems - Introduction Part 1/3

From  Oisin Mac Aodha 0 likes 131 plays

AML: Ethics and Fairness - The ART Principles

Applied Machine Learning - INFR11211 AML: Ethics and Fairness - The ART Principles (Guest Lecture: Nadin Kokciyan) Part 2/3

From  Siddharth N 1 likes 74 plays 0  

Adaptation CoP_ September 2022

Adaptation CoP meeting recording: Guest speaker, Esti Anantasari from University of Gadja Mada in Indonesia talking about traditional knowledge and beliefs in relation to climate change adaptation…

From  Emma Yule 0 likes 5 plays 0  

On Sharpness for Fusion Systems - Valentina Grazian

Classifying spaces in homotopy theory: in honour of Ran Levi's 60th BirthdayValentina Grazian, Universita degli Studi di Milano

From  Greg McCracken 0 likes 10 plays 0  

A Krull-Remak-Schmidt theorem for fusion systems - Bob Oliver

Classifying spaces in homotopy theory: in honour of Ran Levi's 60th BirthdayBob Oliver, Université Paris 13

From  Greg McCracken 0 likes 10 plays 0  

Using Biology to Treat Biology - Dr. Adam Mol

Using Biology to Treat Biology - Dr. Adam Mol

From  Juan Martos Diaz 8 likes 94 plays 0  

Student Perspective: Introduction to Edinburgh

3rd year Informatics student, Donald Jennings, tells us about his first two years studying at the University of Edinburgh. His presentation covers: 1st year at Edinburgh Optional Courses 2nd year…

From  Nicola Hopper 0 likes 19 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  

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  

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  

On the strength of semi-algebraic proof systems - Ilario Bonacina

Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation On the strength of semi-algebraic proof systems UPC Universitat Politècnica de Catalunya Ilario Bonacina

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

TFNP Collapses, separations, and characterization - Mika Goos

Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation TFNP: Collapses, separations, and characterization EPFL Swisserland Mika Goos

From  Iain Cms 0 likes 4 plays 0