Computer Science (Scholarly Publications): Recent submissions
Now showing items 21-40 of 1420
-
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. ... -
A Socio-Cultural Perspective on Technology for Environmental Sustainability: The Case of Filtering Water Pots (G-filters) in Rajasthan, India
(Springer Nature Switzerland, 2024)The design and adoption of socio-culturally appropriate technologies are critical to addressing the environmental sustainability crisis in the Global South. However, implementing technology-based sustainability initiatives ... -
Partners in Design: Insights from an Innovative Education for Sustainable Development Module Design Process
(Springer Nature Switzerland, 2024)This paper presents a case study of an innovative module design process for education for sustainable development in higher education, specifically in digital innovation to achieve the Sustainable Development Goals that ... -
Evidence for Categories of Laughter
(ISCA, 2024)A binary classification of laughter according to a functional dimension of venting mirth vs. moving discourse along is considered in relation to a three-way social classification of any instance of laughter as solo, ... -
Unifying Theories of Programming
(2023)