Seminar

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

Matthew Rice (Open Rights Group): Do we need the Third Sector in the debate about technology and ethics? (School Seminar)

Abstract: Matthew Rice, Scotland Director for the Open Rights Group, the digital rights campaigning organisation, will lead a seminar discussing the role of civil society organisations in the discourse of technology, rights, regulation, and norms. Computer Scientists sit at an important point in this debate, as individuals affected by changes in norms, but more importantly … Matthew Rice (Open Rights Group): Do we need the Third Sector in the debate about technology and ethics? (School Seminar)

Arnau Erola (Oxford): Corporate Insider Threat Detection (School Seminar)

Abstract: It is widely recognised that the threat to enterprises from insider activities is increasing, and that significant costs are being incurred. Since insider threat and compromising actions can take a multitude of forms, there is a diverse experience and understanding of what insider threats are, and how to detect or prevent them. We investigate … Arnau Erola (Oxford): Corporate Insider Threat Detection (School Seminar)

Elliott Brooks (The HUT Group): Technology at The HUT Group (School Seminar)

Abstract: The HUT Group have a variety of engineering, UX and data science teams solving real-world customer and logistics problems. This presentation looks at a variety of solutions applied across the business, from continuous release processes to warehouse layout approaches. Speaker Bio: Elliott graduated from CS at St Andrews in 2016, and now works within … Elliott Brooks (The HUT Group): Technology at The HUT Group (School Seminar)

Alice Miller (Glasgow): Probabilistic model checking for UAV strategy generation (School Seminar)

Abstract: I will describe how the PRISM model checker was used to generate strategies for an Unmanned Aerial Vehicle (UAV), specifically to determine search strategies for a UAV trying to find objects within a grid, for a range of scenarios. Parameters and probabilities for our models were informed by simulation models developed in the School … Alice Miller (Glasgow): Probabilistic model checking for UAV strategy generation (School Seminar)