Search for tag: "beginning"

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 117 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 238 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 239 plays 0  

PAUL_Biswajit

Student name: PAUL, Biswajit Presentation title: Improving health behaviour in patients with chronic respiratory disease using theory of planned behaviour-based educational intervention:…

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

IDS - Week 06 - 07 - Iteration

Iteration via mapping

From  Mine Cetinkaya-Rundel on October 27th, 2020 0 likes 23 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 169 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 400 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 272 plays 0  

CL - Review 2 - Venn Apples

Venn diagrams on a sphere.

From  Haoran Peng on October 20th, 2020 0 likes 301 plays 0  

MLP Lecture 05 - Clip 06 - RMSProp

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

From  Pavlos Andreadis on October 18th, 2020 1 likes 134 plays 0  

MLP Lecture 05 - Clip 02 - Setting learning rate

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

From  Pavlos Andreadis on October 18th, 2020 1 likes 174 plays 0  

PAW2020-Research Supervision awards

Research supervision prize awardees for Postdoc Awareness Week 2020

From  Enrique Sanchez Molano on September 24th, 2020 0 likes 47 plays 0  

Introduction to New College Library @ 40 George Square

Find out what library services and collections are available at New College Library @ 40 George Square in 2020, and what processes we have in place for safe use of the library.

From  Christine Love-Rodgers on September 11th, 2020 0 likes 79 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 September 10th, 2020 0 likes 44 plays 0  

Microorganisms, Infection and Immunity 2

For students interested in host-pathogen interaction and infectious diseases. Runs in semester 2, 20 credits.

From  Allison Wroe on August 25th, 2020 0 likes 15 plays 0