Filter
Chapter (peer-reviewed)

Search results

  • 2024

    Integrated Knowledge-Based Reasoning and Data-Driven Learning for Explainable Agency in Robotics

    Sridharan, M., 22 Jan 2024, Explainable Agency in Artificial Intelligence: Research and Practice. 1 ed. CRC Press, p. 43-69 27 p. (Chapman & Hall/CRC Artificial Intelligence and Robotics Series).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • Regulating Emotional Artificial Intelligence in cars

    Urquhart, L. & McStay, A., 18 Jan 2024, (Accepted/In press) The Cambridge Handbook of the Law, Policy, and Regulation for Human-Robot Interaction. Barfield, W., Weng, Y-H. & Pagallo, U. (eds.). Cambridge University Press, (Cambridge Law Handbooks).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • Multiview learning in biomedical applications

    Serra, A., Galdi, P. & Tagliaferri, R., Jan 2024, Artificial Intelligence in the Age of Neural Networks and Brain Computing, Second Edition. Kozma, R., Alippi, C., Choe, Y. & Carlo Morabito, F. (eds.). 2 ed. Academic Press, p. 307-324 18 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • 2023

    Confronting Gender Bias in Heritage Catalogues: A Natural Language Processing Approach to Revisiting Descriptive Metadata

    Havens, L., Terras, M. & Alex, B., 22 Dec 2023, (Accepted/In press) The Routledge Handbook of Heritage and Gender. Routledge

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • Artificial intelligence and the imperative of responsibility: Reconceiving AI governance as social care

    Vallor, S. & Ganesh, B., 7 Nov 2023, The Routledge Handbook of Philosophy of Responsibility. Kiener, M. (ed.). 1 ed. New York, NY: Routledge Taylor & Francis Group, p. 395-406 12 p. (Routledge Handbooks in Philosophy).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • Compact inverse categories

    Heunen, C. & Cockett, R., 4 Aug 2023, Samson Abramsky on Logic and Structure in Computer Science and Beyond . Springer, Vol. 25. p. 813-832 (Outstanding Contributions to Logic).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • Boolean Connectives and Deep Learning: Three Interpretations

    Mendez-Lucero, M-A. & Belle, V., 2023, Compendium of Neurosymbolic Artificial Intelligence. Hitzler, P., Sarker, M. K. & Eberhart, A. (eds.). IOS Press, Vol. 369. p. 100-113 (Frontiers in Artificial Intelligence and Applications; vol. 369).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

    Open Access
    File
  • 2022

    Co-designed or evidence-based? Developing digital self-management interventions for long-term conditions

    McCallum, C., Campbell, M., Hackett, K. & Vines, J., 30 Sept 2022, Designing Interventions to Address Complex Societal Issues. Morton, S. (ed.). Routledge Taylor & Francis Group, 15 p. (Design Research for Change).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

    Open Access
    File
  • Designing with predictive models: Situating the Covid Aware app in Jamaica

    Pschetz, L., Bailey, A., Rankin, J., Enright, J. & Wilson, M., 30 Sept 2022, Designing Interventions to Address Complex Societal Issues. Morton, S. (ed.). 1 ed. New York: Routledge, 30 p. (Design Research for Change).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  • Fair Must Testing for I/O Automata

    van Glabbeek, R., 7 Sept 2022, A Journey from Process Algebra via Timed Automata to Model Learning. Jansen, N., Stoelinga, M. & van den Bos, P. (eds.). Springer, Vol. 13560. p. 559-574 16 p. (Lecture Notes in Computer Science; vol. 13560).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • An Ultrasound-Guided Mechatronics-Assisted System for Semi-Automated Seed Implantation and Tracking in Prostate Brachytherapy

    Rossa, C., Carriere, J., Khadem, M., Sloboda, R., Usmani, N. & Tavakoli, M., 1 Jun 2022, Brain and Cognitive Intelligence Control in Robotics. Wei, B. (ed.). 1 ed. Boca Raton: CRC Press, p. 21-46 26 p. (Brain and Cognitive Intelligence: Control in Robotics).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • OntoEnricher: A Deep Learning Approach for Ontology Enrichment from Unstructured Text

    Sanagavarapu, L. M., Iyer, V. & Reddy, Y. R., 9 May 2022, Cybersecurity and High-Performance Computing Environments: Integrated Innovations, Practices, and Applications. Li, K-C., Sukhija, N., Bautista, E. & Gaudiot, J-L. (eds.). Routledge Taylor & Francis Group, p. 261-284 24 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

    Open Access
  • Data provenance, curation and quality in metrology

    Cheney, J., Chapman, A., Davidson, J. & Forbes, A., 17 Feb 2022, Advanced Mathematical and Computational Tools in Metrology and Testing XII. Pavese, F., Forbes, A. B., Zhang, N. F. & Chunovkina, A. G. (eds.). Singapore: World Scientific Press, p. 167-187 21 p. (Advances in Mathematics for Applied Sciences; vol. 90).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • 2021

    Intra-actions in data-driven systems: A case study in creative praxis

    Speed, C. & Disley, M., 30 Dec 2021, Distributed Perception: Resonances and Axiologies . Lushetich, N. & Campbell, I. (eds.). 1 ed. London: Routledge, 15 p. (Routledge Studies in Science, Technology and Society).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • Building accountability into the Internet of Things

    Crabtree, A., Lodge, T., McAuley, D., Urquhart, L., Haddadi, H. & Mortier, R., 30 Nov 2021, Privacy by Design for the Internet of Things: Building Accountability and Security. Crabtree, A., Haddadi, H. & Mortier, R. (eds.). IET, p. 127-152 26 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • Human-centred home network security

    McAuley, D., Chen, J., Lodge, T., Mortier, R., Piasecki, S., Popescu, D. A. & Urquhart, L., 30 Nov 2021, Privacy by Design for the Internet of Things: Building Accountability and Security. Crabtree, A., Haddadi, H. & Mortier, R. (eds.). IET, p. 211-228 18 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • On the principle of accountability: Challenges for smart homes & cybersecurity

    Urquhart, L. & Chen, J., 30 Nov 2021, Privacy by Design for the Internet of Things: Building Accountability and Security. Crabtree, A., Haddadi, H. & Mortier, R. (eds.). IET, p. 19-47 29 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • Analysis of Probabilistic Processes and Automata Theory

    Etessami, K., Sept 2021, Handbook of Automata Theory: Volume II. Automata in Mathematics and Selected Applications. Pin, J-É. (ed.). EMS Publishing House, Vol. II. p. 1343-1382

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • Modelling virtual bargaining using logical representation change

    Bundy, A., Philalithis, E. & Li, X., 20 Jul 2021, Human-Like Machine Intelligence. Muggleton, S. H. & Chater, N. (eds.). Oxford University Press, p. 68-89

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

    Open Access
    File
  • Guarded Ontology-Mediated Queries

    Barceló, P., Berger, G., Gottlob, G. & Pieris, A., 1 Jun 2021, Hajnal Andréka and István Németi on Unity of Science. 1 ed. Springer, p. 27-52 26 p. (Outstanding Contributions to Logic; vol. 19).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

    Open Access
    File
  • Dynamic Proof Presentation

    Jackson, P. B., 24 May 2021, Mathematical Reasoning: The History and Impact of the DReaM Group. Michaelson, G. (ed.). Cham: Springer International Publishing, p. 63-86 24 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • From Mathematical Reasoning to Crises in Different Languages: The Application of Failure-Driven Reasoning to Ontologies and Data

    Mcneill, F., 24 May 2021, Mathematical Reasoning: The History and Impact of the DReaM Group. Michaelson, G. (ed.). 1 ed. Springer, p. 147-162

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • The History of the DReaM Group

    Bundy, A., 24 May 2021, Mathematical Reasoning: The History and Impact of the DReaM Group. Michaelson, G. (ed.). 1 ed. Springer, Cham, p. 1-35

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

    Open Access
    File
  • Machine translation in healthcare

    Haddow, B., Birch, A. & Heafield, K., 10 May 2021, The Routledge Handbook of Translation and Health . Susam-Saraeva, S. & Spišiaková, E. (eds.). 1 ed. London: Routledge, 22 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • 2020

    Control of prosthetic hands

    Nazarpour, K., Krasoulis, A. & Hahne, J., 30 Dec 2020, Contorl of prosthetic hands: Challenges and Emerging Avenues . Nazarpour, K. (ed.). London: IET, p. 1-13 (Healthcare Technologies).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • Magnetomyography

    Zuo, S., Nazarpour, K., Gerken, M. & Heidari, H., 30 Dec 2020, Control of Prosthetic Hands: Challenges and emerging avenues. Nazarpour, K. (ed.). London: IET, p. 69-97 27 p. (Healthcare Technologies).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

    Open Access
  • The future of myoelectric prosthetics control

    Nazarpour, K., 30 Dec 2020, Control of Prosthetic Hands: Challenges and emerging avenues. Nazarpour, K. (ed.). London: IET, p. 205-212 8 p. (Healthcare Technologies; vol. 22).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • User-prosthesis coadaptation

    Igual, C., Igual, J., Hahne, J. & Nazarpour, K., 30 Dec 2020, Control of Prosthetic Hands: Challenges and emerging avenues . Nazarpour, K. (ed.). London: IET, p. 159-174 16 p. (Healthcare Technologies).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • White noise from the white goods? Privacy by design for ambient domestic computing

    Urquhart, L. D., Mar 2020, Future Law : Emerging Technology, Regulation and Ethics. Edwards, L., Schafer, B. & Harbinja, E. (eds.). Edinburgh University Press, p. 41-78 38 p. (Future Law).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • Volleyball Action Modelling for Behavior Analysis and Interactive Multi-modal Feedback

    Salim, F. A., Haider, F., Tasdemir, S. B. Y., Naghashi, V., Tengiz, I., Cengiz, K., Postma, D. B. W., Van Delden, R., Reidsma, D., Luz, S. & Van Beijnum, B. J., 1 Jan 2020, 15th International Summer Workshop on Multimodal Interfaces: Proceedings eNTERFACE’19. Dibeklioğlu, H. & Sürer, E. (eds.). Ankara: Computer Engineering Department, Bilkent University, Ankara, Turkey, p. 50-58 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

    Open Access
    File
  • Dimension Reduction Techniques in a Brain–Computer Interface Application

    Cozza, F., Galdi, P., Serra, A., Pasqua, G., Pavone, L. & Tagliaferri, R., 2020, Neural Approaches to Dynamics of Signal Exchanges. Esposito, A., Faundez-Zanuy, M., Carlo Morabito, F. & Pasero, E. (eds.). 1 ed. Springer, Vol. 151. p. 107-118 12 p. (Smart Innovation, Systems and Technologies; vol. 151).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • 2019

    Intelligent geometry tools

    Davenport, J., Fleuriot, J., Quaresma, P., Recio, T. & Wang, D., 31 Dec 2019, Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements . Suda, M. & Winkler, S. (eds.). Open Publishing Association, p. 51-52 2 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS; vol. 311).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

    Open Access
  • A study on the performance of reproducible computations

    Bombace, N. & Weiland, M., 3 Dec 2019, High Performance Computing: ISC High Performance 2019 International Workshops, Frankfurt/Main, Germany, June 16-20, 2019, Revised Selected Papers. Weiland, M., Juckeland, G., Alam, S. & Jagode, H. (eds.). Springer, p. 441-451 12 p. (Lecture Notes in Computer Science; vol. 11887).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

    Open Access
    File
  • A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice

    van Glabbeek, R. J., Groote, J. F. & de Vink, E. P., 4 Nov 2019, The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Alvim, M. S., Chatzikokolakis, K., Olarte, C. & Valencia, F. (eds.). Cham: Springer International Publishing Switzerland, p. 139-162 24 p. (Lecture Notes in Computer Science; vol. 11760).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • Stronger Validity Criteria for Encoding Synchrony

    van Glabbeek, R., Goltz, U., Lippert, C. & Mennicke, S., 4 Nov 2019, The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Alvim, M. S., Chatzikokolakis, K., Olarte, C. & Valencia, F. (eds.). Cham: Springer International Publishing Switzerland, p. 182-205 24 p. (Lecture Notes in Computer Science; vol. 11760).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • A Common Type of Rigorous Proof that Resists Hilbert’s Programme

    Bundy, A. & Jamnik, M., 28 Oct 2019, Proof Technology in Mathematics Research and Teaching. Springer-Verlag GmbH, p. 59-71 11 p. (Mathematics Education in the Digital Era; vol. 14).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

    Open Access
    File
  • Text visualization for the support of lexicography-based scholarly work

    Sheehan, S. & Luz, S., 2 Oct 2019, Electronic Lexicography in the 21st Century. Vol. 2019-October. p. 694-725 32 p. (Proceedings of Electronic Lexicography in the 21st Century Conference).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

    Open Access
    File
  • Journeys in mathematical landscapes: genius or craft?

    Lane, L., Martin, U., Murray-Rust, D., Pease, A. & Tanswell, F., Oct 2019, Proof Technology in Mathematics Research and Teaching. Hanna, G., Reid, D. & de Villiers, M. (eds.). Springer, p. 197-212 16 p. (Mathematics education in the digital era).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

    Open Access
    File
  • Statistical Models of Neural Activity, Criticality, and Zipf’s Law

    Sorbaro, M., Herrmann, J. M. & Hennig, M., 24 Jul 2019, The Functional Role of Critical Dynamics in Neural Systems. Springer International Publishing, p. 265-287 (Springer Series on Bio- and Neurosystems; vol. 11).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • Reward Testing Equivalences for Processes

    van Glabbeek, R., 3 Jul 2019, Models, Languages, and Tools for Concurrent and Distributed Programming: Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday. Boreale, M., Corradini, F., Loreti, M. & Pugliese, R. (eds.). Cham: Springer International Publishing Switzerland, p. 45-70 26 p. (Lecture Notes in Computer Science; vol. 11665).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • The minds of insects

    Webb, B., 20 Jun 2019, Andy Clark and His Critics. Colombo, M., Irvine, E. & Stapleton, M. (eds.). Oxford University Press, p. 254-265 11 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

    Open Access
    File
  • Stochastic spatial modelling of the remyelination process in multiple sclerosis lesions

    Luisa Vissat, L., Hillston, J. & Williams, A., 12 Jun 2019, (E-pub ahead of print) Automated Reasoning for Systems Biology and Medicine. Liò, P. & Zuliani, P. (eds.). Springer, p. 299-326 28 p. (Computational Biology; vol. 30).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • Sensing Data in the Home

    Speed, C. & Luger, E., 10 Apr 2019, People, Personal Data and the Built Environment. Schnädelbach, H. & Kirk, D. (eds.). 1 ed. Springer, p. 123-142 ( Springer Series in Adaptive Environments).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • Approximate Computing for Stream Analytics

    Quoc, D. L., Chen, R., Bhatotia, P., Fetzer, C., Hilt, V. & Strufe, T., 1 Mar 2019, Encyclopedia of Big Data Technologies. Sakr, S. & Zomaya, A. (eds.). 1 ed. Springer-Verlag, p. 90-97 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

    Open Access
    File
  • Incremental Approximate Computing

    Krishnan, D. R., Quoc, D. L., Bhatotia, P., Fetzer, C. & Rodrigues, R., 1 Mar 2019, Encyclopedia of Big Data Technologies. Sakr, S. & Zomaya, A. (eds.). 1 ed. Springer-Verlag, p. 1000-1007 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • Incremental Sliding Window Analytics

    Bhatotia, P., Acar, U. A., Junqueira, F. P. & Rodrigues, R., 1 Mar 2019, Encyclopedia of Big Data Technologies. Sakr, S. & Zomaya, A. (eds.). 1 ed. Springer-Verlag, p. 1007-1015 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • Privacy-Preserving Data Analytics

    Quoc, D. L., Beck, M., Bhatotia, P., Chen, R., Fetzer, C. & Strufe, T., 1 Mar 2019, Encyclopedia of Big Data Technologies. Sakr, S. & Zomaya, A. (eds.). 1 ed. Springer-Verlag, p. 1292-1300 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • Early spelling evidence for Scots L-vocalisation: A corpus-based approach

    Molineaux Ress, B., Kopaczyk, J., Maguire, W., Alcorn, R., Karaiskos, V. & Los, B., 30 Jan 2019, Historical Dialectology in the Digital Age. Alcorn, R., Los, B., Kopaczyk, J. & Molineaux, B. (eds.). Edinburgh: Edinburgh University Press

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • Domesticating data: Socio-legal perspectives on smart homes & good data design

    Urquhart, L., Goulden, M., Flintham, M. & Price, D., 23 Jan 2019, Good Data. Daly, A., Devitt, S. K. & Mann, M. (eds.).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

    Open Access
    File
  • Subprime Language & the Crash

    Thornton, P., 2019, How to Run a City like Amazon and Other Fables. Graham, M., Kitchin, R., Mattern, S. & Shaw, J. (eds.). London: Meatspace Press

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review