Computer Science (Scholarly Publications): Recent submissions
Now showing items 1-20 of 1420
-
Mapping the Evolving Space of Interactive Digital Narrative - From Artifacts to Categorizations
(2013)Categorizing Interactive Digital Narrative (IDN) works is challenging because artistic and technological approaches constantly evolve. At the same time, a range of theoretical approaches from neo-Aristotelian perspectives ... -
A neural-network-based realization of in-network computation for the Internet of Things
(2017)Ultra-dense Internet of Things (IoT) networks and machine type communications herald an enormous opportunity for new computing paradigms and are serving as a catalyst for profound change in the evolution of the Internet. ... -
Routing and Spectrum Allocation in Broadband Quantum Entanglement Distribution
(2025)We investigate resource allocation for quantum entanglement distribution over an optical network. We characterize and model a network architecture that employs a single broadband quasi-deterministic time-frequency heralded ... -
Priming and personality effects on the Sense of Embodiment for human and non-human avatars in Virtual Reality
(2024)The increasingly widespread use of Virtual Reality (VR) technology necessitates a deeper understanding of virtual embodiment and its relationship to human subjectivity. Individual differences and primed perceptual ... -
Dog Code: Human to Quadruped Embodiment using Shared Codebooks
(2024)Many VR animal embodiment sytsems suffer from poor animation fidelity, typically animating the animal avatars using inverse kinematics. We address this issue, presenting a novel deep-learning method, centred around a ... -
Towards an Algebra for Unifying Theories of Concurrent Programming (UTCP)
(Springer Nature, 2024)Unifying Theories of Concurrent Programming (UTCP) is a denotational semantics of shared-variable concurrency, expressed using the notation and methodology of Unifying Theories of Programming (UTP). A key feature is that ... -
An Operational Semantics for Yul
(Springer Nature Switzerland, 2024)We present a big-step and small-step operational semantics for Yul — the intermediate language used by the Solidity compiler to produce EVM bytecode — in a mathematical notation that is congruous with the literature of ... -
PADRAIG: Precise Android Automated Input Generation
(IEEE, 2024)Android automated test input generation has been a highly researched topic for over a decade and has shown promising results with a variety of approaches. Random input generation is commonly used and the easiest to ... -
Modelling Android applications through static analysis and systematic exploratory testing
(IEEE, 2023)Mobile application development is a fast paced industry with frequent releases. While the development pace increases, so too does the need for automated test generation. Model-based test generation is one of the most ... -
Metamorphic Testing for Pose Estimation Systems
(2025)Pose estimation systems are used in a variety of fields, from sports analytics to livestock care. Given their potential impact, it is paramount to systematically test their behaviour and potential for failure. This is a ... -
Frisbees and Dogs: Domain Adaptation for Object Detection with Limited Labels in Rugby Data
(2024)Object detection often struggles when applied to low-resource, domain-specific datasets. This challenge is exacerbated when dealing with sports-related data such as rugby, where fast-paced gameplay and tackles result ... -
A Tangible Interface for Creating Virtual Cutaways in Mixed Reality
(Springer Nature, 2024)In this paper, we discuss work-in-progress research on tangible interfaces for interactive cutaway visualizations in Mixed Reality (MR). We present an approach that allows users to flexibly and intuitively define virtual ... -
Towards a Human Rights-Based Approach to Ethical AI Governance in Europe
(2024)As AI-driven solutions continue to revolutionise the tech industry, scholars have rightly cautioned about the risks of ‘ethics washing’. In this paper, we make a case for adopting a human rights-based ethical framework ... -
A framework for measuring the training efficiency of a neural architecture
(2024)Measuring Efficiency in neural network system development is an open research problem. This paper presents an experimental framework to measure the training efficiency of a neural architecture. To demonstrate our approach, ... -
Safe CAV lane changes using MARL and control barrier functions
(2024)Connected and Autonomous Vehicles (CAVs) are expected to improve road safety and traffic efficiency in the near future. Recently, Multi-Agent Reinforcement Learning (MARL) algorithms have been applied to optimise lane change ... -
Multi-task learning for predicting quality-of-life and independence in activities of daily living after stroke: a proof-of-concept study
(2024)A health-related (HR) profile is a set of multiple health-related items recording the status of the patient at different follow-up times post-stroke. In order to support clinicians in designing rehabilitation treatment ... -
Assessing the relative importance of vitamin D deficiency in cardiovascular health
(2024)Previous research has suggested a potential link between vitamin D (VD) deficiency and adverse cardiovascular health outcomes, although the findings have been inconsistent. This study investigates the association between ... -
Motion Energy Alignment Analysis in Dialogue
(2024)We study physical alignment in conversations and motion energy (ME) validation. ME is estimated through counts of pixel changes in video regions of interest. ME of interlocutors is quantified with the MEA system, which ... -
The Social Contract
(2024)The interactional (non)behaviour of ignoring openings is analyzed. This is a response that is typically thought of as anomalous – impolite, at best, and hostile, at worst. Trends in assessment of such responses are ... -
Issues in the Ethics of Using Generative AI
(2024)Reflections on the relationship between performance enhancing drugs and some forms of academic dishonesty are presented. Generative AI is analyzed as a cognitive infocommunications technology, a technology intended in ...
