Search

Your search keyword '"Hasan, Osman"' showing total 766 results

Search Constraints

Start Over You searched for: Author "Hasan, Osman" Remove constraint Author: "Hasan, Osman"
766 results on '"Hasan, Osman"'

Search Results

1. Continual Learning with Neuromorphic Computing: Theories, Methods, and Applications

5. Scaling Model Checking for DNN Analysis via State-Space Reduction and Input Segmentation (Extended Version)

6. UnbiasedNets: A Dataset Diversification Framework for Robustness Bias Alleviation in Neural Networks

7. Formal Verification of ABCD Parameters Based Models for Transmission Lines

10. On the Formalization of the Heat Conduction Problem in HOL

12. Towards the Formal Performance Analysis of Multistate Coherent Systems using HOL Theorem Proving

13. Formalization of Bond Graph using Higher-order-logic Theorem Proving

14. BioNetExplorer: Architecture-Space Exploration of Bio-Signal Processing Deep Neural Networks for Wearables

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

16. SEAWEED CULTURE, POST-HARVEST PROCESSING, AND MARKET GENERATION FOR EMPLOYMENT OF COASTAL POOR COMMUNITIES IN COX'S BAZAR

18. MacLeR: Machine Learning-based Run-Time Hardware Trojan Detection in Resource-Constrained IoT Edge Devices

19. Formal Stability Analysis of Two-Dimensional Digital Image Processing Filters

21. m2caiSeg: Semantic Segmentation of Laparoscopic Images using Convolutional Neural Networks

22. FASiM: A Framework for Automatic Formal Analysis of Simulink Models of Linear Analog Circuits

23. Machine Learning-Based Self-Compensating Approximate Computing

24. Formal Analysis of the Biological Circuits using Higher-order-logic Theorem Proving

25. FANNet: Formal Analysis of Noise Tolerance, Training Bias and Input Sensitivity in Neural Networks

31. Introduction

32. Dynamic Dependability Analysis of Shuffle-exchange Networks using HOL Theorem Proving

33. Integrating DFT and DRBD Formalizations in HOL4

34. A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams

35. Error Analysis of Approximate Array Multipliers

36. On the Formalization of Importance Measures using HOL Theorem Proving

37. ApproxCS: Near-Sensor Approximate Compressed Sensing for IoT-Healthcare Systems

38. SIMCom: Statistical Sniffing of Inter-Module Communications for Run-time Hardware Trojan Detection

39. ForASec: Formal Analysis of Security Vulnerabilities in Sequential Circuits

40. Progress of seabass, Lates calcarifer (Bloch, 1970) culture in Bangladesh: Field-level updates from the Bhola and Satkhira Districts

41. Conclusions

43. Formal Probabilistic Analysis of Dynamic Fault Trees in HOL4

44. Formal Modeling of Robotic Cell Injection Systems in Higher-order Logic

45. Formalization of Lerch's Theorem using HOL Light

46. Formal Analysis of Robotic Cell Injection Systems using Theorem Proving

47. Formal Verification of Platoon Control Strategies

48. Comparative Study of Approximate Multipliers

49. Dynamic Fault Trees Analysis using an Integration of Theorem Proving and Model Checking

Catalog

Books, media, physical & digital resources