All Outputs (2129)

Primitive Recursive Dependent Type Theory (2024)
Presentation / Conference Contribution
Buchholtz, U. T., & Schipp von Branitz, J. (2024, July). Primitive Recursive Dependent Type Theory. Presented at LICS '24: 39th Annual ACM/IEEE Symposium on Logic in Computer Science, Tallinn, Estonia

We show that restricting the elimination principle of the natural numbers type in Martin-Löf Type Theory (MLTT) to a universe of types not containing ####II-types ensures that all definable functions are primitive recursive. This extends the concept... Read More about Primitive Recursive Dependent Type Theory.

On symmetries of spheres in univalent foundations (2024)
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.

Generating Locally Relevant Explanations Using Causal Rule Discovery (2024)
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.

A Hierarchical Cooperative Genetic Programming for Complex Piecewise Symbolic Regression (2024)
Presentation / Conference Contribution
Chen, X., Yi, W., Bai, R., Qu, R., & Jin, Y. (2024, June). A Hierarchical Cooperative Genetic Programming for Complex Piecewise Symbolic Regression. Presented at 2024 IEEE Congress on Evolutionary Computation (CEC 2024), Yokohama, Japan

In regression analysis, methodologies range from black-box approaches like artificial neural networks to white-box techniques like symbolic regression. Renowned for its trans-parency and interpretability, symbolic regression has become increasingly p... Read More about A Hierarchical Cooperative Genetic Programming for Complex Piecewise Symbolic Regression.

Interval Agreement Weighted Average - Sensitivity to Data Set Features (2024)
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.

ARU2-Net: A Deep Learning Approach for Global-Scale Oceanic Eddy Detection (2024)
Journal Article
Geng, J., Gao, H., Huang, B., Radenkovic, M., & Chen, G. (2024). ARU2-Net: A Deep Learning Approach for Global-Scale Oceanic Eddy Detection. IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing, 17, 11997-12007. https://doi.org/10.1109/jstars.2024.3419175

Ocean eddies have a significant impact on marine ecosystems and the climate because they transport essential substances in the ocean. Detection of ocean eddies has become one of the most active topics in physical ocean research. In recent years, rese... Read More about ARU2-Net: A Deep Learning Approach for Global-Scale Oceanic Eddy Detection.

Telepresence Robots for Remote Participation in Higher Education (2024)
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.

Towards sentience: A path through jazz, datasets and digital scores (2024)
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.

From Corporate Digital Responsibility to Responsible Digital Ecosystems (2024)
Journal Article
Stahl, B. C. (2024). From Corporate Digital Responsibility to Responsible Digital Ecosystems. Sustainability, 16(12), Article 4972. https://doi.org/10.3390/su16124972

The significant and rapidly growing impact that digital technologies has on all aspects of our lives has raised awareness of benefits but also concerns and worries linked to the development and use of these technologies. The concept of responsibility... Read More about From Corporate Digital Responsibility to Responsible Digital Ecosystems.

CUDA-based parallel local search for the set-union knapsack problem (2024)
Journal Article
Sonuç, E., & Özcan, E. (2024). CUDA-based parallel local search for the set-union knapsack problem. Knowledge-Based Systems, 299, Article 112095. https://doi.org/10.1016/j.knosys.2024.112095

The Set-Union Knapsack Problem (SUKP) is a complex combinatorial optimisation problem with applications in resource allocation, portfolio selection, and logistics. This paper presents a parallel local search algorithm for solving SU... Read More about CUDA-based parallel local search for the set-union knapsack problem.

"Like rearranging deck chairs on the Titanic"? Feasibility, Fairness, and Ethical Concerns of a Citizen Carbon Budget for Reducing CO2 Emissions (2024)
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.

Trust in Robot Benchmarking and Benchmarking for Trustworthy Robots (2024)
Book Chapter
Thoduka, S., Nair, D., Caleb-Solly, P., Dragone, M., Cavallo, F., & Hochgeschwender, N. (2024). Trust in Robot Benchmarking and Benchmarking for Trustworthy Robots. In M. I. Aldinhas Ferreira (Ed.), Producing Artificial Intelligent Systems: The Roles of Benchmarking, Standardisation and Certification (31-51). Springer. https://doi.org/10.1007/978-3-031-55817-7_3

Trustworthy evaluation of robots is necessary for them to be deployed and accepted in society. Scientific benchmarking competitions provide a way to evaluate robots outside of lab conditions. We propose a progressive and iterative benchmarking proces... Read More about Trust in Robot Benchmarking and Benchmarking for Trustworthy Robots.

Bridging the gap from medical to psychological safety assessment: consensus study in a digital mental health context (2024)
Journal Article
Taher, R., Bhanushali, P., Allan, S., Alvarez-Jimenez, M., Bolton, H., Dennison, L., Wallace, B. E., Hadjistavropoulos, H. D., Hall, C. L., Hardy, A., Henry, A. L., Lane, S., Maguire, T., Moreton, A., Moukhtarian, T. R., Perez Vallejos, E., Shergill, S., Stahl, D., Thew, G. R., Timulak, L., …Yiend, J. (2024). Bridging the gap from medical to psychological safety assessment: consensus study in a digital mental health context. BJPsych Open, 10(4), Article e126. https://doi.org/10.1192/bjo.2024.713

Background
Digital Mental Health Interventions (DMHIs) that meet the definition of a medical device are regulated by the Medicines and Healthcare products Regulatory Agency (MHRA) in the UK. The MHRA uses procedures that were originally developed fo... Read More about Bridging the gap from medical to psychological safety assessment: consensus study in a digital mental health context.

