Følg
Muhammad Nauman
Tittel
Sitert av
Sitert av
År
Guaranteeing correctness of machine learning based decision making at higher educational institutions
M Nauman, N Akhtar, A Alhudhaif, A Alothaim
IEEE access 9, 92864-92880, 2021
252021
Guaranteeing correctness in Black-Box Machine Learning: A Fusion of Explainable AI and formal methods for Healthcare decision-making
N Khan, M Nauman, AS Almadhor, N Akhtar, A Alghuried, A Alhudhaif
IEEE Access, 2024
112024
Leveraging Big Data Analytics for Enhanced Clinical Decision-Making in Healthcare
F Hussain, M Nauman, A Alghuried, A Alhudhaif, N Akhtar
IEEE Access 11, 127817-127836, 2023
82023
Improving the Correctness of Medical Diagnostics Based on Machine Learning With Coloured Petri Nets
M. Nauman, N. Akhtar, O. H. Alhazmi, M. Hameed, H. Ullah, N. Khan
IEEE Access 9, 143434-143447, 2021
42021
Timed-Automata Based Model-Checking of a Multi-Agent System: A Case Study
N Akhtar, M Nauman
Journal of Software Engineering and Applications 8 (2), 43-50, 2015
32015
Harnessing coloured petri nets to enhance machine learning: A simulation-based method for healthcare and beyond
AP Andressa C.M. da Silveira, Álvaro Sobrinho, Leandro Dias da Silva, Danilo ...
Simulation Modelling Practice and Theory, 2025
2025
The Role of Big Data Analytics in Revolutionizing Diabetes Management and Healthcare Decision-Making
M Nauman, AS Almadhor, M Albekairi, AR Ansari, MAB Fayyaz, R Nawaz
IEEE Access, 2025
2025
EXTREMISM CLASSIFICATION BASED ON TWITTER TEXT USING ENSEMBLE LEARNING
M SABIR, DM KHAN, F SHAHZAD, M NAUMAN, A ALI
Journal of Tianjin University Science and Technology 55 (9), 2022
2022
Formal Specification and Verification of an Internet Marketing System Using Timed-Automata Based Uppaal
N Akhtar, M Nauman
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–9