School Seminar – Andy Gordon

Reverend Bayes, meet Countess Lovelace: Probabilistic Programming for Machine Learning

Andrew D. Gordon, Microsoft Research and University of Edinburgh

Abstract: We propose a marriage of probabilistic functional programming with Bayesian reasoning. Infer.NET Fun turns the simple succinct syntax of F# into an executable modeling language – you can code up the conditional probability distributions of Bayes’ rule using F# array comprehensions with constraints. Write your model in F#. Run it directly to synthesize test datasets and to debug models. Or compile it with Infer.NET for efficient statistical inference. Hence, efficient algorithms for a range of regression, classification, and specialist learning tasks derive by probabilistic functional programming.

Bio: Andy Gordon is a Principal Researcher at Microsoft Research Cambridge, and is a Professor at the University of Edinburgh. Andy wrote his PhD on input/output in lazy functional programming, and is the proud inventor of Haskell’s “>>=” notation for monads. He’s worked on a range of topics in concurrency, verification, and security, never straying too far from his roots in functional programming. His current passion is deriving machine learning algorithms from F# programs.

Event details

  • When: 8th October 2012 15:00 - 16:00
  • Where: Phys Theatre C
  • Format: Seminar

Virtual Worlds Research: NuiLib & Armadilo

Exciting update on two pieces of software from the Open Virtual Worlds research group.

The first is NuiLib
(available at NuiLib.org), a utility library for facilitating
development with NUI (Natural User Input) devices (such as the Microsoft
Kinect).

It puts an abstraction layer over the top of the NUI device to
hide the gory details of the original API and allows the developer to
focus on what they are trying to use the device for. It aims to ease
cross platform support, support for different devices, development and
experimentation with new NUI input parsing algorithms, integration of
new algirithms and code clarity.

The second is Armadillo.

This is a Virtual World client modified to support Kinect input. Users
can perform gestures to move their avatar through the world without having to interact with the computer itself. Helpful in museum or school installation
projects.

A video of Armadillo in action is available on the Open Virtual Worlds’ facebook timeline.
Kinect integration in Armadillo was achieved solely using NuiLib.

NuiLib has been featured on Microsoft’s Channel9 Coding for Fun blog
and by the DevelopKinect
community.

Talks are underway to include Armadillo in an
educational pilot program across 38 schools in Ireland and as part of a
Virtual World performance art project.

Both projects were developed by John McCaffery. You can find him in Room 0.09 (Jack Cole Building).

If you are starting on a Kinect project and want
to look at NuiLib or would like to superman your way through the Open
Virtual Worlds group’s reconstruction
of St Andrews Cathedral
send him an email or pop in for a chat.

School Seminar – Barry Brown

Mobility in vivo

Barry Brown, Co-director Mobile Life, University of Stockholm

barbro.tumblr.com
The Mobile VINN Excellence Centre

Abstract
Despite the widespread use of mobile devices, details of mobile technology use ‘in the wild’ have proven difficult to collect. For this study we uses video data to gain new insight into the use of mobile computing devices. Screen-captures of smartphone use, combined with video recordings from wearable cameras, allow for the analysis of the detail of device use in a variety of activity and settings. We use this data to describe how mobile device use is threaded into other co-present activities, focusing on the use of maps and internet searches to support users on a day-trip. Close analysis of the video data reveals novel aspects of how gestures are used on touch screens, in that they form a resource for the ongoing coordination of joint action. We go on to describe how the local environment and information in the environment are combined to guide and support action. In conclusion, we argue for the mobility of mobile devices being as much about this interweaving of activity and device use, as it is about physical portability.

Barry Brown

Event details

  • When: 1st October 2012 15:00 - 16:00
  • Where: Phys Theatre C
  • Format: Seminar

Postgraduate Computer Science BBQ

After a busy week of welcome talks and induction, orientation week drew to a close with the postgraduate BBQ.

MSc and PhD students had an opportunity to meet each other, discuss their diverse backgrounds, previous studies, eat burgers, twiglets and consume the local delicacy Irn Bru.

Images Courtesy of Anne Campbell

Orientation Week BBQ

It was great to see so many undergraduate computer science students at the Orientation Barbecue yesterday. New and returning students had the opportunity to discuss the merits of studying computer science, eat burgers and consume the traditional Irn Bru in a friendly setting.

The Gaming/Programming Competition winners also received their prize in the form of Amazon vouchers. Congratulations to Maclej, Simon and Daniel.

PhD Reading Party 2012

The PhD Reading Party was held at the Burn House, just outside Edzell in the
North East of Scotland.

It was an opportunity for the research students to
give a talk in a relaxed atmosphere, about their research interests.
It also allowed for some socialising while wandering through the nearby
woods and rivers.

Each student gave a 20 minute talk including time for questions and discussions.

