Skip to main content

Research Repository

Advanced Search

All Outputs (30)

Ethical Concerns and Perceptions of Consumer Neurotechnology from Lived Experiences of Mental Workload Tracking (2022)
Conference Proceeding
Midha, S., Wilson, M. L., & Sharples, S. (2022). Ethical Concerns and Perceptions of Consumer Neurotechnology from Lived Experiences of Mental Workload Tracking. In FAccT '22: 2022 ACM Conference on Fairness, Accountability, and Transparency (564-573). https://doi.org/10.1145/3531146.3533119

With rapid growth in the development of consumer neurotechnology, it is imperative to consider the ethical implications that this might have in order to minimise consumer harm. Whilst ethical and legal guidelines for commercialisation have previously... Read More about Ethical Concerns and Perceptions of Consumer Neurotechnology from Lived Experiences of Mental Workload Tracking.

Mediated Visits: Longitudinal Domestic Dwelling with Mobile Robotic Telepresence (2022)
Conference Proceeding
Boudouraki, A., Reeves, S., Fischer, J. E., & Rintel, S. (2022). Mediated Visits: Longitudinal Domestic Dwelling with Mobile Robotic Telepresence. . https://doi.org/10.1145/3491102.3517640

Mobile Robotic Telepresence (MRP) systems are remotely controlled, mobile videoconferencing devices that allow the remote user to move independently and have a physical presence in the environment. This paper presents a longitudinal study of MRP use... Read More about Mediated Visits: Longitudinal Domestic Dwelling with Mobile Robotic Telepresence.

Lived Experiences of Mental Workload in Everyday Life (2022)
Conference Proceeding
Midha, S., Wilson, M. L., & Sharples, S. (2022). Lived Experiences of Mental Workload in Everyday Life. In CHI '22 CHI Conference on Human Factors in Computing Systems (1-16). https://doi.org/10.1145/3491102.3517690

We can now buy consumer brain-computer interface devices to help us meditate and focus, but what are we aiming to achieve? Mental workload (MWL) is an established concept, and as a form of personal data could be useful for making positive life change... Read More about Lived Experiences of Mental Workload in Everyday Life.

The Meaning in "the Mix": Using Ethnography to Inform the Design of Intelligent Tools in the Context of Music Production (2021)
Conference Proceeding
McGarry, G., Chamberlain, A., Crabtree, A., & Greenhalgh, C. (2021). The Meaning in "the Mix": Using Ethnography to Inform the Design of Intelligent Tools in the Context of Music Production. In AM '21: Audio Mostly 2021 (40-47). https://doi.org/10.1145/3478384.3478406

In this paper we report on two ethnographic studies of professional music producers at work in their respective studio settings, to underpin the design of intelligent tools and platforms in this domain. The studies are part of a body of work that exp... Read More about The Meaning in "the Mix": Using Ethnography to Inform the Design of Intelligent Tools in the Context of Music Production.

Connecting Constructive Notions of Ordinals in Homotopy Type Theory (2021)
Conference Proceeding
Kraus, N., Nordvall Forsberg, F., & Xu, C. (2021). Connecting Constructive Notions of Ordinals in Homotopy Type Theory.

In classical set theory, there are many equivalent ways to introduce ordinals. In a constructive setting, however, the different notions split apart, with different advantages and disadvantages for each. We consider three different notions of ordinal... Read More about Connecting Constructive Notions of Ordinals in Homotopy Type Theory.

ALTCAI: Enabling the Use of Embodied Conversational Agents to Deliver Informal Health Advice during Wizard of Oz Studies (2021)
Conference Proceeding
Galvez Trigo, M. J., Porcheron, M., Egede, J., Fischer, J. E., Hazzard, A., Greenhalgh, C., …Valstar, M. (2021). ALTCAI: Enabling the Use of Embodied Conversational Agents to Deliver Informal Health Advice during Wizard of Oz Studies. In Proceedings of CUI 2021 : Conversational User Interfaces. https://doi.org/10.1145/3469595.3469621

We present ALTCAI, a Wizard of Oz Embodied Conversational Agent that has been developed to explore the use of interactive agents as an effective and engaging tool for delivering health and well-being advice to expectant and nursing mothers in Nigeria... Read More about ALTCAI: Enabling the Use of Embodied Conversational Agents to Deliver Informal Health Advice during Wizard of Oz Studies.

