RSS 1.0School of Computer Science and Statistics
Academic/Research Units within this Academic/Research Unit
-
Computer Science
Computer Science -
Statistics
Statistics
Recent Submissions
-
Parallelizing Adaptive Reliability Analysis through Penalizing the Learning Function
(2024)Structural reliability analysis is essential for evaluating system failure probabilities under uncertainties, yet it often faces computational efficiency challenges. While surrogate model based techniques, including ... -
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 ... -
Information Jockey: The Dubious Role of the 21st-century Academic
(2002)While the university has traditionally been our primary centre for the management of knowledge, a variety of factors are changing the processes associated with this function. This paper discusses the university’s ... -
The Challenges of Disconnected Delay-Tolerant MANETs
(2010)This article is concerned with the challenges associated with supporting communication in disconnected MANETs with such a sparse population of nodes and so little (or no) fixed infrastructure that the network graph is ... -
The Effect of Educational Video Game Perceptual Realism on Learning Outcomes and Motivation
(IEEE, 2024)This paper presents a study of the effect of the level of perceptual realism of the game world’s dimensionality, graphics, and physics on learning outcomes and motivation. An evaluation of two versions of an educational ... -
Identification and IDNs in the Metaverse: who will we be?
(Springer, 2022)One’s digital identity on the Metaverse is critical enough to warrant EU regulation. Suggesting Interactive Digital Narratives as having a role to play in the Metaverse, we focus on the identity of the Virtual Reality ... -
Exploring Classical Music Narratives through Multimodality in AR/VR Experiences
(Springer, 2022)Although Music is considered the field of emotions and moods, every composition has a structure: beginning, development, climax and conclusion. In classical music, there are many genres, but each piece always tells a ... -
FV3-202 Formal Verification Report
(2021)The aim of the RTEMS SMP project is to pre-qualify RTEMS of the community (rtems.org) and to decrease the manual work required for future pre-qualifications. -
IMA-KQP Phase 4: R1: Formal Methods Expertise � Final Report
(2016)This document describes results of an exploration of ways to use formal methods and tech- niques to assist with the qualification of Time-Space Partitioning (TSP) kernels. It is being written as part of ESTEC Contract ... -
Exploring how Politeness Impacts the User Experience of Chatbots for Mental Health Support
(2024)Politeness is important in human-human interaction when asking people to engage in sensitive conversations. If politeness manifests similarly in human-chatbot interaction, it may play an important role in the design of ... -
The Role of Voice in Virtual Reality Interactive Narratives
(2024)Providing enough information to allow the VR player to self-identify is an important factor in their immersion into a virtual world. The sensory information being provided to the player’s eyes and ears through the headset ... -
The Art/Technology Interface: Innovation and Identity in Information-Age Ireland
(2004)Ireland was subject to a considerable transformation towards the end of the 19th century and again at the end of the 20th century with the Celtic Tiger boom. The latter can be seen as a particularly fast-tracked phase ... -
Extending the Event-Based Programming Model to support Sensor-Driven Ubiquitous Computing Applications
(IEEE Computer Society, 2009)We propose an extension to the event-based programming model for sensor-driven ubiquitous computing applications. The extension consists of three abstractions: Multi-Event Handlers, Event Streams and Execution Policies. ... -
Whose narrative is this? A character's expression of Identity to counter a Hegemonic Narrative
(2023)As author-driven stories enter the realm of interactive narratives and provide interactors with freedom of choice in narrative paths and endings, this often happens at the character narrative’s expense. Positioning this ... -
Handbook of Mathematics
(2000) -
Deploying Promela/Spin-based test generation on RTEMS: A progress report
(ASD Eurospace, 2023) -
Qualification Strategy and Plan for Integrated Modular Avionics for Space Separation Kernel
(2016)The project IMA-SP Kernel Qualification Preparation (IMAKQP) is an ongoing activity led by SciSys Ltd, involving CNES, Airbus DS, TASF, looking at the approach to be adopted for IMA-SP Separation Kernel qualification. ...
