Research output per year
Research output per year
- 13 results
Search results
-
2024
Phishing Codebook: A structured framework for the characterization of phishing emails
Saka, T., Jain, R., Vaniea, K. & Kokciyan, N., 16 Aug 2024, ArXiv, p. 1-18, 18 p.Research output: Working paper › Preprint
File -
Unobtrusive monitoring of physical weakness: A simulated approach
Long-fei, C., Raza, M. A., Innes, C., Ramamoorthy, S. & Fisher, R. B., 14 Jun 2024, ArXiv.Research output: Working paper › Preprint
-
Highway graph to accelerate reinforcement learning
Yin, Z., Zhang, Z., Gong, D., Albrecht, S. V. & Shi, J. Q., 20 May 2024, ArXiv.Research output: Working paper › Preprint
File -
Semantic objective functions: A distribution-aware method for adding logical constraints in deep learning
Mendez-Lucero, M. A., Gallardo, E. B. & Belle, V., 3 May 2024, ArXiv.Research output: Working paper › Preprint
File -
2023
Associations between Morbidities in Small But Important Subgroups: A Novel Bayesian Approach for Robust Multimorbidity Analysis with Small Sample Sizes
Romero Moreno, G., Restocchi, V., Fleuriot, J. D., Anand, A., Mercer, S. & Guthrie, B., 7 Aug 2023, p. 1-17, 17 p. (TLDIGITALHEALTH-D-23-00914).Research output: Working paper › Preprint
-
Neurosymbolic AI for reasoning on biomedical knowledge graphs
DeLong, L. N., Mir, R. F., Ji, Z., Smith, F. N. C. & Fleuriot, J. D., 17 Jul 2023, ArXiv.Research output: Working paper › Preprint
File -
Agency and legibility for artists through Experiential AI
Hemment, D., Vidmar, M., Panas, D., Murray-Rust, D., Belle, V. & Ruth, A., 4 Jun 2023.Research output: Working paper › Preprint
File -
Experiential AI: A transdisciplinary framework for legibility and agency in AI
Hemment, D., Murray-Rust, D., Belle, V., Aylett, R., Vidmar, M. & Broz, F., 1 Jun 2023.Research output: Working paper › Preprint
File -
2022
Constrained Training of Neural Networks via Theorem Proving
Chevallier, M., Whyte, M. & Fleuriot, J. D., 8 Jul 2022, ArXiv, 19 p.Research output: Working paper › Preprint
-
Experiential AI: Enhancing explainability in artificial intelligence through artistic practice
Hemment, D., Murray-Rust, D., Belle, V., Aylett, R., Vidmar, M. & Broz, F., 18 Mar 2022, 33 p.Research output: Working paper › Preprint
File -
A Survey of Ad Hoc Teamwork: Definitions, Methods, and Open Problems
Mirsky, R., Carlucho, I., Rahman, A., Fosong, E., Macke, W., Sridharan, M., Stone, P. & Albrecht, S. V., 16 Feb 2022, arXiv.org, 8 p.Research output: Working paper › Preprint
File -
2021
Formalising the Foundations of Discrete Reinforcement Learning in Isabelle/HOL
Chevallier, M. & Fleuriot, J., 11 Dec 2021, ArXiv, 37 p.Research output: Working paper › Preprint
File -
An Evaluation of the Archive of Formal Proofs
MacKenzie, C., Fleuriot, J. & Vaughan, J., 1 Apr 2021, ArXiv, 21 p.Research output: Working paper › Preprint