Osman Hasan

national university of sciences & technology - pakistan

H指数:30

被引数:4,010

个人简介

暂无内容

教育背景

暂无内容

工作经历

暂无内容

荣誉奖项

暂无内容

Harnessing Field-Programmable Gate Arrays and Approximate Computing for Efficient MEA Signal Processing in Neuroscience

利用现场可编程门阵列和近似计算进行神经科学中高效MEA信号处理

Journal of Circuits Systems and Computers

IF1

2026-01-010

PRE

Continual Learning-Guided Adaptive Approximate Computing for Real-Time MEA Spike Detection

ieee transactions on circuits and systems ii: express briefs

IF0

2025-12-110

An Approach for Hardware Trojan Detection Using Triple Modular Redundancy in Approximate Synthesis (HT-TRAPS)

一种在近似综合 (HT陷阱) 中使用三模冗余的硬件木马检测方法

IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES

IF0.4

2025-11-010

PRE

Continual Learning With Neuromorphic Computing: Foundations, Methods, and Emerging Applications

神经形态计算下的持续学习：基础、方法与新兴应用

IEEE Access

IF3.6

2025-01-010

Recent trends and developments in protection systems for microgrids incorporating distributed generation

WILEY INTERDISCIPLINARY REVIEWS-ENERGY AND ENVIRONMENT

IF6

2024-07-291

PRE

Formal performance analysis of optimal relays-based protection scheme for automated distribution networks

ENGINEERING SCIENCE AND TECHNOLOGY-AN INTERNATIONAL JOURNAL-JESTECH

IF5.4

2024-03-012

OAAI

MSE-GCN: A Multiscale Spatiotemporal Feature Aggregation Enhanced Efficient Graph Convolutional Network for Dynamic Sign Language Recognition

Mse-gcn: 用于动态手语识别的多尺度时空特征聚合增强高效图卷积网络

IEEE TRANSACTIONS ON EMERGING TOPICS IN COMPUTATIONAL INTELLIGENCE

IF6.5

2024-01-010

PRE

MIPA-ResGCN: a multi-input part attention enhanced residual graph convolutional framework for sign language recognition

MIPA-ResGCN: 一种用于手语识别的多输入部分注意力增强残差图卷积框架

COMPUTERS & ELECTRICAL ENGINEERING

IF4.9

2023-12-015

PRE

UnbiasedNets: a dataset diversification framework for robustness bias alleviation in neural networks

UnbiasedNets: 一种用于神经网络鲁棒性偏差缓解的数据集多样化框架

MACHINE LEARNING

IF2.9

2023-03-012

Signgraph: An Efficient and Accurate Pose-Based Graph Convolution Approach Toward Sign Language Recognition

Signgraph: 一种高效准确的基于姿态的图形卷积方法，用于手语识别

IEEE ACCESS

IF3.6

2023-01-0114

A Formal Approach to Identifying the Impact of Noise on Neural Networks

COMMUNICATIONS OF THE ACM

IF12.2

2022-10-204

Formalization of bond graph using higher-order-logic theorem proving

ISA TRANSACTIONS

IF6.5

2022-09-012

OAAI

Continual Learning for Real-World Autonomous Systems: Algorithms, Challenges and Frameworks

JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS

IF2.8

2022-04-2342

PRE

BioNetExplorer: Architecture-Space Exploration of Biosignal Processing Deep Neural Networks for Wearables

IEEE INTERNET OF THINGS JOURNAL

IF8.9

2021-09-019

OAAI

An evolutionary/heuristic-based proof searching framework for interactive theorem prover

APPLIED SOFT COMPUTING

IF6.6

2021-06-015

PREAI

Formal verification of Matrix based MATLAB models using interactive theorem proving

PEERJ COMPUTER SCIENCE

IF2.5

2021-03-221

OAAI

Formal analysis of the continuous dynamics of cyber-physical systems using theorem proving

JOURNAL OF SYSTEMS ARCHITECTURE

IF4.1

2021-01-019

PREAI

Formal Reliability Analysis of an Integrated Power Generation System Using Theorem Proving

ieee open journal of circuits and systems

IF4.4

2020-12-012

PREAI

Design and Realization of a Robotic Manipulator for Minimally Invasive Surgery With Replaceable Surgical Tools

IEEE-ASME TRANSACTIONS ON MECHATRONICS

IF7.3

2020-12-018

PREAI

Proof searching and prediction in HOL4 with evolutionary/heuristic and deep learning techniques

APPLIED INTELLIGENCE

IF3.5

2020-09-304

PREAI

Osman Hasan

个人简介

教育背景

工作经历

荣誉奖项

研究方向