Rahul Karmakar - Dissemin

All papers authored by Rahul Karmakar

This paper was not found in any repository, but could be made available legally by the author.

2024 Rahul Karmakar

, Payel Bera, Saheli Dutta

FMSG: a framework for modeling and verification of a smart grid

Upload

Tao Hai, Arindam Sarkar

, Muammer Aksoy, Rahul Karmakar

, Sarbajit Manna, Amrita Prasad

Elevating security and disease forecasting in smart healthcare through artificial neural synchronized federated learning

Upload

This paper was not found in any repository; the policy of its publisher is unknown or unclear.

Rahul Karmakar

, Saranagta Kundu, Saroj Kumar Biswas, Deeksha Tripathi

Efficacy of Ensemble Learning Method over Individual Classifier for Rainfall Forecasting in Eastern India

Upload

2023 Saranagata Kundu, Saroj K.-R. Biswas, Deeksha Tripathi, Rahul Karmakar

, Sounak Majumdar, Sudipta Mandal

A review on rainfall forecasting using ensemble learning techniques

Upload

Tao Hai, Arindam Sarkar

, Rahul Karmakar

, Mohammad Zubair Khan

, Ayman Noor

, Talal H. Noor

, Abhinav Kumar

, A. Yvaz

Neural session key exchange in the Industrial Internet of Things using hyperchaotic-guided vector-valued artificial neural synchronization

Upload

Arindam Sarkar

, Rahul Karmakar

, Mandira Roy

GAN-guided artificial neural collaborative complex computation for efficient neural synchronization

Upload

Rahul Karmakar

A graphical tool for formal verification using Event-B modeling

Upload

Rahul Karmakar

, Subhranil Chatterjee, Akhil Kumar Das, Ardhendu Mandal

BCPUML: Breast Cancer Prediction Using Machine Learning Approach—A Performance Analysis

Upload

Distributing this paper is prohibited by the publisher

2022 Rahul Karmakar

Symbolic Model Checking: A Comprehensive Review for Critical System Design

Upload

Rahul Karmakar

A Framework for Component Mapping Between Event-B and Python

Upload

Rahul Karmakar

, Saheli Dutta

Formal Verification of a Medical Insurance System Prototype: The Event-B Modeling Approach

Upload

Rahul Karmakar

Formal Verification Techniques: A Comparative Analysis for Critical System Design

Upload

Animesh Halder, Rahul Karmakar

Mapping UML Activity Diagram into Z Notation

Upload

2021 Anurag Dutta, Rahul Karmakar

Estimating Aqueous Solubility Directly From Molecular Structure Using Machine Learning Approach

Upload

Rahul Karmakar

Application of Genetic Algorithm (GA) in Medical Science: A Review

Upload

Rahul Karmakar

, Bidyut Biman Sarkar

A Prototype Modeling of Smart Irrigation System Using Event-B

Upload

Susmita Guha, Akash Nag

, Rahul Karmakar

Formal Verification of Safety-Critical Systems: A Case-Study in Airbag System Design

Upload

2020 Rahul Karmakar

, Bidyut Biman Sarkar, Nabendu Chaki

Event-B Based Formal Modeling of a Controller: A Case Study

Upload

Rahul Karmakar

, Bidyut Biman Sarkar, Nabendu Chaki

Event Ordering Using Graphical Notation for Event-B Models

Upload

2019 Rahul Karmakar

, Bidyut Biman Sarkar, Nabendu Chaki

System Modeling Using Event-B: An Insight

Upload

Missing publications? Search for publications with a matching author name.

Researcher

Statistics

Refine

All papers authored by Rahul Karmakar