Search for tag: "ideas"

Phil Methods 1 - Week 10 - Intro

Introducing Week 10

From  Dave Ward on November 20th, 2020 0 likes 6 plays 0  

Phil Methods 1 - Week 10 - Part 2

Sartre on Imagination

From  Dave Ward on November 19th, 2020 0 likes 9 plays 0  

CL - 8e - DPLL I

This video introduces the key idea behind the DLPP algorithm. If we decide to make some literal true, we may reduce the problem to a simpler problem. We will build our DPLL algorithm by using this…

From  Haoran Peng on November 2nd, 2020 0 likes 304 plays 0  

CL - 8d - Sudoku II

In this video we translate this code for checking a solution described by a function s :: Int -> Int -> Int -> Bool into an expression in our language of Forms.This form uses 729…

From  Haoran Peng on November 1st, 2020 0 likes 308 plays 0  

lecture 7 part 2 Kaltura Capture recording - October 30th 2020, 6:56:41 pm

lecture 7 part 2

From  Pauline Phemister on October 30th, 2020 0 likes 8 plays 0  

PhD Workshop - What do I want from my career? Getting started

Recording of PhD workshop from 7th October 2020.

From  Thomas Robinson on October 27th, 2020 0 likes 9 plays 0  

Approximating real numbers by fractions - James Maynard

Edinburgh Mathematical Society talk Approximating real numbers by fractions James Maynard (University of Oxford) 23 October 2020 An automated programme is used to generate the subtitles on this talk.…

From  GILLIAN KERR on October 26th, 2020 0 likes 18 plays 0  

lecture 5 part 2 Kaltura Capture recording - October 16th 2020, 7:37:02 am

lecture 5 part 2

From  Pauline Phemister on October 16th, 2020 0 likes 9 plays 0  

CL - Lecture 4.e - Sequents 0

The following videos introduce sequents, a far-reaching generalisation of the idea underlying Aristotle's propositions. We have already discussed the introduction of multiple antecedents…

From  Claudia-Elena Chirita on October 15th, 2020 0 likes 377 plays 0  

What is Learning 15.10.20

A short video about what learning means in higher education

From  Velda McCune on October 15th, 2020 0 likes 8 plays 0  

Covariant Poisson bracket and r-matrix structure for an integrable hierarchy: role of Lagrangian and Hamiltonian multiforms - Vincent Caudrelier

VISS online seminar series Covariant Poisson bracket and r-matrix structure for an integrable hierarchy: role of Lagrangian and Hamiltonian multiforms Vincent Caudrelier (Leeds) 14 October 2020 An…

From  GILLIAN KERR on October 14th, 2020 0 likes 31 plays 0  

Lecture 5 part 1 Kaltura Capture recording - October 13th 2020, 4:24:59 pm

lecture 5 part 1

From  Pauline Phemister on October 13th, 2020 0 likes 9 plays 0  

MLP Q&A 2 - Session 1 (Week 3)

Machine Learning Practical Q&A 2 - Session 1 (Week 3).

From  Pavlos Andreadis on October 10th, 2020 1 likes 46 plays 0  

Kaltura Capture recording - October 7th 2020, 5:55:10 pm

lecture 4 part 3

From  Pauline Phemister on October 7th, 2020 0 likes 9 plays 0  

CL - Lecture 3h - Operator Precedence

In this video, we introduce operator precedence. An expression such as a ⋀ b ⋁ c, without parentheses, could represent either (a ⋀ b) ⋁ c or a ⋀ (b ⋁ c). To specify which we mean, we either need to…

From  Haoran Peng on October 4th, 2020 0 likes 377 plays 0  

Kaltura Capture recording - October 3rd 2020, 8:35:07 pm

lecture 4 part 2

From  Pauline Phemister on October 4th, 2020 0 likes 11 plays 0