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 address this problem.

The talk will cover inertial, radio-based and vision-based localisation approaches and their advantages and disadvantages in different settings.

 

Short Bio:

Niki Trigoni is a Professor at the Oxford University Department of Computer Science and a fellow of Kellogg College. She obtained her PhD at the University of Cambridge (2001), became a postdoctoral researcher at Cornell University (2002-2004), and a Lecturer at Birkbeck College (2004-2007). Since she moved to Oxford in 2007, she established the Sensor Networks Group, and has conducted research in communication, localization and in-network processing algorithms for sensor networks. Her recent and ongoing projects span a wide variety of sensor networks applications, including indoor/underground localization, wildlife sensing, road traffic monitoring, autonomous (aerial and ground) vehicles, and sensor networks for industrial processes.

Event details

  • When: 8th November 2016 14:00 - 15:00
  • Where: Cole 1.33
  • Series: School Seminar Series
  • Format: Seminar, Talk

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). It takes paying some attention to detail to improve the implementation significantly. This presentation starts with a simple implementation and makes incremental improvements to eventually yield a proper generic and fast sorting function. All code will be in C++ but it should be possible to follow the majority of the reasoning with knowledge of another programming language.

 

Short Bio:

Dietmar Kühl is a senior software developer at Bloomberg L.P. working on the data distribution environment used both internally and by enterprise installations at clients. Before joining Bloomberg he has done mainly consulting for software projects in the finance area. He is a regular attendee of the ANSI/ISO C++ standards committee, presents at conferences, and he used to be a moderator of the newsgroup comp.lang.c++.moderated. He frequently answers questions on Stackoverflow.

Event details

  • When: 25th October 2016 14:30 - 15:30
  • Where: Cole 1.33
  • Series: School Seminar Series
  • Format: Seminar, Talk

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”

F8_2bLVV

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 medicine advancing. This has seemingly freed us from the shackles of the ultimate closure experience – death – and sanctioning our personal pursuit of heaven on earth in the form of consumption. We are now encouraged to drunkenly stumble from purchase to purchase, with any sense of longevity and responsibility removed. Long term side effects of this are exampled in the Product, Service and Digital landscapes that we frequent. The consequences of our behaviour results in a changing climate, industries fined billions for mis-selling and individuals casually eroding their personal online reputations. Many of us are active in the creation of services, products or digital products; making them attractive, engaging and usable for consumers, but we often overlook concluding these experiences for the user in a responsible way. Closure Experiences offers a model to frame this change.

Bio
Joe Macleod has been working in the mobile design space since 1998 and has been involved in a pretty diverse range of projects. At Nokia he helped develop some of the most streamlined packaging in the world, he created a hack team to disrupt the corporate drone of powerpoint, produced mobile services for pregnant women in Africa and pioneered lighting behavior for millions of phones. For the last four years he has been key to establishing ustwo as the UKs best digital product studio, with 180 people globally in London, New York, Sydney and Sweden, while also successfully building education initiatives, curriculums and courses on the back of the IncludeDesign campaign which launched in 2013. He now works independently on projects and has recently established established Closure Experiences, a new business looking at issues around consumption, consumerism and designing the end of things.

Event details

  • When: 29th March 2016 14:00 - 15:00
  • Where: Cole 1.33
  • Series: School Seminar Series
  • Format: Seminar, Talk

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 with the goal that at least one of them will be correctly mapped to a correct knowledge-base query. We introduce a novel grammar model for paraphrase generation that does not require any sentence-aligned paraphrase corpus. Our key idea is to leverage the flexibility and scalability of latent-variable probabilistic context-free grammars to sample paraphrases. We do an extrinsic evaluation of our paraphrases by plugging them into a semantic parser for Freebase. Our evaluation experiments on WebQuestions benchmark dataset show that the performance of the semantic parser significantly improves over strong
baselines.

Bio:

