Skip to main content

Research Repository

Advanced Search

All Outputs (95)

Towards Shaping the Future of Responsible AI in Africa (2023)
Book Chapter
Eke, D. O., Chintu, S. S., & Wakunuma, K. (2023). Towards Shaping the Future of Responsible AI in Africa. In D. O. Eke, K. Wakunuma, & S. Akintoye (Eds.), Responsible AI in Africa: Challenges and Opportunities (169-193). Springer. https://doi.org/10.1007/978-3-031-08215-3_8

Artificial Intelligence (AI) presents unprecedented opportunities for Africa. Increasingly, AI and other emerging technologies are being deployed in African contexts—healthcare, agriculture, sociopolitical processes, businesses and education—in ways... Read More about Towards Shaping the Future of Responsible AI in Africa.

AI Policy as a Response to AI Ethics? Addressing Ethical Issues in the Development of AI Policies in North Africa (2023)
Book Chapter
Stahl, B. C., Leach, T., Oyeniji, O., & Ogoh, G. (2023). AI Policy as a Response to AI Ethics? Addressing Ethical Issues in the Development of AI Policies in North Africa. In D. Okaibedi Eke, K. Wakunuma, & S. Akintoye (Eds.), . Palgrave Macmillan. https://doi.org/10.1007/978-3-031-08215-3_7

The recent exponential rate of AI development has led to a proliferation of AI national policies and strategies as global power blocs have sought to consolidate positions of strategic dominance. These policies have sought to promote the benefits and... Read More about AI Policy as a Response to AI Ethics? Addressing Ethical Issues in the Development of AI Policies in North Africa.

Conversational AI: Respecifying participation as regulation (2022)
Book Chapter
Reeves, S., & Porcheron, M. (2022). Conversational AI: Respecifying participation as regulation. In W. Housley, A. Edwards, R. Beneito-Montagut, & R. Fitzgerald (Eds.), The SAGE Handbook of Digital Society. SAGE Publications

When we talk about AI-driven systems there is a tendency by researchers to treat people encountering them as ‘participants’ in human-machine interactions. This seems particularly true for so-called conversational AI, such as voice interfaces or chatb... Read More about Conversational AI: Respecifying participation as regulation.

Data-Driven Visiting Experiences (2022)
Book Chapter
Benford, S., Darzentas, D., Bodiaj, E., Tennent, P., Martindale, S., Cameron, H., & Spors, V. (2022). Data-Driven Visiting Experiences. In A. Waern, & A. S. Løvlie (Eds.), Hybrid Museum Experiences: Theory and Design (157-175). Amsterdam University Press. https://doi.org/10.5117/9789463726443

Data is seen as the ‘new oil’ that drives the digital economy, and museums are no exception to this. We investigate how data captured from hybrid museum experiences can become a resource for designers, for museums, and for visitors in their understan... Read More about Data-Driven Visiting Experiences.

Placing AI in the Creative Industries: The Case for Intelligent Music Production (2021)
Book Chapter
McGarry, G., Chamberlain, A., Crabtree, A., & Greenhalgh, C. (2021). Placing AI in the Creative Industries: The Case for Intelligent Music Production. . Springer. https://doi.org/10.1007/978-3-030-78635-9_72

The digital transformation of the recording industry is one of the most well-known in recent times, with the Digital Audio Workstation (DAW) making new methods of music production available to amateurs and professionals in almost any setting beyond t... Read More about Placing AI in the Creative Industries: The Case for Intelligent Music Production.

State of the art in logics for verification of resource-bounded multi-agent systems (2020)
Book Chapter
Alechina, N., & Logan, B. (2020). State of the art in logics for verification of resource-bounded multi-agent systems. In A. Blass, P. Cégielski, N. Dershowitz, M. Droste, & B. Finkbeiner (Eds.), Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of his 80th Birthday (9-29). Springer. https://doi.org/10.1007/978-3-030-48006-6_2

Approaches to the verification of multi-agent systems are typically based on games or transition systems defined in terms of states and actions. However such approaches often ignore a key aspect of multi-agent systems, namely that the agents’ actions... Read More about State of the art in logics for verification of resource-bounded multi-agent systems.

White Noise from the White Goods? Privacy by Design for Ambient Domestic Computing (2020)
Book Chapter
Urquhart, L. (2020). White Noise from the White Goods? Privacy by Design for Ambient Domestic Computing. In L. Edwards, B. Schafer, & E. Harbinja (Eds.), Future Law: Emerging Technology, Regulation and Ethics. Edinburgh University Press

