Indonli: A natural language inference dataset for indonesian R Mahendra, AF Aji, S Louvan, F Rahman, C Vania arXiv preprint arXiv:2110.14566, 2021 | 28 | 2021 |
Multiobjective Optimization for Meaningful Metrical Poetry. F Rahman, R Manurung ICCC, 4-9, 2011 | 16 | 2011 |
A probabilistic model of Ancient Egyptian writing MJ Nederhof, F Rahman Journal of Language Modelling, 2017 | 9 | 2017 |
Semantic annotations in clinical guidelines F Rahman, J Bowles From Data to Models and Back: 9th International Symposium, DataMod 2020 …, 2021 | 3 | 2021 |
Formal verification of CNL health recommendations F Rahman, JKF Bowles International Conference on Integrated Formal Methods, 357-371, 2017 | 2 | 2017 |
Trends in diabetes medication use in Canada, England, Scotland and Australia: a repeated cross-sectional analysis (2012-2017) M Greiver, A Havard, J Kuster Filipe Bowles, S Kalia, T Chen, ... British Journal of General Practice, 2021 | 1 | 2021 |
Creating Formal Specifications with Analogical Reasoning D O’Donoghue, R Monahan, D Grijincu, M Pitu, F Halim, F Rahman, ... PICS-Publication Series of the Institute of Cognitive Science 1, 2014 | 1 | 2014 |
Adversarial AI applied to cross-user inter-domain and intra-domain adaptation in human activity recognition using wireless signals M Hassan, T Kelsey, F Rahman Plos one 19 (4), e0298888, 2024 | | 2024 |
Processing clinical guideline text for formal verification F Rahman University of St Andrews, 2022 | | 2022 |
Arís 2.1: Adapting Arís for Object Oriented Language F Rahman National University of Ireland Maynooth, 2014 | | 2014 |