Abhishek Kumar is a senior IEEE member and Professor at Chandigarh University, Mohali, India. His expertise spans AI, renewable energy and image processing.Priya Batta is an Associate Professor at Amity School of Engineering and Technology, Amity University Punjab, Mohali, India. Her research specializes in AI, blockchain and the IoT.S. Ravi is a Professor at Pondicherry University, India. His research focuses on multi-biometrics, medical imaging, computer vision and digital image processing.R. Mohan is an Associate Professor at NIT Tiruchirappalli, India. His research specializes in computer vision, cybersecurity, distributed systems, high performance computing, machine learning, and software engineering.

• Preface xvAbhishek KUMAR, Priya BATTA, S. RAVI and R. MOHANIntroduction xviiAbhishek KUMAR, Priya BATTA, S. RAVI and R. MOHANPart 1. Embedded Intelligence for Autonomous and Smart Systems 1Chapter 1. Smart City Digital Twin with CoppeliaSim Simulation and Spatiotemporal Data Fusion for Urban Mobility Prediction 3P. Kishore KUMAR, Shaik MAHEEN, T. DHARANI, Thipparthi LIKITHA, Vemula SHRESHTA and Narsing BHARGAVIChapter 2. DL-Augmented CFD Modeling for Enhancing Thermo-Hydrodynamic Performance of Smart Nanofluids in Next-Generation Microfluidic Heat Exchange and Passive Cooling Systems 21S. Leoni SHARMILA, R. BALAPRIYA, R. VANAJA, L. MANJULA, K. RAMACHANDRAN and T.R.K. KUMARPart 2. Blockchain, Verification and Trusted Embedded Systems 37Chapter 3. Static Analysis and Symbolic Execution for Solidity Smart Contract Vulnerability Detection Using SMT Solvers 39Rajaram JATOTHU, Shaik SOHIN, Rameesa, Velpula NAGALAXMI, Nallala ASHRUJA and Shaik HASEENAChapter 4. Formal Verification of Smart Contracts in Blockchain Supply Networks 55Manam Vamsi KRISHNA, Dudekula AMULYA, Duguru MEGHANA, Gudepu RASHMIKA, C. SRIVANI and B. PRANAVIChapter 5. TLS/SSL Certificate Lifecycle Management with Hardware Security Modules for Blockchain Infrastructure 71Kammara Venkatarangaiah ACHARI, Pambala SAHASRA, Pasunuri POOJA, Paladugu RENUSRI, Vaka Hema SREE and T. Sai SANNGEETHAChapter 6. Zero-Downtime Deployment Architecture Using Docker, Helm and Istio in Blockchain Systems 87Chettaboina HOYALA, Sirikonda SINDHUJA, Sreeja POTLACHERUVU, Sriram KARTHISHA, M. SANGEETHA and Tattari ANUSHAPart 3. Embedded AI for Healthcare and Biomedical Systems 103Chapter 7. Early Prediction of Parkinson's Disease Using Deep Learning: A Multimodal Neuroimaging and Clinical Feature Integration Approach 105B. Prameela RANI, B. Gnana PRIYA and R. ABINAYAChapter 8. Multi-View 3D Retinal Reconstruction via SfM, Stereo Matching and CNN Depth Estimation for Macular and Glaucomatous Biomarker Extraction 121R. Bibsy Adlin KUMARI and A. SHANTHINIChapter 9. DS-RDN: A Dual-Stream 2D -3D Deep Learning Architecture for Automated Detection of AMD, Diabetic Macular Edema and Glaucoma from Reconstructed Retinal Models 135R. Bibsy Adlin KUMARI and A. SHANTHINIChapter 10. Enhancing Prenatal Diagnostic Accuracy Using DL for Fetal Chromosome Analysis 153F. Benasir BEGAM and A. PACKIALATHAChapter 11. Hierarchical Bayesian Networks with Variational Inference: Diagnostic Accuracy in Multi-Modal Medical Imaging 163Mamilla MAHESWARI, K. VAISHNAVI, K. CHARITHA, K. SARITHA, G. VAISHNAVI and Kalluri SAHASRAChapter 12. Revolutionizing Agriculture: Enhancing Accuracy and Efficiency of Leaf Blight Disease Detection in Plants Using the Light-weight DL Approach 179A. BALAMURUGAN and R. AKILESHWARIChapter 13. U-Net Architecture with Attention Gates and Residual Connections for Biomedical Image Segmentation 195Lahari MEKALA, Nagothu MANASA, Kongala Anirvitha REDDY, Kumbham Snehalatha REDDY, Malki SAHITI and Kolipaka VASAVIPart 4. Embedded Data Analytics, Explainability and Deployment 211Chapter 14. Model Interpretability and Explainability: Formal Methods for Extracting Decision Rules from Neural Network Black Boxes 213K. Siva BHAVANI, Yeluguri MAHIMANVITHA, Nallamothu Bhavya SRI, Saindla SRINITHYA, Sriramoju Sai SHARANYA and Padam VARSHAPart 5. Embedded Data Warehousing, Privacy & Infrastructure 229Chapter 15. A Kimball-Based Dimensional Modeling Framework Using SCD Type-2 for Blockchain-Integrated Supply Chain Data Warehousing 231Manish Kumar SINHA, Patel VAISHNAVI, Rayapudi TANUJA, Rangineni SRAVANI, Vemavarapu Victoria RUTH and Volam ABHINAYAChapter 16. Privacy-Preserving Collaborative Analytics for Blockchain-Based Water Resource Systems Using MPC and Homomorphic Encryption 247Kalyana Chakravarthi AGNIHOTHRAM, Nusrath PARVEEN, Tadikonda Pavana SIRISHA, S. ROJA, Riya AGRAWAL and P. SHRIYAChapter 17. Decentralized Collaborative ML Architecture for Privacy-Preserving Inference Across Dispersed IoT Sensor Networks 265Asha UNNIKRISHNANList of Authors 279Index 289