In the free time some went off to explore the nearby forest and salmon
rich river while others decided to take a trip to Montrose and test the
North Sea.

Text and Images Courtesy of Ruth Hoffmann


St Andrews Algorithmic Programming Competition

When: Wednesday 12th of September 9:30am – 5pm (with a 1 hour break for lunch)
Where: Sub-honours lab in Jack Cole building (0.35)

As part of this competition, you may be offered an opportunity to participate in a Human-Computer Interaction study on subtle interaction. Participation in this study is completely voluntary.

There will be two competitive categories:
HCI study participants:
1st prize: 7” Samsung Galaxy Tab 2
2nd prize: £50 Amazon voucher
3rd prize: £20 Amazon voucher
Everyone:
1st prize: £50 Amazon voucher
2nd prize: £20 Amazon voucher
3rd prize: £10 Amazon voucher

We will try to include as many programming languages as is reasonable, so if you have any special requests, let us know.
If you have one, bring a laptop in case we run out of lab computers!
If you have any questions, please email Jakub on jd67@st-andrews.ac.uk

Event details

  • When: 12th September 2012 09:30 - 17:00
  • Where: Cole 0.35 - Subhons Lab

Facing Healthcare’s Future: Designing Facial Expressivity for Robotic Patient Mannequins

Speaker: Laurel Riek, University of Notre Dame
Title: Facing Healthcare’s Future: Designing Facial Expressivity for Robotic Patient Mannequins

Abstract:

In the United States, there are an estimated 98,000 people per year killed and $17.1 billion dollars lost due to medical errors. One way to prevent these errors is to have clinical students engage in simulation-based medical education, to help move the learning curve away from the patient. This training often takes place on human-sized android robots, called high-fidelity patient simulators (HFPS), which are capable of conveying human-like physiological cues (e.g., respiration, heart rate). Training with them can include anything from diagnostic skills (e.g., recognizing sepsis, a failure that recently killed 12-year-old Rory Staunton) to procedural skills (e.g., IV insertion) to communication skills (e.g., breaking bad news). HFPS systems allow students a chance to safely make mistakes within a simulation context without harming real patients, with the goal that these skills will ultimately be transferable to real patients.

While simulator use is a step in the right direction toward safer healthcare, one major challenge and critical technology gap is that none of the commercially available HFPS systems exhibit facial expressions, gaze, or realistic mouth movements, despite the vital importance of these cues in helping providers assess and treat patients. This is a critical omission, because almost all areas of health care involve face-to-face interaction, and there is overwhelming evidence that providers who are skilled at decoding communication cues are better healthcare providers – they have improved outcomes, higher compliance, greater safety, higher satisfaction, and they experience fewer malpractice lawsuits. In fact, communication errors are the leading cause of avoidable patient harm in the US: they are the root cause of 70% of sentinel events, 75% of which lead to a patient dying.

In the Robotics, Health, and Communication (RHC) Lab at the University of Notre Dame, we are addressing this problem by leveraging our expertise in android robotics and social signal processing to design and build a new, facially expressive, interactive HFPS system. In this talk, I will discuss our efforts to date, including: in situ observational studies exploring how individuals, teams, and operators interact with existing HFPS technology; design-focused interviews with simulation center directors and educators which future HFPS systems are envisioned; and initial software prototyping efforts incorporating novel facial expression synthesis techniques.

Biography:

Dr. Laurel Riek is the Clare Boothe Luce Assistant Professor of Computer Science and Engineering at the University of Notre Dame. She directs the RHC Lab, and leads research on human-robot interaction, social signal processing, facial expression synthesis, and clinical communication. She received her PhD at the University of Cambridge Computer Laboratory, and prior to that worked for eight years as a Senior Artificial Intelligence Engineer and Roboticist at MITRE.

Event details

  • When: 4th September 2012 13:00 - 14:00
  • Where: Cole 1.33a
  • Format: Seminar

Forthcoming talk by SICSA Distinguished Visitor

Room 1.33a at 2:00 pm on Friday 7th September 2012

  • Introduction to Grammatical Formalisms for Natural Language Parsing
  • Giorgio Satta, Department of Information Engineering, University of Padua, Italy

Abstract:
In the field of natural language parsing, the syntax of natural languages is

modeled by means of formal grammars and automata. Sometimes these formalisms

are borrowed from the field of formal language theory and are adapted to the
task at hand, as in the case of context-free grammars and their lexicalized
versions, where each individual rule is specialized for one or more lexical
items. Sometimes these formalisms are newly developed, as in the case of
dependency grammars and tree adjoining grammars. In this talk, I will
briefly overview several of these models, discussing their mathematical
properties and their use in parsing of natural language.

Event details

  • When: 7th September 2012 14:00 - 15:00
  • Where: Cole 1.33a
  • Format: Seminar, Talk