All Outputs (2083)

"Like rearranging deck chairs on the Titanic"? Feasibility, Fairness, and Ethical Concerns of a Citizen Carbon Budget for Reducing CO2 Emissions
Presentation / Conference Contribution
Reyes-Cruz, G., Craigon, P., Piskopani, A.-M., Dowthwaite, L., Lu, Y., Lisinska, J., Shafipour, E., Stein, S., & Fischer, J. (2024, June). "Like rearranging deck chairs on the Titanic"? Feasibility, Fairness, and Ethical Concerns of a Citizen Carbon Budget for Reducing CO2 Emissions. Presented at ACM Conference on Fairness, Accountability, and Transparency (ACM FAccT ’24), Rio de Janeiro, Brazil

Radical and disruptive interventions are needed to reach "Net Zero" by 2050 to avert the climate catastrophe. Although governments, companies, cities, and institutions have pledged to take action and reduce their carbon emissions, the idea of persona... Read More about "Like rearranging deck chairs on the Titanic"? Feasibility, Fairness, and Ethical Concerns of a Citizen Carbon Budget for Reducing CO2 Emissions.

Towards sentience: A path through jazz, datasets and digital scores
Presentation / Conference Contribution
Poltronieri, F., & Vear, C. (2024, June). Towards sentience: A path through jazz, datasets and digital scores. Paper presented at International Symposium of Electronic Art 2024, Brisbane, Australia

This short paper is a provocation in which we lean into the notion of sentience in Creative-AI music. The purpose of this is to highlight that a critical component when using bucket terms such as ”creativity”, ”intelligence” or ”sentience” in the des... Read More about Towards sentience: A path through jazz, datasets and digital scores.

Insights Into Legacy: Issues of Handover from a Partner-Initiated Project
Presentation / Conference Contribution
Thorn, E., Spence, J., Koleva, B., & Benford, S. D. (2024, May). Insights Into Legacy: Issues of Handover from a Partner-Initiated Project. Presented at CHI '24: CHI Conference on Human Factors in Computing Systems, Honolulu HI USA

We report on a six-year collaboration with a small community organisation to develop and deploy a permanent physical / digital locative media experience as part on an ongoing community regeneration project. We describe how this unfolded over four pha... Read More about Insights Into Legacy: Issues of Handover from a Partner-Initiated Project.

Traveling Arts x HCI Sketchbook: Exploring the Intersection Between Artistic Expression and Human-Computer Interaction
Presentation / Conference Contribution
Lewis, M., Sturdee, M., Lengyel, D., Toselli, M., Miers, J., Owen, V., Davis, J. U., Gaudl, S. E., Xiao, L., Priego, E., Snooks, K., Turmo Vidal, L., Blevis, E., Privato, N., Piedade, P., Ford, C., Bryan-Kinns, N., Severes, B., Kaipainen, K., Claisse, C., …Riviere, J.-P. (2024, May). Traveling Arts x HCI Sketchbook: Exploring the Intersection Between Artistic Expression and Human-Computer Interaction. Presented at CHI Conference on Human Factors in Computing Systems (CHI’24),, Honolulu, HI, USA

When thinking of arts in HCI, one might be tempted to keep one's eyes focused on prominent realms such as sketching for UX Design and design probes from participants. A closer look shows that practices go beyond this, involving a variety of arts-base... Read More about Traveling Arts x HCI Sketchbook: Exploring the Intersection Between Artistic Expression and Human-Computer Interaction.

Telepresence Robots for Remote Participation in Higher Education
Presentation / Conference Contribution
Hu, J., Reyes Cruz, G., Fischer, J., & Maior, H. A. (2024, June). Telepresence Robots for Remote Participation in Higher Education. Presented at CHIWORK 2024, Newcastle upon Tyne, UK

Telepresence robotics enable people to synchronously communicate and interact at a distance. The Covid-19 pandemic caused in-person teaching and research activities to migrate online in almost all society sectors (including higher education). In hybr... Read More about Telepresence Robots for Remote Participation in Higher Education.

On symmetries of spheres in univalent foundations
Presentation / Conference Contribution
Cagne, P., Buchholtz, U. T., Kraus, N., & Bezem, M. (2024, July). On symmetries of spheres in univalent foundations. Presented at LICS '24: 39th Annual ACM/IEEE Symposium on Logic in Computer Science, Tallinn

Working in univalent foundations, we investigate the symmetries of spheres, i.e., the types of the form Sn = Sn. The case of the circle has a slick answer: the symmetries of the circle form two copies of the circle. For higher-dimensional spheres, th... Read More about On symmetries of spheres in univalent foundations.