What's in it for Me: Exploring the Real-World Value Proposition of Pervasive Displays (2024)
Presentation / Conference Contribution
Hosio, S., Goncalves, J., Kukka, H., Chamberlain, A., & Malizia, A. (2014, June). What's in it for Me: Exploring the Real-World Value Proposition of Pervasive Displays. Presented at PerDis '14: Proceedings of The International Symposium on Pervasive Displays, Copenhagen, Denmark

The future of pervasive public display networks is loaded with high expectations. Non-commercial displays are commonly envisaged as proliferating in numerous contexts and domains, where they offer various uses for a variety of everyday users. In this... Read More about What's in it for Me: Exploring the Real-World Value Proposition of Pervasive Displays.

Africa, ChatGPT, and Generative AI Systems: Ethical Benefits, Concerns, and the Need for Governance (2024)
Journal Article
Wakunuma, K., & Eke, D. (2024). Africa, ChatGPT, and Generative AI Systems: Ethical Benefits, Concerns, and the Need for Governance. Philosophies, 9(3), Article 80. https://doi.org/10.3390/philosophies9030080

This paper examines the impact and implications of ChatGPT and other generative AI technologies within the African context while looking at the ethical benefits and concerns that are particularly pertinent to the continent. Through a robust analysis... Read More about Africa, ChatGPT, and Generative AI Systems: Ethical Benefits, Concerns, and the Need for Governance.

“The ChatGPT bot is causing panic now – but it’ll soon be as mundane a tool as Excel”: analysing topics, sentiment and emotions relating to ChatGPT on Twitter (2024)
Journal Article
Heaton, D., Clos, J., Nichele, E., & Fischer, J. E. (2024). “The ChatGPT bot is causing panic now – but it’ll soon be as mundane a tool as Excel”: analysing topics, sentiment and emotions relating to ChatGPT on Twitter. Personal and Ubiquitous Computing, 28, 875–894. https://doi.org/10.1007/s00779-024-01811-x

ChatGPT, a sophisticated chatbot system by OpenAI, gained significant attention and adoption in 2022 and 2023. By generating human-like conversations, it attracted over 100 million monthly users; however, there are concerns about the social impact of... Read More about “The ChatGPT bot is causing panic now – but it’ll soon be as mundane a tool as Excel”: analysing topics, sentiment and emotions relating to ChatGPT on Twitter.

Designing Multispecies Worlds for Robots, Cats, and Humans (2024)
Presentation / Conference Contribution
Schneiders, E., Benford, S., Chamberlain, A., Mancini, C., Castle-Green, S., Ngo, V., Row Farr, J., Adams, M., Tandavanitj, N., & Fischer, J. (2024, May). Designing Multispecies Worlds for Robots, Cats, and Humans. Presented at CHI Conference on Human Factors in Computing Systems (CHI ’24), Honolulu, HI, USA

We reflect on the design of a multispecies world centred around a bespoke enclosure in which three cats and a robot arm coexist for six hours a day during a twelve-day installation as part of an artist-led project. In this paper, we present the proje... Read More about Designing Multispecies Worlds for Robots, Cats, and Humans.

Charting Ethical Tensions in Multispecies Technology Research through Beneficiary-Epistemology Space (2024)
Presentation / Conference Contribution
Benford, S. D., Mancini, C., Chamberlain, A., Schneiders, E., Castle-Green, S. D., Fischer, J. E., Kucukyilmaz, A., Salimbeni, G., Ngo, V. Z. H., Barnard, P., Adams, M., Tandavanitj, N., & Row Farr, J. (2024, May). Charting Ethical Tensions in Multispecies Technology Research through Beneficiary-Epistemology Space. Presented at CHI '24 CHI Conference on Human Factors in Computing Systems, Hawaii, USA

While ethical challenges are widely discussed in HCI, far less is reported about the ethical processes that researchers routinely navigate. We reflect on a multispecies project that negotiated an especially complex ethical approval process. Cat Royal... Read More about Charting Ethical Tensions in Multispecies Technology Research through Beneficiary-Epistemology Space.

Jess+: AI and robotics with inclusive music-making (2024)
Presentation / Conference Contribution
Vear, C., Hazzard, A., Moroz, S., & Benerradi, J. (2024, May). Jess+: AI and robotics with inclusive music-making. Presented at CHI 24, Honalulu, Hawaii

This paper discusses the findings from a cross-sector research project investigating how a digital score created using AI and robotics might stimulate new creative opportunities and relationships within the practices of an inclusive music ensemble. T... Read More about Jess+: AI and robotics with inclusive music-making.

Understanding Entrainment in Human Groups: Optimising Human-Robot Collaboration from Lessons Learned during Human-Human Collaboration (2024)
Presentation / Conference Contribution
Schneiders, E., Fourie, C., Celestin, S., Shah, J., & Jung, M. (2024, May). Understanding Entrainment in Human Groups: Optimising Human-Robot Collaboration from Lessons Learned during Human-Human Collaboration. Presented at CHI Conference on Human Factors in Computing Systems (CHI ’24), Honolulu, HI, USA

Successful entrainment during collaboration positively affects trust, willingness to collaborate, and likeability towards collaborators. In this paper, we present a mixed-method study to investigate characteristics of successful entrainment leading t... Read More about Understanding Entrainment in Human Groups: Optimising Human-Robot Collaboration from Lessons Learned during Human-Human Collaboration.