E-LIB Suche - Ergebnisse für: Hasan, Osman

1

Formal timing analysis of gate-level digital circuits using..:

Ain, Qurat-ul ; Hasan, Osman
Microprocessors and Microsystems. 109 (2024) - p. 105083 , 2024

Link: https://doi.org/10.1016/..

2

Formal Verification of Universal Numbers using Theorem Prov..:

Rashid, Adnan ; Gauhar, Ayesha ; Hasan, Osman..
Journal of Electronic Testing. , 2024

Link: https://doi.org/10.1007/..

3

Dynamic dependability analysis of shuffle-exchange networks:

Elderhalli, Yassmeen ; Hasan, Osman ; Tahar, Sofiène
Formal Methods in System Design. 62 (2024) 1-3 - p. 285-325 , 2024

Link: https://doi.org/10.1007/..

4

Recent trends and developments in protection systems for mi..:

Ashraf, Sobia ; Hasan, Osman ; Evkay, Ibrahim..
WIREs Energy and Environment. 13 (2024) 4 - p. , 2024

Link: https://doi.org/10.1002/..

5

Formal performance analysis of optimal relays-based protect..:

Ashraf, Sobia ; Hasan, Osman
Engineering Science and Technology, an International Journal. 51 (2024) - p. 101633 , 2024

Link: https://doi.org/10.1016/..

6

Performance Analysis of the Dual-Setting Directional Overcu..:

Ashraf, Sobia ; Evkay, Ibrahim ; Selamogullari, Ugur Savas..
Electric Power Components and Systems. 51 (2023) 7 - p. 706-723 , 2023

Link: https://doi.org/10.1080/..

7

Signgraph: An Efficient and Accurate Pose-Based Graph Convo..:

Naz, Neelma ; Sajid, Hasan ; Ali, Sara..
IEEE Access. 11 (2023) - p. 19135-19147 , 2023

Link: https://doi.org/10.1109/..

8

QuanDA: GPU Accelerated Quantitative Deep Neural Network An..:

Naseer, Mahum ; Hasan, Osman ; Shafique, Muhammad
ACM Transactions on Design Automation of Electronic Systems. 28 (2023) 6 - p. 1-21 , 2023

Link: https://doi.org/10.1145/..

9

UnbiasedNets: a dataset diversification framework for robus..:

Naseer, Mahum ; Prabakaran, Bharath Srinivas ; Hasan, Osman.
Machine Learning. 113 (2023) 5 - p. 2499-2526 , 2023

Link: https://doi.org/10.1007/..

10

Approximate Computing-Based Processing of MEA Signals on FP..:

Hassan, Mohammad ; Awwad, Falah ; Atef, Mohamed.
Electronics. 12 (2023) 4 - p. 848 , 2023

Link: https://doi.org/10.3390/..

11

Considering the Impact of Noise on Machine Learning Accurac:

, In: Embedded Machine Learning for Cyber-Physical, IoT, and Edge Computing,

Naseer, Mahum ; Bhatti, Iram Tariq ; Hasan, Osman. - p. 377-394 , 2023

Link: https://doi.org/10.1007/..

12

Adaptive Approximate Accelerators with Controlled Quality U..:

, In: Design and Applications of Emerging Computer Systems,

Masadeh, Mahmoud ; Hasan, Osman ; Tahar, Sofiène - p. 501-529 , 2023

Link: https://doi.org/10.1007/..

13

Formal Stability Analysis of Two-Dimensional Digital Image ..:

, In: Proceedings of Eighth International Congress on Information and Communication Technology; Lecture Notes in Networks and Systems,

Rashid, Adnan ; Abed, Sa'ed ; Hasan, Osman - p. 583-591 , 2023

Link: https://doi.org/10.1007/..

14

MIPA-ResGCN: a multi-input part attention enhanced residual..:

Naz, Neelma ; Sajid, Hasan ; Ali, Sara..
Computers and Electrical Engineering. 112 (2023) - p. 109009 , 2023

Link: https://doi.org/10.1016/..

15

Using an Interactive Theorem Prover for Formally Analyzing ..:

, In: Studies in Computational Intelligence; Mobile Robot: Motion Control and Path Planning,

Rashid, Adnan ; Hasan, Osman ; Abed, Sa'ed - p. 253-282 , 2023

Link: https://doi.org/10.1007/..