Semantics for probabilistic programming, Dr Chris Heunen

Semantics for probabilistic programming, Dr Chris Heunen 03.10.17, 1pm, Room JCB 1.33B Abstract: Statistical models in e.g. machine learning are traditionally expressed in some sort of flow charts. Writing sophisticated models succintly 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 … Semantics for probabilistic programming, Dr Chris Heunen

n-Queens Completion is NP-Complete

Update, 2021 Over the years since we published this research, many people have approached us having solved the n queens puzzle, either for one n like 8 or 1000, or having written an algorithm to solve it for different sizes.  Unfortunately this is not a major result in Computer Science and does not make one … n-Queens Completion is NP-Complete

MSc Poster Demo Session 2017

After a year of hard work, and an intensive summer dissertation, our MSc students submitted their dissertations last week and presented their project posters and artefacts. The eventful poster demonstration session provides a great opportunity for students to meet with second markers, reflect upon their MSc experience and appreciate the diverse projects completed by their … MSc Poster Demo Session 2017

DHS Seminar Series: Cross cutting technological theme – imaging and sensing

Digital Health Science Seminar Series “Cross cutting technological theme – imaging and sensing” Speakers: David Harris-Birtill, Michael Mazilu, Malte Gather, Nils Kronenberg, Vivienne Wild & Milena Pawlik Friday 25th August 2017 12 – 2 pm Room 222,  School of Physics and Astronomy

DHSI Seminar Series

Room 222 – Physics and Astronomy “Cross cutting technological theme – imaging and sensing” 12:05 Michael Mazilu: Introduction               12:15  Malte Gather and Nils  Kronenberg: Developing cell forces mapping for clinical diagnosis 12:45 Vivienne Wild and  Milena Pawlik: Analysing images of galaxies      13:15  Coffee Break       13:25 David Harris-Birtill : Automated Remote Pulse Oximetry         

Postgraduate Dinner at Fairmont Hotel

Postgraduate student, Paul Dobra organised an end of semester celebratory dinner at the Fairmont Hotel in April. The social event marked the end of teaching and provided a chance to relax before the commencement of dissertation. Paul supplied comments and shared some photos from the occasion. “There are rather few occasions not to be happy … Postgraduate Dinner at Fairmont Hotel

Monads and Lenses – Dr James Cheney

Talk Title:  Monads and Lenses Abstract: Monads are an abstraction that can be used to mathematically model computational effects (among other things).  Lenses are an abstraction for bidirectional computation, a generalization of the view-update problem.  In this talk I will discuss ways to combine them and why it might be interesting to do so.   … Monads and Lenses – Dr James Cheney

Immersive Learning Keynote: Dr Alan Miller

Dr Alan Miller joined other virtual reality educationalists to give an invited keynote talk at the 3rd Immersive Learning Network Conference on Tuesday 27th June. The presentation drew upon two major complementary themes: virtual time travel and the use of immersive technologies for museums.

SACHI Seminar: Benjamin Bach – Between Exploration and Explanation: Visualizations for Insights, Curiosity, and Storytelling

Please note that this seminar will now take place in Jack Cole 1.33A on Wednesday 5th July between 15:00 and 16:00 Title: Between Exploration and Explanation: Visualizations for Insights, Curiosity, and Storytelling. Abstract: This talk presents a set of interactive visualizations for exploration and recent work in how to communicate insights through data-driven stories. In … SACHI Seminar: Benjamin Bach – Between Exploration and Explanation: Visualizations for Insights, Curiosity, and Storytelling