Williams, S., Ware, J., Müller, B., & Muller, B. (2019). Ethical Surveillance: Applying Deep Learning and Contextual Awareness for the Benefit of Persons Living with Dementia. In Artificial Intelligence in Health-47). Springer Nature Switzerland AG.
Williams, S., Ware, J., & Muller, B. (2018). Preserving safety, privacy and mobility of persons living with Dementia by recognising uncharacteristic out-door movement using Recurrent Neural Networks with low computing capacity. In Proceedings of the First Joint Workshop on AI in Health organized as part of the Federated AI Meeting (FAIM 2018), co-located with AAMAS 2018, ICML 2018, IJCAI 2018 and ICCBR 2018 (pp. 212-223). AIH 2018 - Joint Workshop on AI in Health.
Williams, S., Müller, B., & Muller, B. (2017). Agents and Dementia — Smart Risk Assessment. In Multi-Agent Systems and Agreement Technologies (pp. 277-284). EUMAS 2016.
Abdullahi, I. & Muller, B.(2016). Towards Efficient Verification of Elementary Object Systems. In Proceedings of the 25th International Workshop on Concurrency, Specification and Programming (pp. 86-100). Concurrency, Specification, and Programming (CS&P 2016).
Kovvuri, V., Liu, S., Seisenberger, M., Fan, X., Muller, B., & Fu, H. (2022). On Understanding the Influence of Controllable Factors with a Feature Attribution Algorithm: a Medical Case Study. In 2022 International Conference on INnovations in Intelligent SysTems and Applications (INISTA) (pp. 1-8). IEEE.
Williams, S., Ware, J., Müller, B., & Muller, B. (2019). Ethical Surveillance: Applying Deep Learning and Contextual Awareness for the Benefit of Persons Living with Dementia. In Artificial Intelligence in Health-47). Springer Nature Switzerland AG.
Williams, S., Ware, J., & Muller, B. (2018). Preserving safety, privacy and mobility of persons living with Dementia by recognising uncharacteristic out-door movement using Recurrent Neural Networks with low computing capacity. In Proceedings of the First Joint Workshop on AI in Health organized as part of the Federated AI Meeting (FAIM 2018), co-located with AAMAS 2018, ICML 2018, IJCAI 2018 and ICCBR 2018 (pp. 212-223). AIH 2018 - Joint Workshop on AI in Health.
Williams, S., Müller, B., & Muller, B. (2017). Agents and Dementia — Smart Risk Assessment. In Multi-Agent Systems and Agreement Technologies (pp. 277-284). EUMAS 2016.
Abdullahi, I. & Muller, B.(2016). Towards Efficient Verification of Elementary Object Systems. In Proceedings of the 25th International Workshop on Concurrency, Specification and Programming (pp. 86-100). Concurrency, Specification, and Programming (CS&P 2016).
CS-265 is an introduction to Artificial Intelligence (AI) focusing primarily on reasoning and problem solving as a search for a solution.
The central notions of a rational agent and multi-agent systems are used to introduce concepts like beliefs, desires, and intentions that are fundamental to the search for solutions within the context of an observable environment. Further aspects of symbolic AI such as knowledge representation and expert systems, planning, and language processing will be covered. All of these topics are embedded into a human-centred perspective of AI.
CSC325
Artificial Intelligence
CSC325 is an introduction to Artificial Intelligence, focusing primarily on reasoning and problem solving as a search for a solution rather than on statistical techniques for classification. The course may cover topics from amongst: search techniques; knowledge representation and expert systems; planning; scheduling; qualitative reasoning; language processing with grammar rules; and meta-programming, as well as agents, multi-agent systems, and agent collaboration.
CSCM08
Information Security Management
This module will address the theory and practice of information security. In particular, it will consider where data comes from, who collects it and what they can do with it. It will further look into theories of monitoring and surveillance, digital identity, legal and regulatory frameworks, data protection, cybercrime, business resilience, disaster recovery, and security audits.
CSCM23
Designing-in Trust, Understanding and Negotiation
This module explores state-of-the-art methods and concepts to assist responsible design and development of technology with the aim of creating reliable and trusted systems. The content of this module will be delivered by expert lecturers and practitioners in the areas of trusted computation, bias and explainability in automated decision making and decision support, ethical considerations for AI, argumentation and negotiation, as well as formal methods, such as verification of critical systems.