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

1

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/..

2

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/..

3

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/..

4

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/..

5

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/..

6

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/..

7

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/..

8

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/..

9

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/..

10

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/..

11

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/..

12

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/..

13

Formal Analysis of Future Energy Systems Using Interactive ..

SpringerBriefs in Applied Sciences and Technology

Ahmed, Asad ; Hasan, Osman ; Awwad, Falah. - 1st ed. 2022 . , 2022

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

14

A formal approach to identifying the impact of noise on neu..:

Bhatti, Iram Tariq ; Naseer, Mahum ; Shafique, Muhammad.
Communications of the ACM. 65 (2022) 11 - p. 70-73 , 2022

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

15

On the Formalization of the Heat Conduction Problem in HOL:

, In: Lecture Notes in Computer Science; Intelligent Computer Mathematics,

Deniz, Elif ; Rashid, Adnan ; Hasan, Osman. - p. 21-37 , 2022

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