Producing Liveness: The Trials of Moving Folk Clubs Online During the Global Pandemic (2021)
Conference Proceeding
Benford, S., Mansfield, P., & Spence, J. (2021). Producing Liveness: The Trials of Moving Folk Clubs Online During the Global Pandemic. In CHI '21: Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems. https://doi.org/10.1145/3411764.3445125

The global pandemic has driven musicians online. We report an ethnographic account of how two traditional folk clubs with little previous interest in digital platforms transitioned to online experiences. They followed very different approaches: one a... Read More about Producing Liveness: The Trials of Moving Folk Clubs Online During the Global Pandemic.

Creating a Digital Mirror of Creative Practice (2021)
Conference Proceeding
Johnson, C. (2021). Creating a Digital Mirror of Creative Practice. In Computational Intelligence in Music, Sound, Art and Design – 10th International Conference, EvoMUSART 2021 (427-442). https://doi.org/10.1007/978-3-030-72914-1_28

This paper describes an ongoing project to create a “digital mirror” to my practice as a composer of contemporary classical music; that is, a system that takes descriptions (in code) of aspects of that practice, and reflects them back as computer-gen... Read More about Creating a Digital Mirror of Creative Practice.

Constructing a universe for the setoid model (2021)
Conference Proceeding
Altenkirch, T., Boulier, S., Kaposi, A., Sattler, C., & Sestini, F. (2021). Constructing a universe for the setoid model. In S. Kiefer, & C. Tasson (Eds.), Foundations of Software Science and Computation Structures : 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings (1-21). https://doi.org/10.1007/978-3-030-71995-1_1

The setoid model is a model of intensional type theory that validates certain extensionality principles, like function extensionality and propositional extensionality, the latter being a limited form of univalence that equates logically equivalent pr... Read More about Constructing a universe for the setoid model.

Software Fault Localisation via Probabilistic Modelling (2020)
Conference Proceeding
Johnson, C. (2020). Software Fault Localisation via Probabilistic Modelling. In Artificial Intelligence XXXVII: 40th SGAI International Conference on Artificial Intelligence, AI 2020, Cambridge, UK, December 15–17, 2020: Proceedings (259-272). https://doi.org/10.1007/978-3-030-63799-6_20

Software development is a complex activity requiring intelligent action. This paper explores the use of an AI technique for one step in software development, viz. detecting the location of a fault in a program. A measure of program progress is propos... Read More about Software Fault Localisation via Probabilistic Modelling.

Further Exploration of Necrotic Control of Evolved Art (2020)
Conference Proceeding
Ashlock, D., & Greensmith, J. (2020). Further Exploration of Necrotic Control of Evolved Art. In Proceedings - 2020 IEEE Symposium Series on Computational Intelligence (SSCI) (2957-2964). https://doi.org/10.1109/SSCI47803.2020.9308363

This study is the second in investigating the use of necrosis based filtration as a method of steering evolutionary algorithms to create evolved art. We use a technique inspired by the danger theory of immune system activation - a method employed in... Read More about Further Exploration of Necrotic Control of Evolved Art.

From sharing to gifting: A web app for deepening engagement (2020)
Conference Proceeding
Adams, M., Spence, J., Clark, S., Farr, J. R., Benford, S., & Tandavanitj, N. (2020). From sharing to gifting: A web app for deepening engagement. In EVA London 2020: Electronic Visualisation & the Arts. , (48-49). https://doi.org/10.14236/ewic/EVA2020.7

Visitors currently use social media to share their experiences in museums, but these interactions are often short, quick and superficial. Is it possible to transform the impulse to share into an act of generosity, deepening engagement with museum col... Read More about From sharing to gifting: A web app for deepening engagement.

Necrotic Control of the Aesthetics of Evolved Art (2020)
Conference Proceeding
Ashlock, D., & Greensmith, J. (2020). Necrotic Control of the Aesthetics of Evolved Art. In 2020 IEEE Congress on Evolutionary Computation (CEC): conference proceedings (1-8). https://doi.org/10.1109/CEC48606.2020.9185654