Calculating Compilers Effectively (Functional Pearl)
Presentation / Conference Contribution
Garby, Z., Hutton, G., & Bahr, P. (2024, September). Calculating Compilers Effectively (Functional Pearl). Presented at Haskell '24: 17th ACM SIGPLAN International Haskell Symposium, Milan, Italy

Much work in the area of compiler calculation has focused on pure languages. While this simplifies the reasoning, it reduces the applicability. In this article, we show how an existing compiler calculation methodology can be naturally extended to lan... Read More about Calculating Compilers Effectively (Functional Pearl).

Responsibility and Regulation: Exploring Social Measures of Trust in Medical AI
Presentation / Conference Contribution
McGarry, G., Crabtree, A., Chamberlain, A., & Urquhart, L. D. (2024, September). Responsibility and Regulation: Exploring Social Measures of Trust in Medical AI. Presented at Second International Symposium on Trustworthy Autonomous Systems (TAS ’24), Austin, Texas, USA

This paper explores expert accounts of autonomous systems (AS) development in the medical device domain (MD) involving applications of artificial intelligence (AI), machine learning (ML), and other algorithmic and mathematical modelling techniques. W... Read More about Responsibility and Regulation: Exploring Social Measures of Trust in Medical AI.

Comonadic semantics for guarded fragments
Presentation / Conference Contribution
Abramsky, S., & Marsden, D. (2021, June). Comonadic semantics for guarded fragments. Presented at 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Rome, Italy

In previous work ([1], [2], [3]), it has been shown how a range of model comparison games which play a central role in finite model theory, including Ehrenfeucht-Fraïssé, pebbling, and bisimulation games, can be captured in terms of resource-indexed... Read More about Comonadic semantics for guarded fragments.

Generating Locally Relevant Explanations Using Causal Rule Discovery
Presentation / Conference Contribution
Zhang, T., & Wagner, C. (2024, June). Generating Locally Relevant Explanations Using Causal Rule Discovery. Presented at 2024 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), Yokohama, Japan

In the real-world an effect often arises via multiple causal mechanisms. Conversely, the behaviour of AI systems is commonly driven by correlations which may-or may not-be themselves linked to causal mechanisms in the associated real-world system the... Read More about Generating Locally Relevant Explanations Using Causal Rule Discovery.

Interval Agreement Weighted Average - Sensitivity to Data Set Features
Presentation / Conference Contribution
Zhao, Y., Wagner, C., Ryan, B., Pekaslan, D., & Navarro, J. (2024, June). Interval Agreement Weighted Average - Sensitivity to Data Set Features. Presented at 2024 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), Yokohama, Japan

The growing use of intervals in fields like survey analysis necessitates effective aggregation methods that can summarize and represent such uncertain data representations. The Interval Agreement Approach (IAA) addresses this by aggregating interval... Read More about Interval Agreement Weighted Average - Sensitivity to Data Set Features.

LOOM: a Privacy-Preserving Linguistic Observatory of Online Misinformation
Presentation / Conference Contribution
Clos, J., McClaughlin, E., Barnard, P., Tom, T., & Yajaman, S. (2024, September). LOOM: a Privacy-Preserving Linguistic Observatory of Online Misinformation. Presented at Second International Symposium on Trustworthy Autonomous Systems (TAS ’24), Austin, Texas, USA

Online misinformation is an ever-growing challenge that can have a negative impact on individuals, societies, and democracies. We report on LOOM, a project that aims to build and validate a browser-based tool to detect and respond to misinformation i... Read More about LOOM: a Privacy-Preserving Linguistic Observatory of Online Misinformation.