Abhishek Kumar is a senior IEEE member and Professor at Chandigarh University, Mohali, India. His expertise spans AI, renewable energy and image processing.Priya Batta is an Associate Professor at Amity School of Engineering and Technology, Amity University Punjab, Mohali, India. Her research specializes in AI, blockchain and the IoT.S. Ravi is a Professor at Pondicherry University, India. His research focuses on multi-biometrics, medical imaging, computer vision and digital image processing.R. Mohan is an Associate Professor at NIT Tiruchirappalli, India. His research specializes in computer vision, cybersecurity, distributed systems, high performance computing, machine learning, and software engineering.

• Preface xvAbhishek KUMAR, Priya BATTA, S. RAVI and R. MOHANIntroduction xviiAbhishek KUMAR, Priya BATTA, S. RAVI and R. MOHANPart 1. Embedded Intelligence for Autonomous and Smart Systems 1Chapter 1. Smart City Digital Twin with CoppeliaSim Simulation and Spatiotemporal Data Fusion for Urban Mobility Prediction 3P. Kishore KUMAR, Shaik MAHEEN, T. DHARANI, Thipparthi LIKITHA, Vemula SHRESHTA and Narsing BHARGAVIChapter 2. DL-Augmented CFD Modeling for Enhancing Thermo-Hydrodynamic Performance of Smart Nanofluids in Next-Generation Microfluidic Heat Exchange and Passive Cooling Systems 21S. Leoni SHARMILA, R. BALAPRIYA, R. VANAJA, L. MANJULA, K. RAMACHANDRAN and T.R.K. KUMARPart 2. Blockchain, Verification and Trusted Embedded Systems 37Chapter 3. Static Analysis and Symbolic Execution for Solidity Smart Contract Vulnerability Detection Using SMT Solvers 39Rajaram JATOTHU, Shaik SOHIN, Rameesa, Velpula NAGALAXMI, Nallala ASHRUJA and Shaik HASEENAChapter 4. Formal Verification of Smart Contracts in Blockchain Supply Networks 55Manam Vamsi KRISHNA, Dudekula AMULYA, Duguru MEGHANA, Gudepu RASHMIKA, C. SRIVANI and B. PRANAVIChapter 5. TLS/SSL Certificate Lifecycle Management with Hardware Security Modules for Blockchain Infrastructure 71Kammara Venkatarangaiah ACHARI, Pambala SAHASRA, Pasunuri POOJA, Paladugu RENUSRI, Vaka Hema SREE and T. Sai SANNGEETHAChapter 6. Zero-Downtime Deployment Architecture Using Docker, Helm and Istio in Blockchain Systems 87Chettaboina HOYALA, Sirikonda SINDHUJA, Sreeja POTLACHERUVU, Sriram KARTHISHA, M. SANGEETHA and Tattari ANUSHAPart 3. Embedded AI for Healthcare and Biomedical Systems 103Chapter 7. Early Prediction of Parkinson's Disease Using Deep Learning: A Multimodal Neuroimaging and Clinical Feature Integration Approach 105B. Prameela RANI, B. Gnana PRIYA and R. ABINAYAChapter 8. Multi-View 3D Retinal Reconstruction via SfM, Stereo Matching and CNN Depth Estimation for Macular and Glaucomatous Biomarker Extraction 121R. Bibsy Adlin KUMARI and A. SHANTHINIChapter 9. DS-RDN: A Dual-Stream 2D -3D Deep Learning Architecture for Automated Detection of AMD, Diabetic Macular Edema and Glaucoma from Reconstructed Retinal Models 135R. Bibsy Adlin KUMARI and A. SHANTHINIChapter 10. Enhancing Prenatal Diagnostic Accuracy Using DL for Fetal Chromosome Analysis 153F. Benasir BEGAM and A. PACKIALATHAChapter 11. Hierarchical Bayesian Networks with Variational Inference: Diagnostic Accuracy in Multi-Modal Medical Imaging 163Mamilla MAHESWARI, K. VAISHNAVI, K. CHARITHA, K. SARITHA, G. VAISHNAVI and Kalluri SAHASRAChapter 12. Revolutionizing Agriculture: Enhancing Accuracy and Efficiency of Leaf Blight Disease Detection in Plants Using the Light-weight DL Approach 179A. BALAMURUGAN and R. AKILESHWARIChapter 13. U-Net Architecture with Attention Gates and Residual Connections for Biomedical Image Segmentation 195Lahari MEKALA, Nagothu MANASA, Kongala Anirvitha REDDY, Kumbham Snehalatha REDDY, Malki SAHITI and Kolipaka VASAVIPart 4. Embedded Data Analytics, Explainability and Deployment 211Chapter 14. Model Interpretability and Explainability: Formal Methods for Extracting Decision Rules from Neural Network Black Boxes 213K. Siva BHAVANI, Yeluguri MAHIMANVITHA, Nallamothu Bhavya SRI, Saindla SRINITHYA, Sriramoju Sai SHARANYA and Padam VARSHAPart 5. Embedded Data Warehousing, Privacy & Infrastructure 229Chapter 15. A Kimball-Based Dimensional Modeling Framework Using SCD Type-2 for Blockchain-Integrated Supply Chain Data Warehousing 231Manish Kumar SINHA, Patel VAISHNAVI, Rayapudi TANUJA, Rangineni SRAVANI, Vemavarapu Victoria RUTH and Volam ABHINAYAChapter 16. Privacy-Preserving Collaborative Analytics for Blockchain-Based Water Resource Systems Using MPC and Homomorphic Encryption 247Kalyana Chakravarthi AGNIHOTHRAM, Nusrath PARVEEN, Tadikonda Pavana SIRISHA, S. ROJA, Riya AGRAWAL and P. SHRIYAChapter 17. Decentralized Collaborative ML Architecture for Privacy-Preserving Inference Across Dispersed IoT Sensor Networks 265Asha UNNIKRISHNANList of Authors 279Index 289

