Computer And Information Sciences

  • Postal address

    United Kingdom

Filter
Conference contribution book

Search results

  • 2023

    Nodes number estimation based on ML for multi-operator unlicensed band sharing to extend indoor connectivity

    Baiyekusi, O., Lee, H. & Moessner, K., 12 May 2023, 2023 IEEE Wireless Communications and Networking Conference (WCNC). Piscataway, NJ.: IEEE

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    4 Downloads (Pure)
  • Curbing ghost worker fraud in developing countries using consortium blockchain

    Bello, M. I. & Thomas, D. R., 24 Apr 2023, IWSPA '23: Proceedings of the 9th ACM International Workshop on Security and Privacy Analytics. New York, NY., p. 77-83 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    2 Downloads (Pure)
  • Podify: a podcast streaming platform with automatic logging of user behaviour for academic research

    Meggetto, F. & Moshfeghi, Y., 31 Mar 2023, (Accepted/In press) Proceedings of the 46th International ACM SIGIR Conference on Research and Development in Information Retrieval. 2023.. New York, NY, 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    7 Downloads (Pure)
  • Why people skip music? On predicting music skips using deep reinforcement learning

    Meggetto, F., Revie, C., Levine, J. & Moshfeghi, Y., 23 Mar 2023, Proceedings of the 2023 Conference on Human Information Interaction and Retrieval. New York, NY, p. 95-106 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    18 Downloads (Pure)
  • Exploring older people's challenges on online banking/finance systems: early findings

    Thomas, D., Chowdhury, G. & Ruthven, I., 20 Mar 2023, CHIIR 2023 - Proceedings of the 2023 Conference on Human Information Interaction and Retrieval. New York, p. 333–337 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    44 Downloads (Pure)
  • Towards understanding and supporting exploratory searches

    Soufan, A., 20 Mar 2023, CHIIR 2023 - Proceedings of the 2023 Conference on Human Information Interaction and Retrieval. New York, p. 490–494 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
  • Confidence as part of searcher's cognitive context

    Michalkova, D., Parra Rodriguez, M. & Moshfeghi, Y., 10 Mar 2023, Machine Learning, Optimization, and Data Science - 8th International Conference, LOD 2022, Revised Selected Papers. Nicosia, G., Giuffrida, G., Ojha, V., La Malfa, E., La Malfa, G., Pardalos, P., Di Fatta, G. & Umeton, R. (eds.). Vol. 13811. p. 510-524 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13811 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    22 Downloads (Pure)
  • Neural correlates of satisfaction of an information need

    Paisalnan, S., Pollick, F. & Moshfeghi, Y., 10 Mar 2023, Machine Learning, Optimization, and Data Science - 8th International Conference, LOD 2022, Revised Selected Papers. Nicosia, G., Giuffrida, G., Ojha, V., La Malfa, E., La Malfa, G., Pardalos, P., Di Fatta, G. & Umeton, R. (eds.). Cham, Switzerland, p. 443-457 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13811 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

  • On time series cross-validation for deep learning classification model of mental workload levels based on EEG signals

    Kingphai, K. & Moshfeghi, Y., 10 Mar 2023, Machine Learning, Optimization, and Data Science - 8th International Conference, LOD 2022, Revised Selected Papers. Nicosia, G., Giuffrida, G., Ojha, V., La Malfa, E., La Malfa, G., Pardalos, P., Di Fatta, G. & Umeton, R. (eds.). Cham, Switzerland, Vol. 13811. p. 402-416 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13811 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    28 Downloads (Pure)
  • Revisiting neurological aspects of relevance: an EEG study

    Pinkosova, Z., McGeown, W. J. & Moshfeghi, Y., 10 Mar 2023, Machine Learning, Optimization, and Data Science - 8th International Conference, LOD 2022, Revised Selected Papers. Nicosia, G., Giuffrida, G., Ojha, V., La Malfa, E., La Malfa, G., Pardalos, P., Di Fatta, G. & Umeton, R. (eds.). Cham, Switzerland, Vol. 13811. p. 549-563 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13811 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    11 Downloads (Pure)
  • Role of punctuation in semantic mapping between brain and transformer models

    Lamprou, Z., Pollick, F. & Moshfeghi, Y., 10 Mar 2023, Machine Learning, Optimization, and Data Science - 8th International Conference, LOD 2022, Revised Selected Papers. Nicosia, G., Giuffrida, G., Ojha, V., La Malfa, E., La Malfa, G., Pardalos, P., Di Fatta, G. & Umeton, R. (eds.). Cham, Switzerland, p. 458-472 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13811 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    5 Downloads (Pure)
  • Compiling higher-order specifications to SMT solvers: how to deal with rejection constructively

    Daggitt, M. L., Atkey, R., Kokke, W., Komendantskaya, E. & Arnaboldi, L., 11 Jan 2023, CPP 2023 : Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs. Krebbers, R., Traytel, D., Pientka, B. & Zdancewic, S. (eds.). New York, NY., p. 102-120 19 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    4 Downloads (Pure)
  • Energy level spoofing attacks and countermeasures in blockchain-enabled IoT

    Khan, A. H., Ikram, H., Ahmed, C. M., Hassan, N. U. & Uzmi, Z. A., 11 Jan 2023, GLOBECOM 2022 - 2022 IEEE Global Communications Conference. Piscataway, N.J.: IEEE, p. 4322-4327 6 p. (GLOBECOM 2022 - 2022 IEEE Global Communications Conference).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    4 Downloads (Pure)
  • An alternative supervision model for postgraduate projects: a course specific approach

    Liaskos, K., 6 Jan 2023, 'CEP 23: Proceedings of the 7th Conference on Computing Education Practice. New York, NY: Association for Computing Machinery (ACM), p. 29-32 4 p. (Computing Education Practice).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    6 Downloads (Pure)
  • Engaging students in threat thinking with the cyber security cinema

    Maguire, J., English, R. & Draper, S., 6 Jan 2023, CEP '23: Proceedings of the 7th Conference on Computing Education Practice. New York, NY, p. 13-16 4 p. (Computing Education Practice).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    4 Downloads (Pure)
  • Research-led active learning sessions in cyber security through research paper reading

    Maguire, J., English, R. & Draper, S., 6 Jan 2023, CEP '23: Proceedings of the 7th Conference on Computing Education Practice. New York, NY, p. 33-36 4 p. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    10 Downloads (Pure)
  • 2022

    Accessing digital cultural heritage information: users vs institutional perspectives of metadata and searching

    Gibson, R. C., Chowdhury, S. & Chowdhury, G., 7 Dec 2022, From Born-Physical to Born-Virtual: Augmenting Intelligence in Digital Libraries. ICADL 2022. Cham, Switzerland: Springer Nature Switzerland AG, p. 207-221 16 p. (Lecture Notes in Computer Science; vol. 13636).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

  • Breast cancer survival analysis with molecular subtypes: an initial step

    Zhang, L., Wu, J., Zhao, Y., Hu, W., Qin, A., Dong, F., Liu, E., Zeng, H., Xie, H. & Du, H., 14 Nov 2022, 2022 IEEE 22nd International Conference on Bioinformatics and Bioengineering (BIBE). Piscataway, NJ: IEEE, p. 363-366 4 p. (2022 IEEE 22nd International Conference on Bioinformatics and Bioengineering (BIBE)).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    2 Downloads (Pure)
  • Exploring the security and privacy risks of chatbots in messaging services

    Edu, J., Mulligan, C., Pierazzi, F., Polakis, J., Suarez-Tangil, G. & Such, J., 25 Oct 2022, IMC 2022 - Proceedings of the 2022 ACM Internet Measurement Conference. New York, p. 581-588 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    1 Citation (Scopus)
  • Designing with and for people with intellectual disabilities

    Soares Guedes, L., Gibson, R. C., Ellis, K., Sitbon, L. & Landoni, M., 22 Oct 2022, ASSETS 2022 - Proceedings of the 24th International ACM SIGACCESS Conference on Computers and Accessibility. New York, NY, p. 1-6 10 p. 106. (ASSETS 2022 - Proceedings of the 24th International ACM SIGACCESS Conference on Computers and Accessibility).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    32 Downloads (Pure)
  • Gabor-based audiovisual fusion for Mandarin Chinese speech recognition

    Xu, Y., Wang, H., Dong, Z., Li, Y. & Abel, A., 18 Oct 2022, 2022 30th European Signal Processing Conference (EUSIPCO). Piscataway, NJ: IEEE, p. 603-607 5 p. (2022 30th European Signal Processing Conference (EUSIPCO)).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    5 Downloads (Pure)
  • SOK : young children's cybersecurity knowledge, skills & practice: a systematic literature review

    Lamond, M., Renaud, K., Wood, L. & Prior, S., 29 Sept 2022, Proceedings - EuroUSEC 2022: 2022 European Symposium on Usable Security, EuroUSEC 2022. New York, p. 14-27 14 p. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    25 Downloads (Pure)
  • Curse of system complexity and virtue of operational invariants: machine learning based system modeling and attack detection in CPS

    Shahid, M. O., Ahmed, C. M., Palleti, V. R. & Zhou, J., 26 Sept 2022, 2022 IEEE Conference on Dependable and Secure Computing (DSC). Piscataway, NJ: IEEE, p. 1-8 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    7 Downloads (Pure)
  • Crowdsourcing quality concerns: an examination of Amazon's mechanical turk

    Dupuis, M., Renaud, K. & Searle, R., 21 Sept 2022, SIGITE 2022 - Proceedings of the 23rd Annual Conference on Information Technology Education: Proceedings of the 23rd Annual Conference on Information Technology Education. New York, p. 127-129 3 p. (SIGITE 2022 - Proceedings of the 23rd Annual Conference on Information Technology Education).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    1 Citation (Scopus)
  • Enhancing UK computing education research infrastructure with doctoral consortia

    Maguire, J., Fincher, S., Cutts, Q. & English, R., 1 Sept 2022, UKICER 2022 - Proceedings of the 2022 Conference on United Kingdom and Ireland Computing Education Research. New York, NY, USA, p. 1-2 2 p. 27. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    2 Downloads (Pure)
  • The impact of test elements on students' performance in EFL

    Alrzini, J., Rasmussen Pennington, D. & Dunlop, M. D., 1 Sept 2022, 16th International Conference on Interfaces and Human Computer Interaction (IHCI 2022). Blashki, K. (ed.). [Portugal]

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    22 Downloads (Pure)
  • Predicting the onset of delirium on hourly basis in an intensive care unit following cardiac surgery

    Lapp, L., Roper, M., Kavanagh, K. & Schraag, S., 31 Aug 2022, 2022 IEEE 35th International Symposium on Computer-Based Medical Systems (CBMS). Shen, L., Gonzalez, A. R., Santosh, KC., Lai, Z., Sicilia, R., Almeida, J. R. & Kane, B. (eds.). Piscataway, N.J.: IEEE, p. 234-239 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    1 Citation (Scopus)
    5 Downloads (Pure)
  • Drivers of information needs: a behavioural study – exploring searcher's feeling-of-knowing

    Michalkova, D., Parra Rodriguez, M. & Moshfeghi, Y., 25 Aug 2022, ICTIR '22: Proceedings of the 2022 ACM SIGIR International Conference on Theory of Information Retrieval. New York, NY, p. 171-181 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    3 Downloads (Pure)
  • Proof-of-communication-capability based authentication in blockchain-enabled wireless autonomous vehicular networks

    Khan, A. H., Ahmed, C. M., Hassan, N. U. & Uzmi, Z. A., 25 Aug 2022, 2022 IEEE 95th Vehicular Technology Conference: (VTC2022-Spring). Piscataway, N.J.: IEEE, 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    2 Downloads (Pure)
  • Size measures and alphabetic equivalence in the μ-calculus

    Kupke, C., Marti, J. & Venema, Y., 5 Aug 2022, Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2022: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science. New York, NY, USA, 13 p. 18. (Proceedings - Symposium on Logic in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    5 Downloads (Pure)
  • Quantitative polynomial functors

    Nakov, G. & Nordvall Forsberg, F., 4 Aug 2022, 27th International Conference on Types for Proofs and Programs (TYPES 2021). Basold, H., Cockx, J. & Ghilezan, S. (eds.). Dagstuhl, Germany, Vol. 239. p. 10:1--10:22 22 p. 10. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 239).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    6 Downloads (Pure)
  • Conversational agents trust calibration

    Dubiel, M., Daronnat, S. & Leiva, L. A., 26 Jul 2022, Proceedings of the 4th International Conference on Conversational User Interfaces, CUI 2022. Halvey, M., Foster, M. E., Dalton, J., Munteanu, C. & Trippas, J. (eds.). New York, 6 p. 30. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    1 Citation (Scopus)
    5 Downloads (Pure)
  • Understanding phishing in mobile instant messaging: a study into user behaviour toward shared links

    Ahmad, R. & Terzis, S., 22 Jul 2022, Human Aspects of Information Security and Assurance: 16th IFIP WG 11.12 International Symposium, HAISA 2022, Proceedings. Clarke, N. & Furnell, S. (eds.). Cham, Switzerland: Springer, p. 197-206 10 p. (IFIP Advances in Information and Communication Technology (IFIPAICT); vol. 658, no. 1).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

  • Joint chance constrained probabilistic simple temporal networks via column generation

    Murray, A., Cashmore, M., Arulselvan, A. & Frank, J., 18 Jul 2022, 15th International Symposium on Combinatorial Search. California, USA, p. 305-307 3 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    32 Downloads (Pure)
  • Information Need Awareness: an EEG study

    Michalkova, D., Parra-Rodriguez, M. & Moshfeghi, Y., 13 Jul 2022, SIGIR 2022 - Proceedings of the 45th International ACM SIGIR Conference on Research and Development in Information Retrieval. New York, p. 610–621 12 p. (SIGIR 2022 - Proceedings of the 45th International ACM SIGIR Conference on Research and Development in Information Retrieval).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    7 Downloads (Pure)
  • Are Taylor's posts risky? Evaluating cumulative revelations in online personal data: a persona-based tool for evaluating awareness of online risks and harms

    Azzopardi, L., Briggs, J., Duheric, M., Nash, C., Nicol, E., Moncur, W. & Schafer, B., 11 Jul 2022, SIGIR '22 : Proceedings of the 45th International ACM SIGIR Conference on Research and Development in Information Retrieval. New York, p. 3295–3299 5 p. (SIGIR 2022 - Proceedings of the 45th International ACM SIGIR Conference on Research and Development in Information Retrieval).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    14 Downloads (Pure)
  • Towards evolution-based autonomy in large-scale systems

    Anderson, D., Harvey, P., Kaneta, Y., Papadopoulos, P., Rodgers, P. & Roper, M., 9 Jul 2022, GECCO 2022 Companion - Proceedings of the 2022 Genetic and Evolutionary Computation Conference. New York, p. 1924–1925 2 p. (GECCO 2022 Companion - Proceedings of the 2022 Genetic and Evolutionary Computation Conference).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    1 Citation (Scopus)
    6 Downloads (Pure)
  • A flexible framework for offline effectiveness metrics

    Moffat, A., Mackenzie, J., Thomas, P. & Azzopardi, L., 7 Jul 2022, SIGIR 2022 - Proceedings of the 45th International ACM SIGIR Conference on Research and Development in Information Retrieval. New York, p. 578-587 10 p. (SIGIR 2022 - Proceedings of the 45th International ACM SIGIR Conference on Research and Development in Information Retrieval).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    2 Citations (Scopus)
    2 Downloads (Pure)
  • Improving cybercrime reporting in Scotland: a systematic literature review

    Sikra, J., 6 Jun 2022, Doctoral School Multidisciplinary Symposium 2022: Book of Abstracts. Glasgow: University of Strathclyde, p. 87-88 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    12 Downloads (Pure)
  • Deep learning techniques to identify and classify Covid-19 abnormalities on chest X-ray images

    Elhanashi, A., Lowe, D., Saponara, S. & Moshfeghi, Y., 27 May 2022, Real-Time Image Processing and Deep Learning 2022. Kehtarnavaz, N. & Carlsohn, M. F. (eds.). Bellingham, WA, 1210204. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 12102).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    1 Citation (Scopus)
    15 Downloads (Pure)
  • Can you still see me? Identifying robot operations over end-to-end encrypted channels

    Shah, R., Ahmed, C. M. & Nagaraja, S., 16 May 2022, WiSec 2022 - Proceedings of the 15th ACM Conference on Security and Privacy in Wireless and Mobile Networks: Proceedings of the 15th ACM Conference on Security and Privacy in Wireless and Mobile Networks. New York, p. 298-300 3 p. (WiSec 2022 - Proceedings of the 15th ACM Conference on Security and Privacy in Wireless and Mobile Networks).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    9 Downloads (Pure)
  • Potentials of blockchain technology to payroll systems

    Bello, M. I. & Thomas, D. R., 10 May 2022, SAIS 2022 Proceedings. [Atlanta, GA.], 6 p. 20

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    181 Downloads (Pure)
  • Researcher wellbeing and best practices in emotionally demanding research

    Feuston, J. L., Bhattacharya, A., Andalibi, N., Ankrah, E. A., Erete, S., Handel, M., Moncur, W., Vieweg, S. & Brubaker, J. R., 27 Apr 2022, CHI 2022 - Extended Abstracts of the 2022 CHI Conference on Human Factors in Computing Systems. New York, 6 p. 72. (CHI Conference on Human Factors in Computing Systems Extended Abstracts).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    7 Downloads (Pure)
  • A framework for substructural type systems

    Wood, J. & Atkey, R., 7 Apr 2022, (E-pub ahead of print) ESOP 2022 Proceedings. Cham, Switzerland: Springer, 27 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    1 Downloads (Pure)
  • Towards building economic models of conversational search

    Azzopardi, L., Aliannejadi, M. & Kanoulas, E., 5 Apr 2022, Advances in Information Retrieval - 44th European Conference on IR Research, ECIR 2022, Proceedings. Hagen, M., Verberne, S., Macdonald, C., Seifert, C., Balog, K., Nørvåg, K. & Setty, V. (eds.). Cham: Springer, p. 31-38 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13186 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    1 Citation (Scopus)
    4 Downloads (Pure)
  • A simplicial model for KB4n: epistemic logic with agents that may die

    Goubault, É., Ledent, J. & Rajsbaum, S., 18 Mar 2022, 39th International Symposium on Theoretical Aspects of Computer Science (STACS 2022). Berenbrink, P. & Monmege, B. (eds.). Dagstuhl, Germany, Vol. 219. p. 33:1--33:20 20 p. 33. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 219).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    3 Downloads (Pure)
  • Partners in life and online search: investigating older couples' collaborative information seeking

    Wei, W., Munteanu, C. & Halvey, M., 14 Mar 2022, CHIIR 2022 - Proceedings of the 2022 Conference on Human Information Interaction and Retrieval. New York, NY., p. 47-55 9 p. (CHIIR 2022 - Proceedings of the 2022 Conference on Human Information Interaction and Retrieval).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    1 Citation (Scopus)
    8 Downloads (Pure)
  • Succinct graph representations of µ-calculus formulas

    Kupke, C., Marti, J. & Venema, Y., 19 Feb 2022, 30th EACSL Annual Conference on Computer Science Logic, CSL 2022. Manea, F. & Simpson, A. (eds.). Dagstuhl, Germany, 18 p. 29. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 216).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    1 Citation (Scopus)
    7 Downloads (Pure)
  • Towards understanding neuroscience of realisation of information need in light of relevance and satisfaction judgement

    Paisalnan, S., Pollick, F. & Moshfeghi, Y., 2 Feb 2022, Machine Learning, Optimization, and Data Science: 7th International Conference, LOD 2021, Revised Selected Papers. Nicosia, G., Ojha, V., La Malfa, E., La Malfa, G., Jansen, G., Pardalos, P. M., Giuffrida, G. & Umeton, R. (eds.). Cham, Switzerland, p. 41-56 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13163 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    2 Citations (Scopus)
  • Towards temporally uncertain explainable AI planning

    Murray, A., Krarup, B. & Cashmore, M., 17 Jan 2022, Distributed Computing and Intelligent Technology - 18th International Conference, ICDCIT 2022, Lecture Notes in Computer Science. Bapi, R., Kulkarni, S., Mohalik, S. & Peri, S. (eds.). [Cham], Vol. 13145. p. 45-59 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13145 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    9 Downloads (Pure)