Rahul Karmakar

According to our database, Rahul Karmakar authored at least 13 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

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

Tao Hai, Arindam Sarkar, Muammer Aksoy, Rahul Karmakar, Sarbajit Manna, Amrita Prasad

Clust. Comput., September, 2024

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

Arindam Sarkar, Rahul Karmakar, Mandira Roy

Multim. Tools Appl., March, 2024

A graphical tool for formal verification using Event-B modeling.

Rahul Karmakar

Multim. Tools Appl., January, 2024

Secured mutual wireless communication using real and imaginary-valued artificial neuronal synchronization and attack detection.

Chengzhi Jiang, Arindam Sarkar, Abdulfattah Noorwali, Rahul Karmakar, Kamal M. Othman, Sarbajit Manna

Eng. Appl. Artif. Intell., 2024

Extrapolative ML Models for Copolymers.

Israrul H. Hashmi, Himanshu, Rahul Karmakar, Tarak K. Patra

CoRR, 2024

A data balancing approach towards design of an expert system for Heart Disease Prediction.

Rahul Karmakar, Udita Ghosh, Arpita Pal, Sattwiki Dey, Debraj Malik, Priyabrata Sain

CoRR, 2024

Deep Learning-based Sentiment Analysis of Olympics Tweets.

Indranil Bandyopadhyay, Rahul Karmakar

CoRR, 2024

2023

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

Rahul Karmakar, Subhranil Chatterjee, Akhil Kumar Das, Ardhendu Mandal

SN Comput. Sci., July, 2023

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

Tao Hai, Arindam Sarkar, Rahul Karmakar, Mohammad Zubair Khan, Ayman Noor, Talal H. Noor, Abhinav Kumar, A. Yvaz

Eng. Appl. Artif. Intell., 2023

2021

A Prototype Modeling of Smart Irrigation System Using Event-B.

Rahul Karmakar, Bidyut Biman Sarkar

SN Comput. Sci., 2021

Formal Verification Techniques: A Comparative Analysis for Critical System Design.

Rahul Karmakar

Proceedings of the Intelligent Systems Design and Applications, 2021

2020

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

Susmita Guha, Akash Nag, Rahul Karmakar

Proceedings of the Intelligent Systems Design and Applications, 2020

Event Ordering Using Graphical Notation for Event-B Models.

Rahul Karmakar, Bidyut Biman Sarkar, Nabendu Chaki

Proceedings of the Computer Information Systems and Industrial Management, 2020