Talk

Seminar: ‘Formalizing Garbage: Mathematical Models of Memory Management’ by Jeremy Singer

Abstract: Garbage collection is no longer an esoteric research interest. Mainstream programming languages like Java and C# rely on high-performance memory managed run time systems. In this talk, I will motivate the need for rigorous models of memory management to enable more powerful analysis and optimization techniques. I will draw on a diverse range of … Seminar: ‘Formalizing Garbage: Mathematical Models of Memory Management’ by Jeremy Singer

School Seminars: Building the News Search Engine – Bloomberg

Building the news search engine, by Ramkumar Aiyengar, Bloomberg Abstract: This talk provides an insight into the challenges involved in providing near real-time news search to Bloomberg customers. Our News team is in the process of migrating to using Solr/Lucene as its search and alerting backend. This talk starts with a picture of what’s involved … School Seminars: Building the News Search Engine – Bloomberg

School Seminar Series: Matching in Practice: Junior Doctor Allocation and Kidney Exchange

Matching in Practice: Junior Doctor Allocation and Kidney Exchange by Dr. David Manlove Abstract: Matching problems typically involve assigning agents to commodities, possibly on the basis of ordinal preferences or other metrics. These problems have large-scale applications to centralised matching schemes in many countries and contexts. In this talk I will describe the matching problems … School Seminar Series: Matching in Practice: Junior Doctor Allocation and Kidney Exchange

School Seminar Series: Statistically Consistent Estimation and Efficient Inference for Natural Language Parsing

Statistically Consistent Estimation and Efficient Inference for Natural Language ParsingBy Shay Cohen, University of Edinburgh. Abstract: In the past few years, there has been an increased interest in the machinel earning community in spectral algorithms for estimating models with latent variables. Examples include algorithms for estimating mixture of Gaussians or for estimating the parameters of … School Seminar Series: Statistically Consistent Estimation and Efficient Inference for Natural Language Parsing

School Seminar: Cloud Platform in Financial Services – Allan Beck, J.P. Morgan

Title: Cloud Platform in Financial Services Presenter: Allan Beck, Cloud Platform and Strategy Lead from JPMorgan Chase Abstract: Cloud Computing is revolutionising the delivery of compute services and driving the next generation of web-scale application design. This presents enormous opportunities but also challenges, particularly in heavily regulated sectors such as Financial Services. Allan Beck, Cloud … School Seminar: Cloud Platform in Financial Services – Allan Beck, J.P. Morgan

Thursday Seminar from Japan – Prof. Yoshifumi Kitamura – Interactive Content Design and 3D Interactions

Date: 2014-11-13 Time: 14:00 to 15:00 Location: Maths Lecture Theatre A, North Haugh, University of St Andrews. Title: Interactive Content Design and 3D Interactions Abstract: Good media content has the power to enrich our lives. We focus on non-traditional content other than movies, music and games, conducting comprehensive research on a variety of interactive content … Thursday Seminar from Japan – Prof. Yoshifumi Kitamura – Interactive Content Design and 3D Interactions

Seminar by John Slaney

What is Meyer’s E1 problem? John Slaney, Australian National University The E1 problem is a rather specialised question concerning propositional logic. It was posed by R. K. Meyer almost 50 years ago, and is still open. In this talk, I undertake to explain the problem, to review progress towards its solution and possibly even to … Seminar by John Slaney

Geometrisation of first-order logic

Dr. Roy Dyckhoff will give a talk titled, “Geometrisation of first-order logic”. Abstract: We show that every first-order theory T has a conservative extension G_T that is a geometric theory. Reasoning problems in T can therefore be replaced by problems in G_T, where the methods of geometric (aka ‘coherent’) logic are applicable. We discuss related … Geometrisation of first-order logic

An Experience of Peer Instruction

Talk by Quintin Cutts, University of Glasgow Fed up with talking at students in one-hour chunks? Fed up with them not turning up, or falling asleep, or not remembering anything you said? Alternatively, are you fed up going to seminars where you get talked at for 55 minutes with only 5 minutes to ask questions? … An Experience of Peer Instruction