Within this chapter we consider the emergence of ambient domestic computing systems, both conceptually and empirically. We critically assess visions of post-desktop computing, paying particular attention to one contemporary trend: the internet of thi... Read More about White Noise from the White Goods? Privacy by Design for Ambient Domestic Computing.

Naive Type Theory (2019)
Book Chapter
Altenkirch, T. (2019). Naive Type Theory. In S. Centrone, D. Kant, & D. Sarikaya (Eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts (101-136). Springer

We introduce Type Theory, including Homotopy Type Theory, as an alternative to set theory as a foundation of Mathematics emphasising the intuitive and naive understanding of its concepts.

Dual Adaptive Pyramid Network for Cross-Stain Histopathology Image Segmentation (2019)
Book Chapter
Hou, X., Liu, J., Xu, B., Liu, B., Chen, X., Garibaldi, J., …Qiu, G. (2019). Dual Adaptive Pyramid Network for Cross-Stain Histopathology Image Segmentation. In Medical Image Computing and Computer Assisted Intervention – MICCAI 2019: 22nd International Conference, Shenzhen, China, October 13–17, 2019, Proceedings, Part II (101-109). Springer Verlag. https://doi.org/10.1007/978-3-030-32245-8_12

Supervised semantic segmentation normally assumes the test data being in a similar data domain as the training data. However, in practice, the domain mismatch between the training and unseen data could lead to a significant performance drop. Obtainin... Read More about Dual Adaptive Pyramid Network for Cross-Stain Histopathology Image Segmentation.

Revising ICT Programmes Through Learning Outcome Alignment: A Practical Exercise in Belarusian Universities (2019)
Book Chapter
Moemeni, A., Gatward, R., Kankeviciene, I., & Pyko, A. (2019). Revising ICT Programmes Through Learning Outcome Alignment: A Practical Exercise in Belarusian Universities. In J. Carter, & C. Rosen (Eds.), Transnational Higher Education In Computing Courses: Experiences and Reflections (61-69). (1). UK: Springer Nature. https://doi.org/10.1007/978-3-030-28251-6

EU-Funded ERASMUS Capacity Building in Higher Education project called ‘Innovative ICT Education for Socio-Economic Development (IESED 2017–2019)’ has been established in the consortium of five Belarusian (BY) Higher Education Institutions (HEIs) as... Read More about Revising ICT Programmes Through Learning Outcome Alignment: A Practical Exercise in Belarusian Universities.

Revising ICT Programmes Through Learning Outcome Alignment: A Practical Exercise in Belarusian Universities (2019)
Book Chapter
Moemeni, A., Gatward, R., Kankeviciene, L., & Pyko, A. (2019). Revising ICT Programmes Through Learning Outcome Alignment: A Practical Exercise in Belarusian Universities. In J. Carter, & C. Rosen (Eds.), Transnational Higher Education in Computing Courses: Experiences and Reflections (61-69). Springer. https://doi.org/10.1007/978-3-030-28251-6_5

EU-Funded ERASMUS Capacity Building in Higher Education project called ‘Innovative ICT Education for Socio-Economic Development (IESED 2017–2019)’ has been established in the consortium of five Belarusian (BY) Higher Education Institutions (HEIs) as... Read More about Revising ICT Programmes Through Learning Outcome Alignment: A Practical Exercise in Belarusian Universities.

Research ‘In the Wild’ (2019)
Book Chapter
Chamberlain, A., & Crabtree, A. (2020). Research ‘In the Wild’. In A. Chamberlain, & A. Crabtree (Eds.), Into the Wild: Beyond the Design Research Lab (1-6). Cham: Springer International Publishing. https://doi.org/10.1007/978-3-030-18020-1_1

Over recent years the term `in the wild' has increasingly appeared in publications within the field of Human Computer Interaction (HCI). The phrase has become synonymous with a range of approaches that focus upon carrying out research-based studies r... Read More about Research ‘In the Wild’.

Brain-Controlled Cinema (2019)
Book Chapter
Ramchurn, R., Martindale, S., Wilson, M. L., Benford, S., & Chamberlain, A. (2019). Brain-Controlled Cinema. In A. Nijholt (Ed.), Brain Art: Brain-Computer Interfaces for Artistic Expression, 377-408. Springer International Publishing. doi:10.1007/978-3-030-14323-7_14

WABI: Facilitating Synchrony Between Inhabitants of Adaptive Architecture (2019)
Book Chapter
Jäger, N., Schnädelbach, H., Hale, J., Kirk, D., & Glover, K. (2019). WABI: Facilitating Synchrony Between Inhabitants of Adaptive Architecture. In People, Personal Data and the Built Environment (41-75). Springer International Publishing. https://doi.org/10.1007/978-3-319-70875-1_3

We spend most of our lives in buildings where we interact with people that occupy the same space. A common and intuitive form of interaction with others is to synchronise our own behaviour with theirs, and such interpersonal synchrony can have variou... Read More about WABI: Facilitating Synchrony Between Inhabitants of Adaptive Architecture.

An Efficient Application of Goal Programming to Tackle Multiobjective Problems with Recurring Fitness Landscapes (2019)
Book Chapter
Pinheiro, R. L., Landa-Silva, D., Laesanklang, W., & Constantino, A. A. (2019). An Efficient Application of Goal Programming to Tackle Multiobjective Problems with Recurring Fitness Landscapes. In Operations Research and Enterprise Systems (134-152). Springer Verlag. https://doi.org/10.1007/978-3-030-16035-7_8

© 2019, Springer Nature Switzerland AG. Many real-world applications require decision-makers to assess the quality of solutions while considering multiple conflicting objectives. Obtaining good approximation sets for highly constrained many-objective... Read More about An Efficient Application of Goal Programming to Tackle Multiobjective Problems with Recurring Fitness Landscapes.

Deep Hourglass for Brain Tumor Segmentation (2019)
Book Chapter
Benson, E., Pound, M. P., French, A. P., Jackson, A. S., & Pridmore, T. P. (2019). Deep Hourglass for Brain Tumor Segmentation. In BrainLes 2018: Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries (419-428). Springer. https://doi.org/10.1007/978-3-030-11726-9_37

The segmentation of a brain tumour in an MRI scan is a challenging task, in this paper we present our results for this problem via the BraTS 2018 challenge, consisting of 210 high grade glioma (HGG) and 75 low grade glioma (LGG) volumes for training.... Read More about Deep Hourglass for Brain Tumor Segmentation.

Learning the Quality of Dispatch Heuristics Generated by Automated Programming (2018)
Book Chapter
Parkes, A. J., Beglou, N., & Ozcan, E. (2019). Learning the Quality of Dispatch Heuristics Generated by Automated Programming. In Learning and Intelligent Optimization (154-158). Springer Verlag. https://doi.org/10.1007/978-3-030-05348-2_13

One of the challenges within the area of optimisation, and AI in general, is to be able to support the automated creation of the heuristics that are often needed within effective algorithms. Such an example of automated programming may be performed b... Read More about Learning the Quality of Dispatch Heuristics Generated by Automated Programming.

Movement-based co-creation of adaptive architecture (2018)
Book Chapter
Schnädelbach, H., & Arieyanto, H. (2018). Movement-based co-creation of adaptive architecture. In H. Bier (Ed.), Robotic Building (139-167). Cham: Springer Publishing Company. https://doi.org/10.1007/978-3-319-70866-9_7

Research in Ubiquitous Computing, Human Computer Interaction and Adaptive Architecture combine in the research of movement-based interaction with our environments. Despite movement capture technologies becoming commonplace, the design and the consequ... Read More about Movement-based co-creation of adaptive architecture.

Quotient inductive-inductive types (2018)
Book Chapter
Altenkirch, T., Capriotti, P., Dijkstra, G., Kraus, N., & Nordvall Forsberg, F. (2018). Quotient inductive-inductive types. In C. Baier, & U. Dal Lago (Eds.), FoSSaCS 2018: Foundations of Software Science and Computation Structures (293-310). Cham: Springer Publishing Company. https://doi.org/10.1007/978-3-319-89366-2_16

Higher inductive types (HITs) in Homotopy Type Theory (HoTT) allow the definition of datatypes which have constructors for equalities over the defined type. HITs generalise quotient types and allow to define types which are not sets in the sense of H... Read More about Quotient inductive-inductive types.

What software engineering has to offer to agent-based social simulation (2017)
Book Chapter
Siebers, P., & Klügl, F. (2017). What software engineering has to offer to agent-based social simulation. In B. Edmonds, & R. Meyer (Eds.), Simulating social complexity: a handbook (81-117). ( 2nd ed.). Cham: Springer. https://doi.org/10.1007/978-3-319-66948-9_6

© 2017, Springer International Publishing AG. In simulation projects, it is generally beneficial to have a toolset that allows following a more formal approach to system analysis, model design and model implementation. Such formal methods are develop... Read More about What software engineering has to offer to agent-based social simulation.