Event

Diderot: A Parallel Domain-Specific Language for Image Analysis and Visualization – John Reppy

Diderot: A Parallel Domain-Specific Language for Image Analysis and Visualization Abstract: The analysis of structure in three-dimensional images is increasingly valuable for biomedical research and computational science. At the same time, the computational burden of processing images is increasing as devices produce images of higher resolution (e.g., typical CT scans have gone from 128^3 to … Diderot: A Parallel Domain-Specific Language for Image Analysis and Visualization – John Reppy

SACHI Seminar: Matjaž Kljun – Large scale studies of habit changing interface design

SACHI Seminar – Large scale studies of habit changing interface design Speaker: Matjaž Kljun Abstract: Various technologies can be used in persuading people to change their habits, behaviours or attitudes. Such technologies are defined as persuasive and they are used in a variety of fields such as marketing, public health and education. We are daily exposed to … SACHI Seminar: Matjaž Kljun – Large scale studies of habit changing interface design

SACHI Seminar: Klen Čopič Pucihar – The Missing Interface: Micro Gestures on Objects for Augmented Reality Interaction

SACHI Seminar – The Missing Interface: Micro Gestures on Objects for Augmented Reality Interaction Speaker: Klen Čopič Pucihar Abstract: Augmented reality technology can introduce digital elements to arbitrary objects. However, these objects were never designed to incorporate the digital component, hence do not provide the necessary interface. To overcome this limitation, AR Interaction systems add sensors to … SACHI Seminar: Klen Čopič Pucihar – The Missing Interface: Micro Gestures on Objects for Augmented Reality Interaction

Marwan Fayed (St Andrews): Quality of Experience Fairness for Adaptive Video Streams in the Network (School Seminar)

Abstract: “Why is my kid getting HD on their phone, while I’m stuck with SD on my 50″ TV?” This type of complaint is among the most common directed to streaming services such as Netflix and BBC. Recent studies observe that adaptive video streams, when competing behind a bottleneck link, generate flows that lead to … Marwan Fayed (St Andrews): Quality of Experience Fairness for Adaptive Video Streams in the Network (School Seminar)

Compositional Coinduction with Sized Types – Dr. Andreas Abel

Abstract: Formal languages and automata are taught to every computer science student.  However, the student will most likely not see the beautiful coalgebraic foundations, which use coindutive reasoning. In this talk, I recapitulate how infinite tries can represent formal languages (sets of strings).  I explain Agda’s coinduction mechanism based on copatterns and sized types demonstrate … Compositional Coinduction with Sized Types – Dr. Andreas Abel

Impact Talk: Xelect Ltd

This is Impact talk as a “brown bag lunch” (i.e. you bring your lunch if you wish) and the school will provide cakes. Xelect Ltd – a successful spin-out from the University of St Andrews Xelect was founded 5 years ago by Professor Ian Johnston and Dr Tom Ashton to provide genetic services to the … Impact Talk: Xelect Ltd