Talk Title: Monads and Lenses Abstract: Monads are an abstraction that can be used to mathematically model computational effects (among other things). Lenses are an abstraction for bidirectional computation, a generalization of the view-update problem. In this talk I will discuss ways to combine them and why it might be interesting to do so. … Monads and Lenses – Dr James Cheney
Translational Neuroimaging Based Psychiatric Research Computational methods are having a considerable influence on contemporary neuroscience research: in data collection (non-invasive functional brain imaging), data analysis and computational modelling of healthy and abnormal brain and behaviour. The presentation is in two parts. Part 1 is an overview of the current main computational-neuroscience areas in research. Part … Translational Research into Common Psychiatric Disorders, Professor Douglas Steele, Professor of Neuroimaging / Consultant Psychiatrist, University of Dundee
*PLEASE NOTE THIS TALK WILL TAKE PLACE IN BMS BUILDING – SEMINAR ROOM 113* BIO: Nikhil Barthwal is a polyglot programmer currently working as a Senior Software Engineer at Jet.com, an e-commerce startup recently acquired by Walmart. He works in the Tools & Productivity team with the aim of making developers more productive, as well … Implementing Event-Driven Microservices Architecture using Functional programming
BIO Tim Palmer read Computational Science in St Andrews graduating in 1993. Initially working for Oracle in London then San Francisco, he went on to work in Investment Banking Technology for over a decade. Most recently Tim was CTO for The Exchange Lab – a programmatic marketing company. He is now Senior Partner in Digiterre, … The technology driving the evolution of internet advertising, targeted advertising or intrusive surveillance?
Abstract F#, just like other non-pure functional languages, allows you find the sweet spot between FP practices and OO language pragmatism. Most of the advanced features of F# give you the power to change the language and to introduce a higher level of abstraction to your code. In this talk, we will discuss active patterns, … “Unfrying your brain with F#” Andrea Magnorsky, Workday Software Ltd
Speaker: Jan de Muijnck-Hughes Abstract Communicating protocols are a cornerstone of modern system design. However, there is a disconnect between the different tooling used to design, implement and reason about these protocols and their implementations. Session Types are a typing discipline that help resolve this difference by allowing protocol specifications to be used during type-checking … Type-Driven Development of Communicating Systems using Idris
Title: Innovation Begins at Home Abstract: Prof Andy Stanford-Clark, Chief Technologist for Smarter Energy at IBM UK, will discuss the journey from Smart Metering to a future Smart Grid, incorporating the challenges of microgeneration, electric vehicles, intermittent generation, and demand-side management. Focusing specifically on energy saving in the home, Andy will talk about his own … Departmental Seminar – Andy Stanford-Clark
This seminar is suitable for CS3053-RPIC A talk by Prof Ron Morrison …with many ideas from: Dharini Balasubramaniam, Graham Kirby, Kath Mickan – University of St Andrews, Brian Warboys, R. Mark Greenwood, Ian Robertson, Bob Snowdon – University of Manchester and technologies developed by some of the above and Alfred Brown, Al Dearle, Richard Connor, Quintin Cutts, … School Seminar: Programs that Write Programs – Is that Interesting?- by Prof Ron Morrison, …with many ideas from…
TBA
Abstract Obesity, poor diet and lifestyle and the associated health care costs are set to cripple the governmental budgets of most Western countries over the coming decades. The facts of the equation are simple. Energy intake must exceed energy output for weight loss, and living within a healthy weight range has a host of benefits. … School Seminar: HCI in Health Care by Jill Freyne -ICT Centre,CSIRO