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
-
Studies concerning the meaning of computer programs: formal specifications and implementations, monolithic and distributed programs, and the semantics of syntactic transformations
(The University of Edinburgh, 2024-11-08)This doctoral thesis presents three studies that concerns the meaning of computer programs in three different aspects, namely, specifications and implementations, monolithic and distributed frameworks, and the formal ... -
Enhancing gait rehabilitation using robotic assistance and functional electrical stimulation
(The University of Edinburgh, 2024-11-07)Wearable robots and assistive exoskeletons have great potential as tools for rehabilitation and assisted living. By providing support to dedicated joints and body segments, these devices can foster the independence of ... -
Expressiveness and structural properties of centrality measures
(The University of Edinburgh, 2024-10-31)Centrality measures are used as analytical tools to understand graph-based data in various contexts. They are particularly useful for detecting important agents in disease spreading, influential individuals in social ... -
Controlling text-to-speech pronunciation using limited linguistic resources
(The University of Edinburgh, 2024-10-29)Correct pronunciation is essential for high-quality text-to-speech (TTS) systems. To achieve this, the majority of TTS systems rely on phonemes as an intermediate representation between input graphemes and output speech. ... -
Trustworthy distributed data management systems
(The University of Edinburgh, 2024-10-29)Distributed data management systems such as transactional databases, fault-tolerant Key-Value stores (KVs), and shared logs are extensively deployed in the third-party cloud infrastructure as the foundational systems to ... -
Efficient cross-architecture simulation of multicore systems
(The University of Edinburgh, 2024-10-24)Computer systems are continually becoming more complex and powerful in all areas of computing, from high-end servers to embedded devices. Machine virtualisation has become an instrumental technology to manage these vast ... -
Privacy in question-answering systems: managing online identity and posting behaviour on Quora
(The University of Edinburgh, 2024-10-24)There has been an ongoing debate concerning the impact of using real identities versus anonymity on the dynamics of online environments. Quora represents an interesting platform to study the interplay between identity ... -
Introducing LeSIoN: a specialist deep learning framework for the detection of acute ischaemic stroke from non-segmented computed tomography scans
(The University of Edinburgh, 2019-11)Ischaemic stroke is the most common type of stroke, occurring in around 85% of stroke cases. For many patients presenting to the hospital as an emergency with symptoms of a stroke, a computed tomography scan of the brain ... -
Clinically-interpretable and large-scale machine learning to monitor mood disorders with wearables
(The University of Edinburgh, 2024-10-21)Mood Disorders (MDs) are common and severe psychiatric conditions with a relapsing-remitting course. Timely intervention during impending episodes improves outcomes, but pre-emptive measures are limited due to infrequent ... -
Improving natural language processing for under-served languages through increased training data diversity
(The University of Edinburgh, 2024-10-21)More and better data is often the most effective way to improve the quality of natural language processing (NLP), with the highest-performing applications requiring terabytes of data. However, most of the world's language ... -
Controlling context factors in abstractive summarization of long documents
(The University of Edinburgh, 2024-10-17)The massive influx of textual data poses a significant challenge in technical fields, fueling the research of text summarization systems. Through innovative approaches in representation learning and extensive data utilization, ... -
AI-driven design of enzyme replacement therapies
(The University of Edinburgh, 2024-10-17)Artificial intelligence (AI) and Machine Learning (ML) have become pivotal technologies in the 21st century, revolutionizing many industries, including retail, finance, manufacturing and healthcare among others. The role ... -
Process-aware pattern recognition and deviation detection under uncertainty
(The University of Edinburgh, 2024-10-15)Humans naturally follow specific patterns in their daily activities, whether driven by best practices, physical layouts, social norms or established processes or routines. Monitoring and understanding these human activities ... -
Visual assessment of changes in activity levels while eating
(The University of Edinburgh, 2024-10-14)This doctoral thesis investigates non-intrusive ways to monitor the changes in activity levels while eating. Elderly individuals encounter a variety of health challenges including sarcopenia which causes a decrease in the ... -
Towards point-free spacetimes
(The University of Edinburgh, 2024-10-14)In this thesis we propose and study a theory of ordered locales, a type of point-free space equipped with a preorder structure on its frame of opens. It is proved that the Stone-type duality between topological spaces and ... -
Enhancing inclusivity in human-computer interaction through the implementation of temporal uncertainty tools
(The University of Edinburgh, 2024-10-09)This doctoral study explores how Temporal Uncertainty tools can enhance inclusion in HCI. It proposes that HCI should design tools that accommodate individuals’ diverse and uncertain temporalities. It argues that dominant ... -
Data-driven evaluation of designed proteins using structural features, machine learning and cell-free expression systems
(The University of Edinburgh, 2024-10-08)Proteins are the biological molecules that perform almost all the biochemical work that is necessary for life. Native proteins have a vast array of functionality as catalysts, materials, signalling molecules and more. ... -
Evaluating similarity network construction in biomedical data: implications for community detection performance
(The University of Edinburgh, 2024-09-01)Similarity network construction is a fundamental step in many approaches to community detection in biomedical analysis. It is used both in the creation of network structures from non-relational data and as a processing ... -
Parameter-efficient transfer learning for pre-trained transformers
(The University of Edinburgh, 2024-10-02)In this thesis I will tackle a problem in machine learning and natural language processing (NLP) that I will refer to as ‘parameter efficient transfer learning’. This involves taking ‘general-purpose’, large-scale models ... -
Scaling and explaining machine learning powered database applications
(The University of Edinburgh, 2024-09-30)For decades, database systems have been the backbone of applications in a wide range of domains, e.g., finance, web services, business intelligence, social analysis, healthcare. Meanwhile, the resurgence of machine ...