This study uses necrosis, a technique from the domain of artificial immune systems, to control the evolution of apoptotic cellular automata. These automata generate complex images that require a very small amount of initial data. The genes that yield... Read More about Necrotic Control of the Aesthetics of Evolved Art.

What Can I Say?: Effects of Discoverability in VUIs on Task Performance and User Experience (2020)
Conference Proceeding
Kirschthaler, P., Porcheron, M., & Fischer, J. E. (2020). What Can I Say?: Effects of Discoverability in VUIs on Task Performance and User Experience. In CUI '20: Proceedings of the 2nd Conference on Conversational User Interfaces (1–9). https://doi.org/10.1145/3405755.3406119

Discoverability, the ability for users to find and execute features through a user interface, is a recurrent problem with Voice User Interface (VUI) design that makes it difficult for users to understand what commands are supported by a newly encount... Read More about What Can I Say?: Effects of Discoverability in VUIs on Task Performance and User Experience.

VRtefacts: Performative Substitutional Reality with Museum Objects (2020)
Conference Proceeding
Spence, J., Darzentas, D. P., Huang, Y., Cameron, H. R., Beestin, E., & Benford, S. (2020). VRtefacts: Performative Substitutional Reality with Museum Objects. In DIS '20: Proceedings of the 2020 ACM Designing Interactive Systems Conference (627-640). https://doi.org/10.1145/3357236.3395459

We explore how a combination of manipulations and transitions can extend Substitutional Reality to create a highly personal Virtual Reality experience. Our design aimed to meet two challenges faced by museums: the limitations of object handling and t... Read More about VRtefacts: Performative Substitutional Reality with Museum Objects.

Performance and Interpretability in Fuzzy Logic Systems – can we have both? (2020)
Conference Proceeding
Pekaslan, D., Chen, C., Wagner, C., & Garibaldi, J. M. (2020). Performance and Interpretability in Fuzzy Logic Systems – can we have both?.

Fuzzy Logic Systems can provide a good level of interpretability and may provide a key building block as part of a growing interest in explainable AI. In practice, the level of interpretability of a given fuzzy logic system is dependent on how well i... Read More about Performance and Interpretability in Fuzzy Logic Systems – can we have both?.

Coherence via Well-Foundedness: Taming Set-Quotients in Homotopy Type Theory (2020)
Conference Proceeding
Kraus, N., & Von Raumer, J. (2020). Coherence via Well-Foundedness: Taming Set-Quotients in Homotopy Type Theory. In LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (662-675). https://doi.org/10.1145/3373718.3394800

Suppose we are given a graph and want to show a property for all its cycles (closed chains). Induction on the length of cycles does not work since sub-chains of a cycle are not necessarily closed. This paper derives a principle reminiscent of inducti... Read More about Coherence via Well-Foundedness: Taming Set-Quotients in Homotopy Type Theory.

Soma Design and Sensory Misalignment (2020)
Conference Proceeding
Tennent, P., Marshall, J., Tsaknaki, V., Windlin, C., Höök, K., & Alfaras, M. (2020). Soma Design and Sensory Misalignment. In CHI '20: Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems (1-12). https://doi.org/10.1145/3313831.3376812

We report on a workshop bringing together researchers working in soma design and sensory misalignment. Creating experiences that make use of sensory misalignment has become increasingly common, often associated with virtual reality research. However,... Read More about Soma Design and Sensory Misalignment.

The Goods and Bads in Dyadic Co-Manipulation: Identifying Conflict-Driven Interaction Behaviours in Human-Human Collaboration (2020)
Conference Proceeding
Issak, I., & Kucukyilmaz, A. (2020). The Goods and Bads in Dyadic Co-Manipulation: Identifying Conflict-Driven Interaction Behaviours in Human-Human Collaboration. In UKRAS20 Conference: “Robots into the real world”: proceedings: UKRAS20 Conference Proceedings: 17th April 2020 (37-39). https://doi.org/10.31256/Fv3Gn1L

One of the challenges in collaborative human-robot object transfer is the robot’s ability to infer about the interaction state and adapt to it in real time. During joint object transfer humans communicate about the interaction states through mul- tip... Read More about The Goods and Bads in Dyadic Co-Manipulation: Identifying Conflict-Driven Interaction Behaviours in Human-Human Collaboration.