Search for tag: "tree"

Scattering amplitudes from derived categories and cluster categories - Severin Barmeier

LAGOON: Leicester Algebra and Geometry Open ONline Severin Barmeier, Freiburg, Germany Scattering amplitudes from derived categories and cluster categories 22 April 2021 To remove the captions from…

From  GILLIAN KERR on April 22nd, 2021 0 likes 26 plays 0  

Coursework 1

This is the video presenting the first Coursework for Inf2D, Reasoning and Agents.

From  Claudia-Elena Chirita on January 21st, 2021 0 likes 160 plays 0  

5.a

First video of the Inf2d lecture on Adversarial Search.

From  Claudia-Elena Chirita on January 18th, 2021 0 likes 309 plays 0  

5.b

Second video of the Inf2D lecture on Adversarial Search.

From  Claudia-Elena Chirita on January 18th, 2021 0 likes 236 plays 0  

4.a

First video on Informed Search Algorithms.

From  Claudia-Elena Chirita on January 18th, 2021 0 likes 252 plays 0  

3.c

This is the third video on Uninformed Search Strategies, on depth-limited and iterative deepening search.

From  Claudia-Elena Chirita on January 13th, 2021 0 likes 188 plays 0  

3.b

This is the second video on Uninformed Search Strategies, where we present depth-first search.

From  Claudia-Elena Chirita on January 13th, 2021 0 likes 213 plays 0  

3.a

This is the first video on Search Strategies, where we see what uninformed strategies are we present the breadth-first search algorithm.

From  Claudia-Elena Chirita on January 13th, 2021 0 likes 269 plays 0  

2.c

This is the third video on Problem Solving and Search: we look at a general tree search algorithm – the first step towards searching strategies.

From  Claudia-Elena Chirita on January 10th, 2021 0 likes 223 plays 0  

Switch on for virtual Christmas

The University Christmas tree lights in the Old College Quadrangle have been switched on to celebrate the start of the festive period.The Principal delivered a short message for all students and…

From  Kathryn Hood on November 27th, 2020 1 likes 2,584 plays 0  

FP - Lecture 13 - Laziness, Higher-order, and Sorting

This is the video for the FP lecture on Laziness, Higher-order, and Sorting.

From  Claudia-Elena Chirita on November 8th, 2020 0 likes 465 plays 0  

FP - Lecture 12 - Data Types and Data Abstraction (continued)

This is the second video for the FP lecture on Data Types and Data Abstraction.

From  Claudia-Elena Chirita on November 1st, 2020 0 likes 436 plays 0  

FP - Lecture 9 - Expression Trees as Algebraic Data Types

This is the video for the ninth FP lecture on Expression Trees as Algebraic Data Types.

From  Claudia-Elena Chirita on October 18th, 2020 0 likes 655 plays 0  

CL - Lecture 4.j - Reduction 2

We use the rules to reduce a sequent to a conjunction of simple sequents, sequents that only mentions propositional letters, with no connectives, and no repetitions — in this example, we find…

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

IMA, LMS Joint Meeting: Topological methods in Data Science (1-2 October 2020)

An automated programme is used to generate the subtitles on this talk. You can remove the subtitles by pressing CC on the bottom toolbar. Kathryn Hess (EPFL) - Trees, barcodes, and symmetric groups …

From  Liam Holligan on October 9th, 2020 0 likes 42 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 385 plays 0