The School will celebrate more student successes and accomplishments next week, when our recent MSc and PhD students graduate. We look forward to toasting their success at our graduation reception in the School of Computer Science, next Thursday afternoon, between 12 and 3.30. Over the years graduation has involved cakes, fizz, laughter, changeable weather and … Join us for Graduation: Thursday 7th December
Abstract The core problem in many sensing applications is that we’re trying to infer high-resolution information from low-resolution observations — and keep our trust in this information as the sensors degrade. How can we do this in a principled way? There’s an emerging body of work on using topology to manage both sensing and analytics, … “Sensing and topology: some ideas by other people, and an early experiment” by Simon Dobson
Abstract: Searching for complex objects (e.g. images, faces, audio or video), is an everyday problem in computer science, motivated by many applications. Efficient algorithms are demanded for reverse searching, also known as query by content, in large repositories. Current industrial solutions are ad hoc, domain-dependant, hardware intensive and have limited scaling. However, those disparate domains … Edgar Chavez (CICESE): The Metric Approach to Reverse Searching (School Seminar)
Type systems are often presented in a declarative style, but with an emphasis on ensuring that there is some sort of type synthesis algorithm. Since Pierce and Turner’s “Local Type Inference” system, however, there has been a small but growing alternative: bidirectional typing, where types are synthesized for variables and elimination forms, but must always … Bidirectional-Curious? – Dr. Conor McBride
Modern external beam radiation therapy techniques allow the design of highly conformal radiation treatment plans that permit high doses of ionsing radition to be delivered to the tumour in order to eradicate cancer cells while sparing surrounding normal tissue. However, since it is difficult to avoid irradiation of normal tissue altogether and ionising radiation also … Computational Approaches for Accurate, Automated and Safe Cancer Care – HIG Seminar
Congratulations to David Castro, who successfully defended his thesis today. David’s thesis was supervised by Professor Kevin Hammond. He is pictured with Internal examiner, Dr Edwin Brady and external examiner Professor Graham Hutton, from the University of Nottingham.
Self-organisation and self-governance offer an effective approach to resolving collective action problems in multi-agent systems, such as fair and sustainable resource allocation. Nevertheless, self-governing systems which allow unrestricted and unsupervised self-modification expose themselves to several risks, including the Suber’s paradox of self-amendment (rules specify their own amendment) and Michel’s iron law of oligarchy (that the … SRG Seminar: “Interactional Justice vs. The Paradox of Self-Amendment and the Iron Law of Oligarchy” by Jeremy Pitt
Congratulations to Adam Barwell, who successfully defended his thesis yesterday. Adam’s thesis was supervised by Professor Kevin Hammond. He is pictured with second supervisor Dr Christopher Brown, Internal examiner Dr Susmit Sarkar and external examiner Professor Susan Eisenbach from Imperial College, London.
Lucas’s abstract “Indoor environment quality has a significant effect on worker productivity through a complex interplay of factors such as temperature, humidity and levels of Volatile Organic Compounds (VOCs). In this talk I will discuss my Masters project which used off the shelf sensors and Raspberry Pis to collect environmental readings at one minute intervals … “Ambient intelligence with sensor networks” by Lucas Amos and “Location, Location, Location: Exploring Amazon EC2 Spot Instance Pricing Across Geographical Regions” by Nnamdi Ekwe-Ekwe
Abstract Dependent types are increasingly used in functional programming languages. The surface syntax of dependent types, as seen by a programmer, is elaborated by a compiler into an internal, type-theoretic representation. In order to perform this step, the compiler needs to infer a nontrivial amount of information to successfully type-check the internal representation. This process—type … Towards Refinement by Resolution in Dependent Type Theory – František Farka