Search Results - "Osman Hasan"

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

“…Deep brain stimulation (DBS) is a widely accepted treatment for the Parkinson's disease (PD). Traditionally, it is done in an open-loop manner, where…”
Get more information

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

“…Approximate computing (AC) is an emerging computing paradigm suitable for intrinsic error-tolerant applications to reduce energy consumption and execution…”
Get full text

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

“…Approximate computing is an emerging trend in hardware and software design that leverages upon the inherent tolerance for inaccuracy in applications to…”
Get full text

Probabilistic Error Analysis of Approximate Recursive Multipliers by Mazahir, Sana, Hasan, Osman, Hafiz, Rehan, Shafique, Muhammad

“…Approximate multipliers are gaining importance in energy-efficient computing and require careful error analysis. In this paper, we present the error…”
Get full text

Applying Formal Methods to Networking: Theory, Techniques, and Applications by Qadir, Junaid, Hasan, Osman

“…Despite its great importance, modern network infrastructure is remarkable for the lack of rigor in its engineering. The Internet, which began as a research…”
Get full text

Design and Realization of a Robotic Manipulator for Minimally Invasive Surgery With Replaceable Surgical Tools by Nisar, Sajid, Hameed, Asad, Kamal, Nabeel, Hasan, Osman, Matsuno, Fumitoshi

“…Minimally invasive surgery is a useful but challenging surgical technique. Several robotic manipulators have been realized in the past three decades to…”
Get full text

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

“…Approximate adders are widely being advocated as a means to achieve performance gain in error resilient applications. In this paper, a generic methodology for…”
Get full text

Formal performance analysis of optimal relays-based protection scheme for automated distribution networks by Ashraf, Sobia, Hasan, Osman

“…The dominance of dual-setting directional overcurrent relays (DS-DOCRs) based protection schemes and associated high-reliability requirements require rigorous…”
Get full text

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

“…Designing dependable multiprocessor systems requires reliable interconnection networks. Multistage interconnection networks (MINs), including shuffle-exchange…”
Get full text

MacLeR: Machine Learning-Based Runtime Hardware Trojan Detection in Resource-Constrained IoT Edge Devices by Khalid, Faiq, Hasan, Syed Rafay, Zia, Sara, Hasan, Osman, Awwad, Falah, Shafique, Muhammad

“…Traditional learning-based approaches for runtime hardware Trojan (HT) detection require complex and expensive on-chip data acquisition frameworks, and thus…”
Get full text

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

“…Chronic Kidney Disease (CKD), i.e., gradual decrease in the renal function spanning over a duration of several months to years without any major symptoms, is a…”
Get full text

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

“…Two-dimensional (2D) image processing systems are concerned with the processing of the images represented as 2D arrays and are widely used in medicine,…”
Get full text

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

“…Cell injection is an approach used for the delivery of small sample substances into a biological cell and is widely used in drug development, gene injection,…”
Get full text

ForASec: Formal Analysis of Hardware Trojan-Based Security Vulnerabilities in Sequential Circuits by Khalid, Faiq, Abbassi, Imran Hafeez, Rehman, Semeen, Kamboh, Awais Mehmood, Hasan, Osman, Shafique, Muhammad

“…In this article, we propose a novel model checking-based methodology that analyzes the hardware trojan (HT)-based security vulnerabilities in sequential…”
Get full text

Formal Verification of ECCs for Memories Using ACL2 by Naseer, Mahum, Ahmad, Waqar, Hasan, Osman

“…Due to the ever-increasing toll of soft errors in memories, Error Correction Codes (ECCs) like Hamming and Reed-Solomon Codes have been used to protect data in…”
Get full text

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

“…Many sampling based algorithms have been introduced recently. Among them Rapidly Exploring Random Tree (RRT) is one of the quickest and the most efficient…”
Get full text

BioNetExplorer: Architecture-Space Exploration of Biosignal Processing Deep Neural Networks for Wearables by Prabakaran, Bharath Srinivas, Akhtar, Asima, Rehman, Semeen, Hasan, Osman, Shafique, Muhammad

“…Deep learning (DL) has been shown to be highly effective in solving various problems across numerous applications and domains, such as autonomous driving and…”
Get full text

Performance Analysis of the Dual-Setting Directional Overcurrent Relays-Based Protection Considering the Impact of Curve Types and Fault Location by Ashraf, Sobia, Evkay, Ibrahim, Selamogullari, Ugur Savas, Baysal, Mustafa, Hasan, Osman

“…Traditionally, directional overcurrent relays (DOCRs) have been used for protecting the meshed distribution systems with DGs. Recently, dual-setting DOCRs have…”
Get full text

Can retinal nerve fiber layer (RNFL) thickness be a marker for distinguishing bipolar depression from unipolar depression? by Kılıç, Osman Hasan Tahsin, Kartı, Ömer, Kıyat, Pelin, Bayram, Zehra Nur, Kırcı Dallıoğlu, Çiğdem

“…We aimed to compare retinal nerve fiber layer (RNFL) thickness and ganglion cell complex (GCC) thickness in bipolar disorder (BD) and major depressive disorder…”
Get full text

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

“…The Multiply-Accumulate Unit (MAC) is an integral computational component of all digital signal processing (DSP) architectures and thus has a significant…”
Get full text