Realistic walking experience for system-automated virtual reality tour
Biswas, Nilotpal, Banerjee, Debangshu, Bhattacharya, Samit
Published in Multimedia tools and applications (01.05.2023)
Published in Multimedia tools and applications (01.05.2023)
Get full text
Journal Article
Input-Relational Verification of Deep Neural Networks
Banerjee, Debangshu, Xu, Changming, Singh, Gagandeep
Published in Proceedings of ACM on programming languages (20.06.2024)
Published in Proceedings of ACM on programming languages (20.06.2024)
Get full text
Journal Article
Incremental Verification of Neural Networks
Ugare, Shubham, Banerjee, Debangshu, Misailovic, Sasa, Singh, Gagandeep
Published in Proceedings of ACM on programming languages (06.06.2023)
Published in Proceedings of ACM on programming languages (06.06.2023)
Get full text
Journal Article
Pattern and imprints of elevation-dependent warming on central Himalayan cryosphere as revealed by Earth Observation datasets
Pandey, Pratima, Ali, Sheikh Nawaz, Bhardwaj, Anshuman, Banerjee, Debangshu, Khan, Md Ataullah Raza, Fulkar, Pratik Gautam
Published in Results in Earth Sciences (01.12.2024)
Published in Results in Earth Sciences (01.12.2024)
Get full text
Journal Article
Simulation and risk assessment of a possible glacial lake outburst flood (GLOF) in the Bhilangna Valley, central Himalaya, India
Pandey, Pratima, Banerjee, Debangshu, Ali, Sheikh Nawaz, Khan, Md Ataullah Raza, Chauhan, Prakash, Singh, Shaktiman
Published in Journal of Earth System Science (01.09.2022)
Published in Journal of Earth System Science (01.09.2022)
Get full text
Journal Article