Search for tag: "specification"

17 Media

TAS Robots Animation duration 2 minutes 33 seconds TAS Robots Animation TAS Robots Animation	TAS Robots Animation TAS Robots Animation school of informatics animation robots systems machine rules specifications trustworthiness challenges driver decisions collaboration article communications researchers specification values operation relief disaster scenarios actors loops From Informatics at Edinburgh 0 likes 14 plays 0 Licence Type All rights reserved The University of Edinburgh Language English Date Created January 8th, 2024
Philippa Gardner Distinguished Lecture - 60 Years… duration 29 minutes 45 seconds Philippa Gardner Distinguished Lecture - 60 Years… Philippa Gardner Distinguished Lecture - 60 Years of Computer Science & AI at Edinburgh	Philippa Gardner Distinguished Lecture - 60 Years of Computer Science & AI at Edinburgh Philippa Gardner Distinguished Lecture - 60 Years of Computer Science & AI at Edinburgh schoolofinformatics universityofedinburgh informatics language specification verification programme phd gchq things computer mechanisation cambridge student thing companies lot field reason level bit logic separation From Informatics at Edinburgh 0 likes 7 plays 0 Licence Type All rights reserved The University of Edinburgh Language English Date Created November 23rd, 2023
Top Tips Job Applications 2023 duration 13 minutes 57 seconds Top Tips Job Applications 2023 Top Tips Job Applications 2023	Top Tips Job Applications 2023 Recording of our Top Tips for Job Applications session. careers service application specification applications employer examples job career person skills employers evidence instructions role recruiters task team star plan question organisation From Thomas Robinson 0 likes 13 plays 0 Licence Type All rights reserved The University of Edinburgh
Lecture 1 Recording duration 1 hour 1 minute Lecture 1 Recording Lecture 1 Recording	Lecture 1 Recording This is the recording of the first lecture (Lecture 1) that took place on Wed 13 January 2021. amsl-3 lecture 1 week diagram lab question pcb ltspice questions layout amplifier cost philtre signal idea specification dc end board op lecture discussion From Wasiu Popoola 0 likes 62 plays 0 Course Code ELEE09032 Licence Type All rights reserved The University of Edinburgh Date Created January 13th, 2021
Distillation Lecture 1 2020 part 6 duration 22 minutes 42 seconds Distillation Lecture 1 2020 part 6 Distillation Lecture 1 2020 part 6	Distillation Lecture 1 2020 part 6 Distillation Lecture 1 2020 part 6 column feet reflux separation change point ratio component diagram bottom composition equilibrium lines feed target specification stage trays end place From John Christy 0 likes 81 plays 0 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 duration 2 minutes 56 seconds Distillation Lecture 1 2020 part 3 Distillation Lecture 1 2020 part 3	Distillation Lecture 1 2020 part 3 Distillation Lecture 1 2020 part 3 column purity bottom specifications trays disposal tools question analysis input energy specification sense streams output outputs concentration ideal inefficiencies From John Christy 0 likes 56 plays 0 Course Code CHEE11023 Publisher John Christy Licence Type All rights reserved The University of Edinburgh Language British English Date Created December 24th, 2020
CL - 8d - Sudoku II duration 2 minutes 30 seconds CL - 8d - Sudoku II CL - 8d - Sudoku II	CL - 8d - Sudoku II 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… inf1a introduction to computation informatics 1 computation and logic haskell language clauses values letters ideas expression slides things sudoku model assertions form specification checker variables side slide bottom hydrogen From Haoran Peng 0 likes 362 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - 8c - Sudoku duration 5 minutes 40 seconds CL - 8c - Sudoku CL - 8c - Sudoku	CL - 8c - Sudoku 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… inf1a introduction to computation informatics 1 computation and logic square numbers sudoku solution prime squares board language rules algebra row fact times s3 ijk thing specification haskell equation constraints From Haoran Peng 0 likes 381 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
UniSim Workshop 2 - BTX Separation Solutions duration 24 minutes 0 seconds UniSim Workshop 2 - BTX Separation Solutions UniSim Workshop 2 - BTX Separation Solutions	UniSim Workshop 2 - BTX Separation Solutions UniSim Workshop 2 - BTX Separation Solutions column component sequence condenser distillation benzene fraction bottom specification composition boiler pressure feed stage duty profile equilibrium rate flow simulation From Mennatallah Labib 0 likes 42 plays 0 Course Code CHEEE1005 - CHEDSE4 Licence Type All rights reserved The University of Edinburgh Language English
Part 7 Senior Phase and the Scottish… duration 11 minutes 59 seconds Part 7 Senior Phase and the Scottish… Part 7 Senior Phase and the Scottish qualifications Authority - October 4th 2020, 11:22:45 am	Part 7 Senior Phase and the Scottish qualifications Authority - October 4th 2020, 11:22:45 am Part 7 Senior Phase & SQA geoscience outreach and engagement 20-21 level scotland parent assessment phase papers resource sql face science walk websites specification hyperlink things past learners piece skills form From Kay Douglas 0 likes 23 plays 0 Course Code EASC10087 Licence Type Creative Commons - Attribution Language English Date Created October 4th, 2020
Top Tips: Job Applications duration 14 minutes 32 seconds Top Tips: Job Applications Top Tips: Job Applications	Top Tips: Job Applications Top tips for job applications careers service application employer applications examples specification questions role question experience job skills instructions process idea space person copy organization tip detail career evidence employers task organisation star From Jane Challinor 0 likes 220 plays 0 Licence Type All rights reserved The University of Edinburgh
3b - Relationship between tolerance and target… duration 31 minutes 7 seconds 3b - Relationship between tolerance and target… 3b - Relationship between tolerance and target value	3b - Relationship between tolerance and target value Lecture 3b - Relationship between tolerance and target value by Prof Ian Underwood engineering design and manufacture process sigma specification distribution manufacturing variation minus limits tolerance things capability limit customer spec jump championships lsl cp tolerances range From Lesley Gibson 0 likes 115 plays 0 Licence Type Creative Commons - Attribution
1b - Phases of the Product Development Cycle duration 25 minutes 22 seconds 1b - Phases of the Product Development Cycle 1b - Phases of the Product Development Cycle	1b - Phases of the Product Development Cycle Lecture 1b - Phases of the Product Development Cycle by Prof Ian Underwood engineering design and manufacture manufacturing systems circuit job engineers cost production summer things team engineering chip process thing operations customer specification components bit week From Lesley Gibson 0 likes 94 plays 0 Licence Type Creative Commons - Attribution
Separation Logic duration 51 minutes 39 seconds Separation Logic Separation Logic	Separation Logic 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… informatics apl programming languages specification verification From Ian Stark 0 likes 97 plays 0 Course Code INFR11101 Licence Type All rights reserved The University of Edinburgh Language English Date Created November 5th, 2018
Practical Tools for Java Correctness duration 51 minutes 39 seconds Practical Tools for Java Correctness Practical Tools for Java Correctness	Practical Tools for Java Correctness 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… informatics apl programming languages specification verification From Ian Stark 0 likes 38 plays 0 Course Code INFR11101 Licence Type All rights reserved The University of Edinburgh Language English Date Created October 29th, 2018
Specification and Verification duration 54 minutes 56 seconds Specification and Verification Specification and Verification	Specification and Verification 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… informatics apl programming languages specification verification From Ian Stark 0 likes 28 plays 0 Course Code INFR11101 Licence Type All rights reserved The University of Edinburgh Language English Date Created October 25th, 2018