Informatics, School of
The School of Informatics brings together research in Computer Science, Cognitive Science, Computational Linguistics and Artificial Intelligence. It provides a fertile environment for a wide range of interdisciplinary studies, leading to this new science of Informatics.
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
Collections in this Community
Recent Submissions
-
Inferential automation of statistical methodologies in a query-answering system
(The University of Edinburgh, 2023-11-07)Query Answering (QA) systems are the most broadly accessible interface to data-focussed systems, most effectively hiding high inner complexity, with their main use being in data retrieval, usually with minimal inference. ... -
Exploration of walking speed prediction: a data-driven approach
(The University of Edinburgh, 2023-11-07)Hikers and hillwalkers typically use the gradient in the direction of travel (walking slope) as the main variable in established methods for predicting walking speeds along a route. Research into fell-running has suggested ... -
Towards data-driven and machine learning based mobile network automation and planning
(The University of Edinburgh, 2023-11-06)Mobile networks are one of the largest and most ubiquitous deployed systems in the world with growing complexity and global demand. Mainly the mobile networks are primarily operated manually, which is a time-consuming ... -
Learning, deducing and linking entities
(The University of Edinburgh, 2023-10-25)Improving the quality of data is a critical issue in data management and machine learning, and finding the most representative and concise way to achieve this is a key challenge. Learning how to represent entities accurately ... -
Mechanising Euler's use of infinitesimals in the proof of the Basel problem
(The University of Edinburgh, 2023-10-24)In 1736 Euler published a proof of an astounding relation between π and the reciprocals of the squares. π²/6 = 1+ 1/4+ 1/9 + 1/25 … Until this point, π had not been part of any mathematical relation outside of geometry. ... -
Speech wave-form driven motion synthesis for embodied agents
(The University of Edinburgh, 2023-10-19)The main objective of this thesis is to synthesise motion from speech, especially in conversation. Based on previous research into different acoustic features or the combination of them were investigated, no one has ... -
Natural type inference
(The University of Edinburgh, 2023-10-19)Recently, dynamic language users have started to recognize the value of types in their code. To fulfil this need, many popular dynamic languages have adopted extensions that support type annotations. A prominent example ... -
Resource efficient action recognition in videos
(The University of Edinburgh, 2023-10-18)This thesis traces an innovative journey in the domain of real-world action recognition, in particular focusing on memory and data efficient systems. It begins by introducing a novel approach for smart frame selection, ... -
Nonlocal games and their device-independent quantum applications
(The University of Edinburgh, 2023-10-16)Device-independence is a property of certain protocols that allows one to ensure their proper execution given only classical interaction with devices and assuming the correctness of the laws of physics. This scenario ... -
Concurrent design and motion planning in robotics using differentiable optimal control
(The University of Edinburgh, 2023-10-10)Robot design optimization (what the robot is) and motion planning (how the robot moves) are two problems that are connected. Robots are limited by their design in terms of what motions they can execute – for instance a ... -
Linguistic typology for neural machine translation
(The University of Edinburgh, 2023-10-09)The vast structural diversity of languages worldwide, compounded by the problem of scarce resources, remains a challenge for machine translation research. To address this problem, we leverage knowledge from the field of ... -
Transparency: from tractability to model explanations
(The University of Edinburgh, 2023-10-04)As artificial intelligence (AI) and machine learning (ML) models get increasingly incorporated into critical applications, ranging from medical diagnosis to loan approval, they show a tremendous potential to impact society ... -
Towards human-like compositional generalization with neural models
(The University of Edinburgh, 2023-10-03)The human language system exhibits systematic compositionality: the ability to produce and understand a potentially infinite number of novel linguistic expressions by systematically combining known atomic components. ... -
Co-designing reliability and performance for datacenter memory
(The University of Edinburgh, 2023-09-25)Memory is one of the key components that affects reliability and performance of datacenter servers. Memory in today’s servers is organized and shared in several ways to provide the most performant and efficient access to ... -
Learning robotic motor skills for dynamic grasping, catching, and dexterous in-hand manipulation
(The University of Edinburgh, 2023-09-19)Endowing robots with human-level grasping and manipulation skills is an appealing yet challenging research topic over decades. Towards more extensive functionalities, the robots should interact with the objects and environment ... -
Arabic sarcasm detection
(The University of Edinburgh, 2023-09-19)Sarcasm is a form of verbal irony that is often used to express ridicule or contempt. When using sarcasm, a speaker expresses their opinion in an indirect way, where the literal meaning is different from the intended one. ... -
Optimization strategies for large scale distributed systems
(The University of Edinburgh, 2023-09-14)Every day we rely on large distributed software services for communication, information, commerce, entertainment, and many other personal and business use cases. These services are globally available, sometimes with billions ... -
Strategy complexity of lim sup and lim inf payoff objectives in countable MDPs
(The University of Edinburgh, 2023-08-30)We study countably infinite Markov decision processes (MDPs) with real-valued tran- sition rewards. A strategy is a function which decides how plays proceed within the MDP. Every strategy induces a set of infinite runs ... -
Robust SLAM and motion segmentation under long-term dynamic large occlusions
(The University of Edinburgh, 2023-08-29)Visual sensors are key to robot perception, which can not only help robot localisation but also enable robots to interact with the environment. However, in new environments, robots can fail to distinguish the static and ... -
Nesting optimization with adversarial games, meta-learning, and deep equilibrium models
(The University of Edinburgh, 2023-08-29)Nested optimization, whereby an optimization problem is constrained by the solutions of other optimization problems, has recently seen a surge in its application to Deep Learning. While the study of such problems started ...
