The Higher Education Research Group is happy to announce the workshop on using video on Computer Science education on Aug 7th 2018. Goals Participants of this full-day workshop will look at the role of video in education in general, and specifically: * Discussing opportunities and challenges that are specific for use of video in teaching … Workshop on Using Video in CS Education
The Higher Education Research Group is happy to announce the SICSA-sponsored workshop on learning analytics on Aug 6th 2018. Goals The purpose of this SICSA-sponsored workshop is to encourage an evidence-based approach to teaching by leveraging quantitative and qualitative data available to CS schools. Most importantly, we plan to organise a multi-institution study on using … SICSA Workshop on Learning Analytics in Education
Secondary School pupils from across the country are given a taste of what computer science involves by taking part in a practical programming activity. This sessions is part of First Chances at St Andrews.
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
Abstract: The increasing complexity of codes with the growing number of cores that should be utilised make such codes hard to optimise and maintain. In this talk, we present the OpenMP and MPI refactoring implemented in the ParaFormance tool. This tool transforms the sequential code into parallel code able to run on shared memory machines. … The OpenMP and MPI refactoring with ParaFormance – Turkey Alsalkini
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
Title: A Type-System for describing System-on-a-Chip Architectures Abstract: The protocols that describe the interactions between IP Cores on System-on-a-Chip (SoC) architectures are well-documented. These protocols described not only the structural properties of the physical interfaces but also the behaviour of the emanating signals. However, there is a disconnect between the design of SoC architectures, their … A Type-System for describing System-on-a-Chip Architectures – Jan De Muijnck-Hughes