Search

Your search keyword '"Karmakar, Rahul"' showing total 47 results

Search Constraints

Start Over You searched for: Author "Karmakar, Rahul" Remove constraint Author: "Karmakar, Rahul"
47 results on '"Karmakar, Rahul"'

Search Results

1. Extrapolative ML Models for Copolymers

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

3. Deep Learning-based Sentiment Analysis of Olympics Tweets

5. Entropic Cohesion in Vitrimers

8. Transport of particles through RO membrane in steady state condition

9. Hot crystals of thermo-responsive particles with temperature dependent diameter in presence of a temperature gradient

11. Model studies on motion of respiratory droplets driven through a face mask

16. Designing an Energy-Efficient Transportation Network to Transport Perishable Crops: An Aggregated VRP and X-means Clustering Approach

18. A Framework for Component Mapping Between Event-B and Python

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

21. Symbolic Model Checking: A Comprehensive Review for Critical System Design

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

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

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

25. Event Ordering Using Graphical Notation for Event-B Models

26. Hot crystals of thermo-responsive particles with temperature dependent diameter in the presence of a temperature gradient.

38. Strategies to Counter Supply Chain Disruptions for FMCG Brands during a Pandemic

41. Design and Re-engineering of an Automated Solar Lawn Mower

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

Catalog

Books, media, physical & digital resources