A Multimethod Analysis of US Perspectives towards Trustworthy Autonomous Systems
Presentation / Conference Contribution
Barnard, P., Boudouraki, A., & Clos, J. (2024, September). A Multimethod Analysis of US Perspectives towards Trustworthy Autonomous Systems. Presented at Second International Symposium on Trustworthy Autonomous Systems (TAS '24), Austin, Texas

The Trustworthy Autonomous Systems (TAS) Hub is a collabora-tive platform that aims to guide the development of autonomous systems that are safe, reliable, and ultimately trusted by society. Its mission is to address the challenges surrounding the gr... Read More about A Multimethod Analysis of US Perspectives towards Trustworthy Autonomous Systems.

Investigating the Impact of Generative AI on Students and Educators: Evidence and Insights from the Literature
Presentation / Conference Contribution
Clos, J., & Chen, Y. Y. (2024, September). Investigating the Impact of Generative AI on Students and Educators: Evidence and Insights from the Literature. Presented at Second International Symposium on Trustworthy Autonomous Systems (TAS ’24), Austin, Texas

Generative artificial intelligence (AI) has become one of the main concerns of knowledge workers due to its ability to mimic realistic human reasoning and creativity. However, this integration raises critical concerns about trust and ethics, which ar... Read More about Investigating the Impact of Generative AI on Students and Educators: Evidence and Insights from the Literature.

Examining the Feasibility of AI-Generated Questions in Educational Settings
Presentation / Conference Contribution
Zeghouani, O., Ali, Z., Simson Van Dijkhuizen, W., Wei Hong, J., & Clos, J. (2024, September). Examining the Feasibility of AI-Generated Questions in Educational Settings. Presented at Second International Symposium on Trustworthy Autonomous Systems (TAS '24), Austin, Texas, USA

Educators face ever-growing time constraints, leading to poor work-life balance and a negative impact on work quality. Through their language generation capabilities, large language models offer an interesting avenue to ease this academic workload, a... Read More about Examining the Feasibility of AI-Generated Questions in Educational Settings.

Design and Evaluation of a Tool to assist Small-Medium Organisations (SMOs) to implement Automated Decision-Making (ADM).
Presentation / Conference Contribution
Baguley, K., Fischer, J., & Hyde, R. (2024, September). Design and Evaluation of a Tool to assist Small-Medium Organisations (SMOs) to implement Automated Decision-Making (ADM). Presented at Second International Symposium on Trustworthy Autonomous Systems, Austin, Texas

We present a new prototype tool intended to enable SMOs without specialist expertise in the area to implement Automated Decision-Making (ADM) with confidence. We report on the design and (briefly) evaluation of the tool, demonstrating the potential u... Read More about Design and Evaluation of a Tool to assist Small-Medium Organisations (SMOs) to implement Automated Decision-Making (ADM)..

Measurable Trust: The Key to Unlocking User Confidence in Black-Box AI
Presentation / Conference Contribution
Palazzolo, P., Stahl, B., & Webb, H. (2024, September). Measurable Trust: The Key to Unlocking User Confidence in Black-Box AI. Presented at Second International Symposium on Trustworthy Autonomous Systems, Austin, Texas, USA

Given the pervasive integration of artificial intelligence (AI) into our daily lives, establishing public trust is paramount for maximizing AI's benefits and ensuring its responsible use. This research proposes an investigation into the feasibility o... Read More about Measurable Trust: The Key to Unlocking User Confidence in Black-Box AI.

Trustworthy Airspaces of the Future: Hopes and concerns of experts regarding Uncrewed Traffic Management systems
Presentation / Conference Contribution
R. Cameron, H., McBride, N., Ochang, P., & C. Stahl, B. (2024, September). Trustworthy Airspaces of the Future: Hopes and concerns of experts regarding Uncrewed Traffic Management systems. Presented at Trustworthy Autonomous Systems International Symposium '24, Austin, Texas, USA

Uncrewed aerial systems (UAS) such as drones are an increasingly mundane part of our skies, and are expected as an industry to undergo exponential growth in the coming decade. In order to monitor and manage the airspace, Uncrewed Traffic Management (... Read More about Trustworthy Airspaces of the Future: Hopes and concerns of experts regarding Uncrewed Traffic Management systems.

Reimagining the Design of Mobile Robotic Telepresence: Reflections from a Hybrid Design Workshop
Presentation / Conference Contribution
Reyes-Cruz, G., Martinez Avila, J., Schneiders, E., & Boudouraki, A. (2024, September). Reimagining the Design of Mobile Robotic Telepresence: Reflections from a Hybrid Design Workshop. Presented at TAS '24: Second International Symposium on Trustworthy Autonomous Systems, Austin, Texas, USA

Mobile robotic telepresence systems have been around for more than a decade, promising to improve on traditional video conferencing by enabling remote movement, and more recently, providing autonomous features for navigation, yet their use in the rea... Read More about Reimagining the Design of Mobile Robotic Telepresence: Reflections from a Hybrid Design Workshop.

Technology for Environmental Policy: Exploring Perceptions, Values, and Trust in a Citizen Carbon Budget App
Presentation / Conference Contribution
Dowthwaite, L., Reyes-Cruz, G., Lu, Y., Lisinska, J., Craigon, P., Piskopani, A.-M., Shafipour, E., Stein, S., & Fischer, J. (2024, September). Technology for Environmental Policy: Exploring Perceptions, Values, and Trust in a Citizen Carbon Budget App. Presented at TAS '24: Second International Symposium on Trustworthy Autonomous Systems, Austin, Texas, USA

Personal Carbon Allowances (PCAs) are a policy idea for reducing individual carbon emissions, originally proposed in the UK in the 1990s, but promptly discarded due to concerns about low public acceptability and technological limitations. Decades lat... Read More about Technology for Environmental Policy: Exploring Perceptions, Values, and Trust in a Citizen Carbon Budget App.