|
This is the recording of the first lecture (Lecture 1) that took place on Wed 13 January 2021.
Course Code
ELEE09032 Licence Type
All rights reserved The University of Edinburgh Date Created
January 13th, 2021
|
|
Distillation Lecture 1 2020 part 6
Course Code
CHEE11023 Publisher
John Christy Licence Type
All rights reserved The University of Edinburgh Language
British English Date Created
December 24th, 2020
|
|
Distillation Lecture 1 2020 part 3
Course Code
CHEE11023 Publisher
John Christy Licence Type
All rights reserved The University of Edinburgh Language
British English Date Created
December 24th, 2020
|
|
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…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
First we see how to express the rules of Sudoku in Haskell. Given a total function s :: Int -> Int -> Int -> Bool that represents the way a sudoku puzzle is filled in by saying that s i j k…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
UniSim Workshop 2 - BTX Separation Solutions
Course Code
CHEEE1005 - CHEDSE4 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
Part 7 Senior Phase & SQA
Course Code
EASC10087 Licence Type
Creative Commons - Attribution Language
English Date Created
October 4th, 2020
|
|
Top tips for job applications
Licence Type
All rights reserved The University of Edinburgh
|
|
Lecture 3b - Relationship between tolerance and target value by Prof Ian Underwood
Licence Type
Creative Commons - Attribution
|
|
Lecture 1b - Phases of the Product Development Cycle by Prof Ian Underwood
Licence Type
Creative Commons - Attribution
|
|
Advances in Programming Languages 2018/19 Lecture 14: Separation Logic Hoare Logic is a language for making and proving assertions about the behaviour of code: the extension to Separation Logic…
Course Code
INFR11101 Licence Type
All rights reserved The University of Edinburgh Language
English Date Created
November 5th, 2018
|
|
Advances in Programming Languages 2018/19 Lecture 13: Practical Tools for Java Correctness Today’s lecture presented two different facilities designed to help write Java code that does the…
Course Code
INFR11101 Licence Type
All rights reserved The University of Edinburgh Language
English Date Created
October 29th, 2018
|
|
Advances in Programming Languages 2018/19 Lecture 12: Specification and Verification Today's lecture was the first in a block on language techniques and tools that aim to improve program…
Course Code
INFR11101 Licence Type
All rights reserved The University of Edinburgh Language
English Date Created
October 25th, 2018
|
|
Gaussian Naive Bayes Classifier
Licence Type
Creative Commons - Attribution
|