Search for tag: "informatics"

Artificial Intelligence versus Us: building explainability and ethical responsibility into automated systems; Dr Vaishak Belle

Artificial Intelligence provides many opportunities to improve modern society, and it has enjoyed significant investment globally. Indeed, discovering patterns and structures in data in an automated…

From  Stuart Dunbar on October 25th, 2019 0 likes 7 plays 0  

Alumni Perspectives - School of Informatics Student Stories

Discover what it is like to study at the School of Informatics with our series of videos featuring 'A Day in the Life', 'Transitions' and 'Alumni Perspectives' ! In…

From  Segolene-Charlotte Gallus on October 23rd, 2019 0 likes 7 plays 0  

A Day in the Life - School of Informatics Student Stories

Discover what it is like to study at the School of Informatics with our series of videos featuring 'A Day in the Life', 'Transitions' and 'Alumni Perspectives' ! In…

From  Segolene-Charlotte Gallus on October 23rd, 2019 0 likes 19 plays 0  

Transitions - School of Informatics Student Stories

Discover what it is like to study at the School of Informatics with our series of videos featuring 'A Day in the Life', 'Transitions' and 'Alumni Perspectives' ! In…

From  Segolene-Charlotte Gallus on October 23rd, 2019 0 likes 7 plays 0  

How Does RNA Fold?

How Does RNA Fold? Dr. Grzegorz Kudla, Principal Investigator, MRC Human Genetics UnitRecorded on 14th October, 2019 The Cross-Disciplinary Fellowship (XDF) Programme partners the School of…

From  Stephen Cass on October 18th, 2019 0 likes 13 plays 0  

The School of Informatics: Introduction

The School of Informatics was created in 1998. It is a world-leading centre of research and teaching in computation, information and cognition. In this video, we are introducing you to the main areas…

From  Segolene-Charlotte Gallus on October 18th, 2019 0 likes 17 plays 0  

Cross-Disciplinary Fellowship (XDF) Tutorial: Cracking The Genetic Code - What Are Proteins And How They Are Made

Cracking The Genetic Code - What Are Proteins And How They Are Made Dr. Carolina Uggenti, Post-doctoral Research Associate, Centre for Genomic & Experimental Medicine. Recorded on 7th…

From  Stephen Cass on October 18th, 2019 0 likes 18 plays 0  

The School of Informatics: Researchers’ Journey

Researchers in the School of Informatics have various backgrounds and they come from all over the world. In this video, they are telling the story of the journey that brought them to Edinburgh, the…

From  Segolene-Charlotte Gallus on October 18th, 2019 0 likes 4 plays 0  

The School of Informatics: Research Highlights

Research within the School of Informatics is carried out across six institutes; each of these manages a portfolio of funding and specialist facilities. Academic staff are appointed to the School and…

From  Segolene-Charlotte Gallus on October 18th, 2019 0 likes 42 plays 0  

Health information in non-health data traces - Wolters Englemann & Pagliari 2019

Controversies in the Data Society 2019Dr Maria Wolters, Reader in Design Informatics, Academic Associate of the School of PPLS. Give me your data, and I will diagnose you.Dr Lukas Englemann,…

From  James Stewart on March 13th, 2019 0 likes 9 plays 0  

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…

From  Ian Stark on March 2nd, 2019 0 likes 5 plays 0  

Introduction to Creative Informatics: Chris Speed and Laura Simpson

An introduction to Creative Informatics from Chris Speed and Laura Simpson ECA Staff Forum channel on Media Hopper: https://edin.ac/2LgP9i8 ECA Staff Forum on the ECA intranet (SharePoint):…

From  Andrew Collins on March 1st, 2019 0 likes 23 plays 0  

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…

From  Ian Stark on October 29th, 2018 0 likes 9 plays 0  

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…

From  Ian Stark on October 29th, 2018 0 likes 12 plays 0  

Cautionary Tales in Concurrency

Advances in Programming Languages 2018/19 Lecture 11: Cautionary Tales in Concurrency This lecture concluded the set on concurrency with three distinctive challenges for concurrent programming and…

From  Ian Stark on October 22nd, 2018 0 likes 11 plays 0  

Other Programming-Language Approaches to Concurrency

Advances in Programming Languages 2016/17 Lecture 10: Other Programming-Language Approaches to Concurrency The recording of APL 2018/19 Lecture 10 did not work properly — there is no audio,…

From  Ian Stark on October 18th, 2018 0 likes 21 plays 0