Can Language Models be Weak Annotators We are happy to have Phong Le, from Amazon, talk on Teams on Wed 3 March at 12 noon on Teams. Abstract Deep language models e.g. BERT and GPT3 are the breakthrough in Natural Language Processing in the last 3 years. Being trained on massive raw text data, they … Seminar – Phong Le, Amazon – 3rd March 2021
The second school seminar on 5th November at 2pm, on Teams. If you do not have the Teams link available please contact the organiser, Ian Gent. Dimensionality Reduction in non-Euclidean Spaces Richard Connor Deep Learning (ie Convolutional Neural Networks) gives astoundingly good classification over many domains, notably images. Less well known, but perhaps more exciting, … Seminar – Richard Connor – 5th November
Can a user write a good MIP model without understanding linearization? Modelling languages such as AMPL and AIMMS are being extended to support more features, with the goal of making MIP modelling easier. A big step is the incorporation of predicates, such a “cycle” which encapsulate MIP sub-models. This talk explores the impact of such predicates … MIP Modelling Made Manageable
CUHK + UniMelb = Fable-based Learning + A Tale of Two Cities Prof Jimmy Lee, Chinese University of Hong Kong This talk reports on the pedagogical innovation and experience of a joint venture by The Chinese University of Hong Kong (CUHK) and the University of Melbourne (UniMelb) in the development of MOOCs on the computer … Fable-based Learning: Seminar by Prof Jimmy Lee
We are delighted to announced that the School of Computer Science has achieved an Athena SWAN Bronze Award, as recognition of our commitment to advancing gender equality. Almost all teaching staff contributed to the application for the award, as well as many other staff in all categories, research students, masters students, and undergraduates. In congratulating … School achieves Athena SWAN Bronze Award
What Every Computer Scientist Should Know About Computer History Prof Ursula Martin Update: Lectures will be live streamed at this link. Distinguished Lecture Series, Semester 1, 2017-18 Biography: Professor Ursula Martin CBE FREng FRSE joined the University of Oxford as Professor of Computer Science in 2014, and is a member of the Mathematical Institute. She holds … DLS: What Every Computer Scientist Should Know About Computer History
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
Jacob Howe, City University, London Abstract: This talk will recap how a watched literal DPLL based SAT solver can be succinctly coded in 20 lines of Prolog. The focus of the talk will be the extension of this solver to an SMT solver which will be discussed with a particular focus on the case where the … Seminar: Propagation and Reification: SAT and SMT in Prolog (continued)
We are delighted to congratulate Iveta Dulova, who attended the 10th BCSWomen Lovelace Colloquium, and walked away with the prize for “Best Final Year Student”. Iveta’s poster, titled “SensorCube: An end-to-end framework for conducting research via mobile sensing“, was based on her final year project supervised by Dr Juan Ye. The event was held at Aberystwyth University … Best Final Year Student at Lovelace 2017
Algorithms for healthcare-related matching problems Distinguished Lecture Series, Semester 2, 2016-7 David Manlove School of Computing Science, University of Glasgow Lower College Hall (with overflow simulcast in Upper College Hall) Abstract: Algorithms arise in numerous everyday applications – in this series of lectures I will describe how algorithms can be used to solve matching problems having applications … DLS: Algorithms for healthcare-related matching problems