Formal Verification of Deep Brain Stimulation Controllers for Parkinson's Disease Treatment von Nawaz, Arooj, Hasan, Osman, Jabeen, Shaista

Volltext

Machine-Learning-Based Self-Tunable Design of Approximate Computing von Masadeh, Mahmoud, Hasan, Osman, Tahar, Sofiene

Volltext

Formal Probabilistic Analysis of Low Latency Approximate Adders von Qureshi, Amina, Hasan, Osman

Volltext

Probabilistic Error Modeling for Approximate Adders von Mazahir, Sana, Hasan, Osman, Hafiz, Rehan, Shafique, Muhammad, Henkel, Jorg

Volltext

Dynamic dependability analysis of shuffle-exchange networks von Elderhalli, Yassmeen, Hasan, Osman, Tahar, Sofiène

Volltext

Chronic kidney disease diagnosis using decision tree algorithms von Ilyas, Hamida, Ali, Sajid, Ponum, Mahvish, Hasan, Osman, Mahmood, Muhammad Tahir, Iftikhar, Mehwish, Malik, Mubasher Hussain

Volltext

Formal analysis of 2D image processing filters using higher-order logic theorem proving von Rashid, Adnan, Abed, Sa’ed, Hasan, Osman

Volltext

Formal Verification of Robotic Cell Injection systems up to 4-DOF using HOL Light von Rashid, Adnan, Hasan, Osman

Volltext

Signgraph: An Efficient and Accurate Pose-Based Graph Convolution Approach Toward Sign Language Recognition von Naz, Neelma, Sajid, Hasan, Ali, Sara, Hasan, Osman, Ehsan, Muhammad Khurram

Volltext

RRT-SMART: A Rapid Convergence Implementation of RRT von Nasir, Jauwairia, Islam, Fahad, Malik, Usman, Ayaz, Yasar, Hasan, Osman, Khan, Mushtaq, Muhammad, Mannan Saeed

Volltext

Formal Reliability Analysis of an Integrated Power Generation System Using Theorem Proving von Ahmad, Waqar, Hasan, Osman, Awwad, Falah, Bastaki, Nabil, Hasan, Syed Rafay

Volltext

Examination of optical coherence tomography findings in patients with pregabalin use disorder von Kılıç, Osman Hasan Tahsin, Bayram, Zehra Nur, Kiyat, Pelin, Karti, Omer, Aral, Arzu, Munis, Nazlı Deniz, Mutlu, Berfin Gurbet

Volltext

Input-Conscious Approximate Multiply-Accumulate (MAC) Unit for Energy-Efficiency von Masadeh, Mahmoud, Hasan, Osman, Tahar, Sofiene

Volltext

Recent trends and developments in protection systems for microgrids incorporating distributed generation von Ashraf, Sobia, Hasan, Osman, Evkay, Ibrahim, Selamogullari, Ugur S., Baysal, Mustafa

Volltext

Toward Model Checking-Driven Fair Comparison of Dynamic Thermal Management Techniques Under Multithreaded Workloads von Bukhari, Syed Ali Asadullah, Khalid, Faiq, Hasan, Osman, Shafique, Muhammad, Henkel, Jorg

Volltext

Formal reasoning about systems biology using theorem proving von Rashid, Adnan, Hasan, Osman, Siddique, Umair, Tahar, Sofiène

Volltext

Approximate Computing-Based Processing of MEA Signals on FPGA von Hassan, Mohammad, Awwad, Falah, Atef, Mohamed, Hasan, Osman

Volltext

Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings von Geuvers, Herman, England, Matthew, Hasan, Osman, Rabe, Florian, Teschke, Olaf

Volltext

IoTRiskAnalyzer: A Probabilistic Model Checking Based Framework for Formal Risk Analytics of the Internet of Things von Mohsin, Mujahid, Sardar, Muhammad Usama, Hasan, Osman, Anwar, Zahid

Volltext

Stunting diagnostic and awareness: impact assessment study of sociodemographic factors of stunting among school-going children of Pakistan von Ponum, Mahvish, Khan, Saadia, Hasan, Osman, Mahmood, Muhammad Tahir, Abbas, Asad, Iftikhar, Mehwish, Arshad, Reema

Volltext