Event

SRG Seminar: “Interactional Justice vs. The Paradox of Self-Amendment and the Iron Law of Oligarchy” by Jeremy Pitt

Self-organisation and self-governance offer an effective approach to resolving collective action problems in multi-agent systems, such as fair and sustainable resource allocation. Nevertheless, self-governing systems which allow unrestricted and unsupervised self-modification expose themselves to several risks, including the Suber’s paradox of self-amendment (rules specify their own amendment) and Michel’s iron law of oligarchy (that the … SRG Seminar: “Interactional Justice vs. The Paradox of Self-Amendment and the Iron Law of Oligarchy” by Jeremy Pitt

“Ambient intelligence with sensor networks” by Lucas Amos and “Location, Location, Location: Exploring Amazon EC2 Spot Instance Pricing Across Geographical Regions” by Nnamdi Ekwe-Ekwe

Lucas’s abstract “Indoor environment quality has a significant effect on worker productivity through a complex interplay of factors such as temperature, humidity and levels of Volatile Organic Compounds (VOCs). In this talk I will discuss my Masters project which used off the shelf sensors and Raspberry Pis to collect environmental readings at one minute intervals … “Ambient intelligence with sensor networks” by Lucas Amos and “Location, Location, Location: Exploring Amazon EC2 Spot Instance Pricing Across Geographical Regions” by Nnamdi Ekwe-Ekwe

Towards Refinement by Resolution in Dependent Type Theory – František Farka

Abstract Dependent types are increasingly used in functional programming languages. The surface syntax of dependent types, as seen by a programmer, is elaborated by a compiler into an internal, type-theoretic representation. In order to perform this step, the compiler needs to infer a nontrivial amount of information to successfully type-check the internal representation. This process—type … Towards Refinement by Resolution in Dependent Type Theory – František Farka

SACHI Seminar: Alix Goguey (University of Saskatchewan) – Augmenting touch expressivity to improve the touch modality

  Title Augmenting touch expressivity to improve the touch modality Abstract During the last decades, touch surfaces have become more and more ubiquitous. Whether on tablets, on smartphones or on laptops, touch surfaces are used by a majority of us on a daily basis. However, the limited expressivity – the different channels used to convey … SACHI Seminar: Alix Goguey (University of Saskatchewan) – Augmenting touch expressivity to improve the touch modality

SACHI Seminar – Florian Echtler (Bauhaus-Universität Weimar): Instant Interaction

Title: Instant Interaction Abstract: Although Mark Weiser’s original vision of “ubiquitous computing” has all but arrived due to the wide availability of smartphones, tablets and interactive screens, the envisioned ease of use is still mostly lacking. This is particularly apparent when we consider interaction and collaboration between multiple persons and their personal mobile devices. These … SACHI Seminar – Florian Echtler (Bauhaus-Universität Weimar): Instant Interaction

“A Decentralised Multimodal Integration of Social Signals: A Bio-Inspired Approach” by Esma Benssassi and “Plug and Play Bench: Simplifying Big Data Benchmarking Using Containers” by Sheriffo Ceesay

Esma’s abstract The ability to integrate information from different sensory modalities in a social context is crucial for achieving an understanding of social cues and gaining useful social interaction and experience. Recent research has focused on multi-modal integration of social signals from visual, auditory, haptic or physiological data. Different data fusion techniques have been designed … “A Decentralised Multimodal Integration of Social Signals: A Bio-Inspired Approach” by Esma Benssassi and “Plug and Play Bench: Simplifying Big Data Benchmarking Using Containers” by Sheriffo Ceesay

SRG Seminar: “Adaptive Multisite Computation Offloading in Mobile Clouds” by Dawand Sulaiman and “Topological Ranking-Based Resource Scheduling for Multi-Accelerator Systems” by Teng Yu

Dawand’s abstract The concept of using cloud hosted infrastructure as a means to overcome the resource-constraints of mobile devices is known as Mobile Cloud Computing (MCC), and allows applications to run partially on the device, and partially on a remote cloud instance, thereby overcoming any device-specific resource constraints. However, as smart phones and tablets gain … SRG Seminar: “Adaptive Multisite Computation Offloading in Mobile Clouds” by Dawand Sulaiman and “Topological Ranking-Based Resource Scheduling for Multi-Accelerator Systems” by Teng Yu

Semantics for probabilistic programming – Dr Chris Heunen

Statistical models in e.g. machine learning are traditionally expressed in some sort of flow charts. Writing sophisticated models succinctly is much easier in a fully fledged programming language. The programmer can then rely on generic inference algorithms instead of having to craft one for each model. Several such higher-order functional probabilistic programming languages exist, but their semantics, and hence correctness, are not … Semantics for probabilistic programming – Dr Chris Heunen

DLS: What Every Computer Scientist Should Know About Computer History

What Every Computer Scientist Should Know About Computer History Prof Ursula Martin Update: Lectures will be live streamed at this link. Distinguished Lecture Series, Semester 1, 2017-18 Biography: Professor Ursula Martin CBE FREng FRSE joined the University of Oxford as Professor of Computer Science in 2014, and is a member of the Mathematical Institute.  She holds … DLS: What Every Computer Scientist Should Know About Computer History