Dr Alan Boyd and Dr Nicholas Malden, D Young & Co LLP (Patent Attorneys) Intellectual Property – What, why, and how? In many technological fields, especially computer science, output isn’t a physical object that can be sold, but is an idea or an expression of an idea that comes from your mind. But how can … Intellectual Property – What, why, and how?
Limits of language can be studied from various perspectives such as morphology, syntax, and semantics, among others. At the syntactic level, one direction that has been pursued very actively is via the theory of formal languages, beginning with the so-called Chomsky hierarchy. In this hierarchy, the finite state languages (regular languages) and the context free … Some Limits of Language: A Perspective from Formal Grammars and Languages by Prof Arvind Joshi, School of Engineering and Applied Science, University of Pennsylvania, USA
Internships are fantastic opportunities to gain some practical experience as well as find out what is happening the real world of computer science! Come and hear some our UG students share their experiences of their 2013 summer internships. Melissa Mozifian: Adobe Waqas Arshad: AIG Mariya Hristova: Google STEP Sam Koch: Facebook
Welcome to the first presentation in the School of Computer Science’s Seminar Series. Please join us on for a seminar on Skyscanner’s technology this Tuesday (September 24) at 14:00 in Purdie Lecture Theatre C. The two talks combined will take about 50 minutes with time for questions, and combine two topics presented by Skyscanner experts: … Scaling Skyscanner’s Flight Search & Making Mobile Applications at Skyscanner
Speaker: Prof. Jonathan Seldin, University of Lethbridge, Canada Abstract: In this talk it is shown that every intermediate logic obtained from intuitionistic logic by adding a disjunction can be normalized. However, the normalisation procedure is not as complete as that for intuitionistic and minimal logic because some results which usually follow from normalisation fail, including … On Normalising Disjunctive Intermediate Logics
SACHI seminar Title: Team-buddy: investigating a long-lived robot companion Speaker: Ruth Aylett, Heriot-Watt University, Edinburgh Abstract: In the EU-funded LIREC project, finishing last year, Heriot-Watt University investigated how a long-lived multi-embodied (robot, graphical) companion might be incorporated into a work-environment as a team buddy, running a final continuous three-week study. This talk gives an overview of the … SACHI Seminar: Team-buddy: investigating a long-lived robot companion
Abstract: Large text document collections are increasingly important in a variety of domains; examples of such collections include news articles, streaming social media, scientific research papers, and digitized literary documents. Existing methods for searching and exploring these collections focus on surface-level matches to user queries, ignoring higher-level thematic structure. Probabilistic topic models are a machine … Jacob Eisenstein: Interactive Topic Visualization for Exploratory Text Analysis
Abstract: Contemporary ICT infrastructures are trending towards a pervasive substrate of internet-connected sensors, actuators and human interfaces. Effective use of this pervasive infrastructure is key to solving 21st century challenges such as: mass transportation, energy conservation and environmental monitoring. Building effective applications that execute on this infrastructure requires advanced middleware support that respects the resource … System Seminar: Middleware support for wireless sensor network, by Prof. Danny Hughes, KU Leuven, Belgium
Abstract Wireless sensor networks are attracting increasing interest but suffering from severe challenges such as power constraints and low data reliability. Sensors are often energy-hungry and cannot operate over a long period, and the data they collect are frequently erroneous due to complex causes. Thus a challenging research question is how to optimise energy consumptions … System Seminar: Unifying sensor fault detection with energy conservation, on 23 April, by Lei Fang, University of St Andrews
Title: Innovation Begins at Home Abstract: Prof Andy Stanford-Clark, Chief Technologist for Smarter Energy at IBM UK, will discuss the journey from Smart Metering to a future Smart Grid, incorporating the challenges of microgeneration, electric vehicles, intermittent generation, and demand-side management. Focusing specifically on energy saving in the home, Andy will talk about his own … Departmental Seminar – Andy Stanford-Clark