Search for tag: "tree"

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 125 plays 0  

5.a

First video of the Inf2d lecture on Adversarial Search.

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

5.b

Second video of the Inf2D lecture on Adversarial Search.

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

4.a

First video on Informed Search Algorithms.

From  Claudia-Elena Chirita on January 18th, 2021 0 likes 222 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 173 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 199 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 239 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 201 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,581 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 464 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 432 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 652 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 337 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 37 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 383 plays 0  

Professional Skills for GAFS (1) - Week 2 - Tour 3/4

This is part 3 of 4 of the Easter Bush Campus Tour. We apologise for the sound quality. Please note, captions are autogenerated

From  Gordon Littlejohn on September 29th, 2020 0 likes 5 plays 0