Professor Mateu Villaret, from Universitat de Girona is a visiting scholar with the AI group from July 1st until September 30th. Professor Villaret works on algorithms for routing and scheduling with the AI group at St Andrews. As well as solving practical problems, he also enjoys puzzle games. That is the basis of this talk, … Seminar: SMT, Planning and Snowmen
The school of Physics & Astronomy (Room 222) are hosting our next Digital Health Seminar 12.00pm – Lunch 12.20pm – Isla Rose & Mary Barnard Ultraviolet Radiation, DNA damage, and sunscreen 12.50pm – Lewis McMillan Monte Carlo radiation transfer model of laser tissue ablation 1.20pm – Nicole Schanche Planet candidate detection and ranking using MachineLearning … DHSI Seminar Series
Abstract: Dependent types are a wonderful way to construct correct functional programming and specify interfaces as Edwin has shown in his nice book on type driven development using a welsh dragon. But shall we go further in the esoteric world of homotopy type theory? I will try to motivate this and I am looking forward … Why Homotopy type Theory (HoTT) matters – Professor Thorsten Altenkirch
Title: User Experience: a step towards Natural User Interfaces. Abstract: The road to natural interfaces is still long and we are now witnessing an artificial naturality. These interfaces are natural, in the sense they employ hand gestures, but they are also artificial, because the system designer imposes the set of gestures. In this lecture we will explore … SACHI Seminar: Alessio Malizia – User Experience: a step towards Natural User Interfaces.
Steven Drost (CodeBase Chief Strategy Officer) and Jamie Coleman (CodeBase CoFounder and Chair) will talk about the topics that are rarely discussed in an academic environment around startups, product management, jobs to be done and disruption. Discussing aspects of UX, HCI, AI and systems development this is the stuff that they wish every computer scientist … War Stories: Building new tech products in an uncertain world
Abstract In this talk, I will talk about the possibility of using Bayesian nonparametric clustering, or Dirichlet Process Mixture model to solve human activity recognition problem. In particular, I will discuss how the technique can be useful when the activity labels are not annotated and/or the activity evolves over the time. This initial study is … SRG Seminar: “Application of Bayesian Nonparametric in household human activity recognition” by Lei Fang
Abstract Data processing paradigms are undergoing a paradigm shift as we move more and more towards real time processing. Emerging software models such as the SMACK stack are at the forefront of this change, focused on a pipeline processing model, but are also introducing new levels of operational complexity in running multiple complex distributed systems … SRG Seminar: “Introduction to Apache Mesos and the DataCenter Operating System” by Matt Jarvis
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
We have explored data coordination techniques that permit distributed systems to be constructed by interconnecting services. In such systems the network latency is often a problem. For example, large data volumes might have to be transmitted across the network if computation cannot be co-located close to data sources. One solution to this problem is the … SRG Seminar: “On Engineering Unikernels” by Ward Jaradat
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