EasyDetectDisease: An Android App for Early Symptom Detection and Prevention of Childhood Infectious Diseases

por Ponum, Mahvish, Hasan, Osman, Khan, Saadia
Publicado 2019

Formal reasoning about systems biology using theorem proving

por Rashid, Adnan, Hasan, Osman, Siddique, Umair, Tahar, Sofiène
Publicado 2017

Formal verification of Matrix based MATLAB models using interactive theorem proving

por Gauhar, Ayesha, Rashid, Adnan, Hasan, Osman, Bispo, João, Cardoso, João M.P.
Publicado 2021

Stunting diagnostic and awareness: impact assessment study of sociodemographic factors of stunting among school-going children of Pakistan

por Ponum, Mahvish, Khan, Saadia, Hasan, Osman, Mahmood, Muhammad Tahir, Abbas, Asad, Iftikhar, Mehwish, Arshad, Reema
Publicado 2020

Chronic kidney disease diagnosis using decision tree algorithms

por Ilyas, Hamida, Ali, Sajid, Ponum, Mahvish, Hasan, Osman, Mahmood, Muhammad Tahir, Iftikhar, Mehwish, Malik, Mubasher Hussain
Publicado 2021