Shashi Narayan is a research associate at School of Informatics at the University of Edinburgh. He is currently working with Shay Cohen onthe problems of spectral methods for parsing and generation. Before,he earned his doctoral degree in 2014 from Université de Lorraine,under the supervision of Claire Gardent. He received Erasmus MundusMasters scholarship (2009-2011) in Language and CommunicationTechnology (EM-LCT). He did his major in Computer Science and Engineeringfrom Indian Institute of Technology (IIT), Kharagpur India. He is interested in the application of syntax and semantics to solvevarious NLP problems, in particular, natural language generation,parsing, sentence simplification, paraphrase generation and questionanswering.

Event details

  • When: 26th January 2016 14:00 - 15:00
  • Where: Cole 1.33
  • Series: School Seminar Series
  • Format: Seminar, Talk

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

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 for the design of interfaces, including the presentation and exploration of data visualisations. Using bar charts as an example, this presentation will explore the shortcomings of current zooming techniques on very small screens and consider proposed guidelines for the development of simple data exploration applications. Key design features such as the need for overview and context will be considered in respect to a simple and effective data exploration task.

 

Biography:

Rachel Menzies is a lecturer and Head of Undergraduate Studies (Computing) at the School of Science and Engineering at the University of Dundee. Her research interests include user centred design with marginalised user groups, such as users with disabilities, as well as exploring novel interfaces, data visualisation and CS education. Rachel is an Accessibility and Usability Consultant with the Human Centred Computing Consultancy, run by the University of Dundee, and has worked for many large international clients as well as providing bespoke training sessions to small companies.

Event details

  • When: 23rd February 2016 14:00 - 15:00
  • Where: Cole 1.33
  • Series: School Seminar Series
  • Format: Seminar, Talk

The scientific life of Ada Lovelace

Prof. Ursula Martin will be talking about the letters of Lady Ada Lovelace at 5.30pm on Thursday 17th December in Abertay University (Kydd Building, Bell St, Dundee, behind Dundee High School).

This is a BCS sponsored event and all are welcome. Teas/Coffees from 4.30pm. PhD research posters will also be on display.

Event details

  • When: 17th December 2015 16:30 - 18:30
  • Format: Talk

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

as

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 the educational implications of recent theoretical arguments about the embodied nature of cognition. Video data from the project will be used to illustrate the methodological significance of the way children gesture when describing mathematical concepts and evaluate a hypothesis that numerical development is grounded upon two particular embodied metaphors. If correct, this presents a serious challenge to traditional approaches to the types of learning materials we offer children. The talk then demonstrates two embodied technologies to consider the potential of new forms of digital interaction to further our understanding of embodied cognition as well as support early learning.

 

 Bio:  

 

Dr Andrew Manches is a Chancellor’s Fellow in the School of Education and leads the Children and Technology group at the University of Edinburgh.  He has 20 years experience working with children, first as a teacher, then as an academic. His recent research, funded by an ESRC Future Research Leader grant, focuses on the role of interaction in thinking, and the implications this has for early learning and new forms of technology.  When not being an academic, Andrew is a parent of two young children and directs an early learning technology start-up that was awarded a SMART grant this year to build an early years maths tangible technology.

Event details

  • When: 24th November 2015 14:00 - 15:00
  • Where: Cole 1.33a
  • Series: School Seminar Series
  • Format: Seminar, Talk

IEEE talks: JEEVES and the Speculative W@nderverse

In October 2015 we attended two IEEE conferences in the USA. Daniel Rough presented a full paper at the IEEE Symposium on Visual Languages and Human-Centric Computing, October 18–22, in Atlanta, Georgia. Uta Hinrichs presented a full paper at the IEEE Information Visualization (InfoVis) conference as part of VizWeek, October 25-30 in Chicago, Illinois. You can find details of these and all our papers on the publications page.

On November 10th, Daniel and Uta will reprise their talks here in St Andrews and everyone is welcome to attend. You can find the details for the two talks below along with links to the papers via the University of St Andrews research portal.

