Search for tag: "bioinformatics"

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 A week ago 0 likes 0 views 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 2 Weeks ago 0 likes 0 views 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 3 Weeks ago 0 likes 7 views 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 4 Months ago 0 likes 8 views 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 4 Months ago 0 likes 9 views 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 4 Months ago 0 likes 8 views 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 5 Months ago 0 likes 14 views 0  

Concurrency Abstractions

Advances in Programming Languages 2018/19 Lecture 9: Concurrency Abstractions This lecture reviews the built-in Java concurrency primitives from Lecture 8 and introduces some patterns that can help…

From  Ian Stark 5 Months ago 0 likes 5 views 0  

Concurrency

Advances in Programming Languages 2018/19 Lecture 8: Concurrency Moving on from type systems, this lecture starts to look at programming for concurrency: why you might want — or need —…

From  Ian Stark 5 Months ago 0 likes 3 views 0  

Dependent Types

Advances in Programming Languages 2018/19 Lecture 7: Dependent Types This lecture completes the quartet of type/term interactions: after first-class functions, parameterized types, and polymorphic…

From  Ian Stark 5 Months ago 0 likes 6 views 0