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.

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.

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.

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.