Talk 1 by Daniel Rough
Title: Jeeves – A Visual Programming Environment for Mobile Experience Sampling
Authors: Rough, D and Quigley, A.

Abstract: The Experience Sampling Method (ESM) captures participants’ thoughts and feelings in their everyday environments. Mobile and wearable technologies afford us opportunities to reach people using ESM in varying contexts. However, a lack of programming knowledge often hinders researchers in creating ESM applications. In practice, they rely on specialised tools for app creation. Our initial review of these tools indicates that most are expensive commercial services, and none utilise the full potential of sensors for creating context-aware applications.

We present “Jeeves”, a visual language to facilitate ESM application creation. Inspired by successful visual languages in literature, our block-based notation enables researchers to visually construct ESM study specifications. We demonstrate its applicability by replicating existing ESM studies found in medical and psychology literature. Our preliminary study with 20 participants demonstrates that both non-programmers and programmers are able to successfully utilise Jeeves. We discuss future work in extending Jeeves with alternative mobile technologies.

Paper details from the St Andrews Research Portal: Rough, DJ & Quigley, AJ 2015, ‘ Jeeves – a visual programming environment for mobile experience sampling ‘, IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Atlanta, United States

 

Talk 2 by Uta Hinrichs

Title: Speculative Practices: Utilizing InfoVis to Explore Untapped Literary Collections

Authors:
Hinrichs, U.,  Forlini, S. ; Moynihan, B.
Abstract:
In this paper we exemplify how information visualization supports speculative thinking, hypotheses testing, and preliminary interpretation processes as part of literary research. While InfoVis has become a buzz topic in the digital humanities, skepticism remains about how effectively it integrates into and expands on traditional humanities research approaches. From an InfoVis perspective, we lack case studies that show the specific design challenges that make literary studies and humanities research at large a unique application area for information visualization. We examine these questions through our case study of the Speculative W@nderverse, a visualization tool that was designed to enable the analysis and exploration of an untapped literary collection consisting of thousands of science fiction short stories. We present the results of two empirical studies that involved general-interest readers and literary scholars who used the evolving visualization prototype as part of their research for over a year. Our findings suggest a design space for visualizing literary collections that is defined by (1) their academic and public relevance, (2) the tension between qualitative vs. quantitative methods of interpretation, (3) result- vs. process-driven approaches to InfoVis, and (4) the unique material and visual qualities of cultural collections. Through the Speculative W@nderverse we demonstrate how visualization can bridge these sometimes contradictory perspectives by cultivating curiosity and providing entry points into literary collections while, at the same time, supporting multiple aspects of humanities research processes.

Published in:
IEEE Transactions on Visualization and Computer Graphics,  (Vol:22, Issue: 1 )  Page(s): 429 – 438
ISSN :  1077-2626
DOI:     10.1109/TVCG.2015.2467452

Paper details from the St Andrews Research Portal:
Hinrichs, U, Forlini, S & Moynihan, B 2015, ‘ Speculative practices: utilizing InfoVis to explore untapped literary collections IEEE Transactions on Visualization and Computer Graphics .

Event details

  • When: 10th November 2015 14:00 - 15:00
  • Where: Cole 1.33a
  • Format: Talk

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.

roy

Abstract: This talk explores the relationship between coherent (aka “geometric”) logic and first-order logic (FOL), with special reference to the coherence/geometricity required of accessibility conditions in Negri’s work on modal logic (and our joint work with her on intermediate logic). It has been known to some since the 1970s that every first-order theory has a coherent conservative extension, and weaker versions of this result have been used in association with the automation of coherent logic; but, it is hard to find the result in the literature. We discuss various proofs of the result, and present a coherentisation algorithm with the desirable property of being idempotent.

Please see: http://tableaux2015.ii.uni.wroc.pl/index.html for further details

Event details

  • When: 20th September 2015 10:00 - 24th September 2015 17:00
  • Format: Conference, Talk