Katja

DLS: Distributed Systems and Sensing by Prof. Julie McCann

Distributed Systems and Sensing by Julie McCann Event details When: 7th November 2016 09:15 – 16:00 Where: Lower College Hall Series: Distinguished Lectures Series Format: Distinguished lecture 7th November 2016 Lower and Upper College Halls   Introduction By Professor Simon Dobson School of Computer Science University of St Andrews The first of this academic year’s DLS: Distributed Systems and Sensing by Prof. Julie McCann

Multi-modal Indoor Positioning: Trends and Challenges by Prof. Niki Trigoni, Oxford University

Abstract: GPS has enabled a number of location based services outdoors, but the problem of localisation remains open in GPS-denied environments, such as indoors and underground. In this talk, I will discuss the key challenges to accurate and robust position estimation, and will describe a variety of sensor modalities and algorithms developed at Oxford to Multi-modal Indoor Positioning: Trends and Challenges by Prof. Niki Trigoni, Oxford University

Quicker Sort by Dietmar Kühl, Bloomberg L.P.

  Abstract: Quicksort is a well-known sorting algorithm used to implement sort functionality in many libraries. The presentation isn’t really about the algorithm itself but rather about how to actually create an efficient implementation of the algorithm: a text-book implementation of the algorithm actually is not that quick (even if the pivot is chosen cleverly). Quicker Sort by Dietmar Kühl, Bloomberg L.P.

Running Before We have Evolved Legs: The Gap Between Theory and Practice in Evolutionary Algorithms by Prof. John McCall

Abstract: Evolutionary algorithms (EA) has developed as an academic discipline since the 1960s. The subject has spawned major subfields such as swarm intelligence and genetic programming and is applied to a wide variety of practical real world problems in science medicine and engineering. EAs are often the only practical method of solving large combinatorial optimisation Running Before We have Evolved Legs: The Gap Between Theory and Practice in Evolutionary Algorithms by Prof. John McCall

School Seminar ‘Closure Experiences in Digital Product Design’ by Joe Macleod

“Closure Experiences in Digital Product Design. The loss of the resolution in the shop of abundance” Abstract Most experiences in life are punctuated by a closure experience. In the past these were profound; however, over generations we have distanced ourselves from meaningful closure experiences thanks to our lifestyles increasing in comfort, the church weakening and School Seminar ‘Closure Experiences in Digital Product Design’ by Joe Macleod

School Seminar ‘Paraphrase Generation from Latent-Variable PCFGs for Semantic Parsing’ by Shashi Narayan

Abstract: One of the limitations of semantic parsing approaches to open-domain question answering is the lexicosyntactic gap between natural language questions and knowledge base entries — there are many ways to ask a question, all with the same answer. In this paper we propose to bridge this gap by generating paraphrases to the input question School Seminar ‘Paraphrase Generation from Latent-Variable PCFGs for Semantic Parsing’ by Shashi Narayan

Seminar: “Data Exploration on Smart watches” by Dr Rachel Menzies

Abstract: For many of us, interacting with data on mobile devices such as phones and tablets is commonplace in our lives, e.g. phone call data, TV guide, maps, fitness and wearable data. With the introduction of smart watches, the screen size of mobile devices has dramatically decreased. This reduction in screen real estate provides challenges Seminar: “Data Exploration on Smart watches” by Dr Rachel Menzies

Seminar: “Interaction, Embodiment and Technologies in Early Learning” by Dr Andrew Manches

Abstract:    Most of us might agree that ‘hands-on learning’ is good for children in the early years. But why? Is it simply more fun and sociable, or are there any more direct cognitive benefits? And what determines definitions of ‘hands-on’? Can we include iPads? This talk will draw upon an ESRC-funded project to examine Seminar: “Interaction, Embodiment and Technologies in Early Learning” by Dr Andrew Manches

Dr Roy Dyckhoff, Hon. Senior Lecturer: ‘Coherentisation of first-order logic’

The School of Computer Science is delighted to announce that honorable lecturer Dr Roy Dyckhoff is an invited speaker at the conference on Automated Reasoning with Analytic Tableaux and Related Methods, in Wrocław (Poland) from 20–24 September. Abstract: This talk explores the relationship between coherent (aka “geometric”) logic and first-order logic (FOL), with special reference Dr Roy Dyckhoff, Hon. Senior Lecturer: ‘Coherentisation of first-order logic’