Search for tag: "beginning"

Curriculum Development Reflections (Walsh)

Curriculum Development Reflections (Walsh)

From  Ranald Swanson on September 16th, 2021 0 likes 0 plays 0  

Informatics 1 Cognitive Science

A brief description of the course content. For more information see https://path.is.ed.ac.uk/courses/INFR08020_SV1_SEM2

From  Matthias Hennig on July 30th, 2021 0 likes 51 plays 0  

(PGR only) How-to get off to an effective start with your research degree

The Institute for Academic Development team share key tips and advice for making the most of your first few months. 1. Introduction to the importance of taking ownership for your personal and…

From  Ravinder Panesar on July 16th, 2021 0 likes 296 plays 0  

Christian Hirsch EVA Talk Preview

This talk has captions. You can remove these by pressing CC on the video toolbar. Name: Christian Hirsch Talk Title: Extremal lifetimes of persistent loops and holes Abstract: Persistent homology…

From  Anna Munro on May 25th, 2021 0 likes 24 plays 0  

Lecture 7 part 1 Kaltura Capture recording - February 26th 2021, 9:12:44 pm

Lecture 7 part 1

From  Pauline Phemister on February 26th, 2021 0 likes 21 plays 0  

Programming Skills - Security (2)

Security (video 2)

From  Amrey Krause on November 24th, 2020 0 likes 21 plays 0  

CL - 14e - DFA (II)

We look at the representation of DFA in Haskell (using lists to represent the sets of the formal definition).In this video the code isDFA is defining what counts as a DFA when we use the black-hole…

From  Haoran Peng on November 20th, 2020 0 likes 166 plays 0  

CL - 9e - DPLL IV

We continue with the simple example and its representation in Haskell.

From  Haoran Peng on November 4th, 2020 0 likes 243 plays 0  

CL - 9d - DPLL III

We introduce the idea of using a divide and conquer algorithm.

From  Haoran Peng on November 4th, 2020 0 likes 247 plays 0  

PAUL_Biswajit

PLEASE NOTE: The video captions have been auto generated Student name: PAUL, Biswajit Presentation title: Improving health behaviour in patients with chronic respiratory disease using theory of…

From  Claire Jankowska on November 3rd, 2020 0 likes 35 plays 0  

IDS - Week 06 - 07 - Iteration

Iteration via mapping

From  Mine Cetinkaya-Rundel on October 27th, 2020 0 likes 24 plays 0  

MLP Lecture 06 - Clip 02 - Weight Initialization

Machine Learning Practical (MLP) Lecture 06, Clip 02 / 05.

From  Pavlos Andreadis on October 24th, 2020 1 likes 192 plays 0  

CL - 6b - Karnaugh Maps I

In logic, we call the things in the universal model valuations; they are Boolean-values functions defined on the set of predicates.In computer science we often call these states, because, as we will…

From  Haoran Peng on October 24th, 2020 0 likes 421 plays 0  

CL - Barbara

Gentzen's rules provide a complete system that does not require the cut rule. For many logical systems, cut elimination (showing that uses of the cut rule may be eliminated from any sound proof)…

From  Haoran Peng on October 21st, 2020 0 likes 284 plays 0