Formal Modelling of Cluster-Coordinator-Based Load Balancing Protocol Using Event-B

von Shukla, Shantanu
Veröffentlicht in Doctoral Symposium on Computational Intelligence (2. : 2021 : Lucknow) Proceedings of Second Doctoral Symposium on Computational Intelligence (2022)

Formal Verification of Liveness Properties in Causal Order Broadcast Systems Using Event-B

von Yadav, Pooja
Veröffentlicht in Doctoral Symposium on Computational Intelligence (2. : 2021 : Lucknow) Proceedings of Second Doctoral Symposium on Computational Intelligence (2022)

Leader Election Algorithm in Fault Tolerant Distributed System

von Verma, Sudhani
Veröffentlicht in Doctoral Symposium on Computational Intelligence (2. : 2021 : Lucknow) Proceedings of Second Doctoral Symposium on Computational Intelligence (2022)

Bird Species Classification from Images Using Deep Learning

von Kumar, Manoj
Veröffentlicht in International Conference on Computer Vision and Image Processing (7. : 2022 : Nagpur) Computer vision and image processing ; Part 2 (2023)

Optimization of Textual Index Construction Using Compressed Parallel Wavelet Tree

von Yadav, Arun Kumar
Veröffentlicht in International Conference on Computing and Communication Networks (2021 : Online) Proceedings of International Conference on Computing and Communication Networks (2022)

Human Activity Recognition in Videos Using Deep Learning

von Kumar, Mohit
Veröffentlicht in icSoftComp (4. : 2022 : Changa) Soft computing and its engineering applications (2023)

Retinal Blood Vessel Segmentation using Convolutional Neural Networks

von Yadav, Arun Kumar
Veröffentlicht in KDIR (13. : 2021 : Online) IC3K 2021 ; Volume 1: KDIR (2021)

Machine learning, image processing, network security and data sciences : 5th international conference, MIND 2023, Hamirpur, India, December 21-22, 2023 : revised selected papers

Veröffentlicht 2024