Abhishek Kumar is a senior IEEE member and Professor at Chandigarh University, Mohali, India. His expertise spans AI, renewable energy and image processing.Priya Batta is an Associate Professor at Amity School of Engineering and Technology, Amity University Punjab, Mohali, India. Her research specializes in AI, blockchain and the IoT.S. Ravi is a Professor at Pondicherry University, India. His research focuses on multi-biometrics, medical imaging, computer vision and digital image processing.R. Mohan is an Associate Professor at NIT Tiruchirappalli, India. His research specializes in computer vision, cybersecurity, distributed systems, high performance computing, machine learning, and software engineering.

• Preface xvAbhishek KUMAR, Priya BATTA, S. RAVI and R. MOHANIntroduction xviiAbhishek KUMAR, Priya BATTA, S. RAVI and R. MOHANPart 1. Embedded Intelligence for Autonomous and Smart Systems 1Chapter 1. Smart City Digital Twin with CoppeliaSim Simulation and Spatiotemporal Data Fusion for Urban Mobility Prediction 3P. Kishore KUMAR, Shaik MAHEEN, T. DHARANI, Thipparthi LIKITHA, Vemula SHRESHTA and Narsing BHARGAVIChapter 2. DL-Augmented CFD Modeling for Enhancing Thermo-Hydrodynamic Performance of Smart Nanofluids in Next-Generation Microfluidic Heat Exchange and Passive Cooling Systems 21S. Leoni SHARMILA, R. BALAPRIYA, R. VANAJA, L. MANJULA, K. RAMACHANDRAN and T.R.K. KUMARPart 2. Blockchain, Verification and Trusted Embedded Systems 37Chapter 3. Static Analysis and Symbolic Execution for Solidity Smart Contract Vulnerability Detection Using SMT Solvers 39Rajaram JATOTHU, Shaik SOHIN, Rameesa, Velpula NAGALAXMI, Nallala ASHRUJA and Shaik HASEENAChapter 4. Formal Verification of Smart Contracts in Blockchain Supply Networks 55Manam Vamsi KRISHNA, Dudekula AMULYA, Duguru MEGHANA, Gudepu RASHMIKA, C. SRIVANI and B. PRANAVIChapter 5. TLS/SSL Certificate Lifecycle Management with Hardware Security Modules for Blockchain Infrastructure 71Kammara Venkatarangaiah ACHARI, Pambala SAHASRA, Pasunuri POOJA, Paladugu RENUSRI, Vaka Hema SREE and T. Sai SANNGEETHAChapter 6. Zero-Downtime Deployment Architecture Using Docker, Helm and Istio in Blockchain Systems 87Chettaboina HOYALA, Sirikonda SINDHUJA, Sreeja POTLACHERUVU, Sriram KARTHISHA, M. SANGEETHA and Tattari ANUSHAPart 3. Embedded AI for Healthcare and Biomedical Systems 103Chapter 7. Early Prediction of Parkinson's Disease Using Deep Learning: A Multimodal Neuroimaging and Clinical Feature Integration Approach 105B. Prameela RANI, B. Gnana PRIYA and R. ABINAYAChapter 8. Multi-View 3D Retinal Reconstruction via SfM, Stereo Matching and CNN Depth Estimation for Macular and Glaucomatous Biomarker Extraction 121R. Bibsy Adlin KUMARI and A. SHANTHINIChapter 9. DS-RDN: A Dual-Stream 2D -3D Deep Learning Architecture for Automated Detection of AMD, Diabetic Macular Edema and Glaucoma from Reconstructed Retinal Models 135R. Bibsy Adlin KUMARI and A. SHANTHINIChapter 10. Enhancing Prenatal Diagnostic Accuracy Using DL for Fetal Chromosome Analysis 153F. Benasir BEGAM and A. PACKIALATHAChapter 11. Hierarchical Bayesian Networks with Variational Inference: Diagnostic Accuracy in Multi-Modal Medical Imaging 163Mamilla MAHESWARI, K. VAISHNAVI, K. CHARITHA, K. SARITHA, G. VAISHNAVI and Kalluri SAHASRAChapter 12. Revolutionizing Agriculture: Enhancing Accuracy and Efficiency of Leaf Blight Disease Detection in Plants Using the Light-weight DL Approach 179A. BALAMURUGAN and R. AKILESHWARIChapter 13. U-Net Architecture with Attention Gates and Residual Connections for Biomedical Image Segmentation 195Lahari MEKALA, Nagothu MANASA, Kongala Anirvitha REDDY, Kumbham Snehalatha REDDY, Malki SAHITI and Kolipaka VASAVIPart 4. Embedded Data Analytics, Explainability and Deployment 211Chapter 14. Model Interpretability and Explainability: Formal Methods for Extracting Decision Rules from Neural Network Black Boxes 213K. Siva BHAVANI, Yeluguri MAHIMANVITHA, Nallamothu Bhavya SRI, Saindla SRINITHYA, Sriramoju Sai SHARANYA and Padam VARSHAPart 5. Embedded Data Warehousing, Privacy & Infrastructure 229Chapter 15. A Kimball-Based Dimensional Modeling Framework Using SCD Type-2 for Blockchain-Integrated Supply Chain Data Warehousing 231Manish Kumar SINHA, Patel VAISHNAVI, Rayapudi TANUJA, Rangineni SRAVANI, Vemavarapu Victoria RUTH and Volam ABHINAYAChapter 16. Privacy-Preserving Collaborative Analytics for Blockchain-Based Water Resource Systems Using MPC and Homomorphic Encryption 247Kalyana Chakravarthi AGNIHOTHRAM, Nusrath PARVEEN, Tadikonda Pavana SIRISHA, S. ROJA, Riya AGRAWAL and P. SHRIYAChapter 17. Decentralized Collaborative ML Architecture for Privacy-Preserving Inference Across Dispersed IoT Sensor Networks 265Asha UNNIKRISHNANList of Authors 279Index 289