logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
O

Osman Hasan

national university of sciences & technology - pakistan

30H指数
372论文数
4.0K被引数
收录论文 35
发表时间
logo
Harnessing Field-Programmable Gate Arrays and Approximate Computing for Efficient MEA Signal Processing in Neuroscience利用现场可编程门阵列和近似计算进行神经科学中高效MEA信号处理
errJournal of Circuits Systems and Computers
IF1
err2026-01-01
err0
PREAI
errAwwad, Falah; Hassan, Mohammad; Hasan, Osman
err分享
err收藏
Continual Learning-Guided Adaptive Approximate Computing for Real-Time MEA Spike Detection
errieee transactions on circuits and systems ii: express briefs
IF0
err2025-12-11
err0
errOAAI
errMishal Fatima Minhas; Falah Awwad; Osman Hassan; Muhammad Shafique
err分享
err收藏
An Approach for Hardware Trojan Detection Using Triple Modular Redundancy in Approximate Synthesis (HT-TRAPS)一种在近似综合 (HT陷阱) 中使用三模冗余的硬件木马检测方法
errIEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES
IF0.4
err2025-11-01
err0
PREAI
errFatima, Manal; Abed, Sa'ed; Hasan, Osman
err分享
err收藏
Continual Learning With Neuromorphic Computing: Foundations, Methods, and Emerging Applications神经形态计算下的持续学习：基础、方法与新兴应用
errIEEE Access
IF3.6
err2025-01-01
err0
errOAAI
errMishal Fatima Minhas; Rachmad Vidya Wicaksana Putra; Falah Awwad; Osman Hasan; Muhammad Shafique
err分享
err收藏
Recent trends and developments in protection systems for microgrids incorporating distributed generation
errWILEY INTERDISCIPLINARY REVIEWS-ENERGY AND ENVIRONMENT
IF6
err2024-07-29
err1
PREAI
errAshraf, Sobia; Hasan, Osman; Evkay, Ibrahim; Selamogullari, Ugur S.; Baysal, Mustafa
err分享
err收藏
Formal performance analysis of optimal relays-based protection scheme for automated distribution networks
errENGINEERING SCIENCE AND TECHNOLOGY-AN INTERNATIONAL JOURNAL-JESTECH
IF5.4
err2024-03-01
err2
errOAAI
errAshraf, Sobia; Hasan, Osman
err分享
err收藏
MSE-GCN: A Multiscale Spatiotemporal Feature Aggregation Enhanced Efficient Graph Convolutional Network for Dynamic Sign Language RecognitionMse-gcn: 用于动态手语识别的多尺度时空特征聚合增强高效图卷积网络
errIEEE TRANSACTIONS ON EMERGING TOPICS IN COMPUTATIONAL INTELLIGENCE
IF6.5
err2024-01-01
err0
PREAI
errNaz, Neelma; Sajid, Hasan; Ali, Sara; Hasan, Osman; Ehsan, Muhammad Khurram
err分享
err收藏
MIPA-ResGCN: a multi-input part attention enhanced residual graph convolutional framework for sign language recognitionMIPA-ResGCN: 一种用于手语识别的多输入部分注意力增强残差图卷积框架
errCOMPUTERS & ELECTRICAL ENGINEERING
IF4.9
err2023-12-01
err5
PREAI
errNaz, Neelma; Sajid, Hasan; Ali, Sara; Hasan, Osman; Ehsan, Muhammad Khurram
err分享
err收藏
UnbiasedNets: a dataset diversification framework for robustness bias alleviation in neural networksUnbiasedNets: 一种用于神经网络鲁棒性偏差缓解的数据集多样化框架
errMACHINE LEARNING
IF2.9
err2023-03-01
err2
errOAAI
errNaseer, Mahum; Prabakaran, Bharath Srinivas; Hasan, Osman; Shafique, Muhammad
err分享
err收藏
Signgraph: An Efficient and Accurate Pose-Based Graph Convolution Approach Toward Sign Language RecognitionSigngraph: 一种高效准确的基于姿态的图形卷积方法，用于手语识别
errIEEE ACCESS
IF3.6
err2023-01-01
err14
errOAAI
errNaz, Neelma; Sajid, Hasan; Ali, Sara; Hasan, Osman; Ehsan, Muhammad Khurram
err分享
err收藏
A Formal Approach to Identifying the Impact of Noise on Neural Networks
errCOMMUNICATIONS OF THE ACM
IF12.2
err2022-10-20
err4
errOAAI
errBhatti, Iram Tariq; Naseer, Mahum; Shafique, Muhammad; Hasan, Osman
err分享
err收藏
Formalization of bond graph using higher-order-logic theorem proving
errISA TRANSACTIONS
IF6.5
err2022-09-01
err2
errOAAI
errQasim, Ujala; Rashid, Adnan; Hasan, Osman
err分享
err收藏
Continual Learning for Real-World Autonomous Systems: Algorithms, Challenges and Frameworks
errJOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS
IF2.8
err2022-04-23
err42
PREAI
errShaheen, Khadija; Hanif, Muhammad Abdullah; Hasan, Osman; Shafique, Muhammad
err分享
err收藏
BioNetExplorer: Architecture-Space Exploration of Biosignal Processing Deep Neural Networks for Wearables
errIEEE INTERNET OF THINGS JOURNAL
IF8.9
err2021-09-01
err9
errOAAI
errPrabakaran, Bharath Srinivas; Akhtar, Asima; Rehman, Semeen; Hasan, Osman; Shafique, Muhammad
err分享
err收藏
An evolutionary/heuristic-based proof searching framework for interactive theorem prover
errAPPLIED SOFT COMPUTING
IF6.6
err2021-06-01
err5
PREAI
errNawaz, M. Saqib; Nawaz, M. Zohaib; Hasan, Osman; Fournier-Viger, Philippe; Sun, Meng
err分享
err收藏
Formal verification of Matrix based MATLAB models using interactive theorem proving
errPEERJ COMPUTER SCIENCE
IF2.5
err2021-03-22
err1
errOAAI
errGauhar, Ayesha; Rashid, Adnan; Hasan, Osman; Bispo, Joao; Cardoso, Joao M. P.
err分享
err收藏
Formal analysis of the continuous dynamics of cyber-physical systems using theorem proving
errJOURNAL OF SYSTEMS ARCHITECTURE
IF4.1
err2021-01-01
err9
PREAI
errRashid, Adnan; Hasan, Osman
err分享
err收藏
Formal Reliability Analysis of an Integrated Power Generation System Using Theorem Proving
errieee open journal of circuits and systems
IF4.4
err2020-12-01
err2
PREAI
errAhmad, Waqar; Hasan, Osman; Awwad, Falah; Bastaki, Nabil; Hasan, Syed Rafay
err分享
err收藏
Design and Realization of a Robotic Manipulator for Minimally Invasive Surgery With Replaceable Surgical Tools
errIEEE-ASME TRANSACTIONS ON MECHATRONICS
IF7.3
err2020-12-01
err8
PREAI
errNisar, Sajid; Hameed, Asad; Kamal, Nabeel; Hasan, Osman; Matsuno, Fumitoshi
err分享
err收藏
Proof searching and prediction in HOL4 with evolutionary/heuristic and deep learning techniques
errAPPLIED INTELLIGENCE
IF3.5
err2020-09-30
err4
PREAI
errNawaz, M. Saqib; Nawaz, M. Zohaib; Hasan, Osman; Fournier-Viger, Philippe; Sun, Meng
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
J
Junaid Qadir
H 指数: 59 · 论文数: 436
P
Philippe Fournier‐Viger
H 指数: 56 · 论文数: 494
J
Jörg Henkel
H 指数: 52 · 论文数: 763
M
Muhammad Shafique
H 指数: 49 · 论文数: 826
F
Fumitoshi Matsuno
H 指数: 45 · 论文数: 636
查看更多