PUBLICATIONS & PATENTS: Recent submissions

  • Formalizing Giles Gardam’s Disproof of Kaplansky’s Unit Conjecture 
    Gadgil, Siddhartha; TADIPATRI, ANAND RAO (Association for Computing Machinery, 2024-01)
    We describe a formalization in Lean 4 of Giles Gardam's disproof of Kaplansky's Unit Conjecture. This makes use of a combination of deductive proving and formally verified computation, using the nature of Lean 4 as a ...
  • pSTarC: Pseudo Source Guided Target Clustering for Fully Test-Time Adaptation 
    Sreenivas, Manogna; CHAKRABARTY, GOIRIK; Biswas, Soma (IEEE, 2024-04)
    Test Time Adaptation (TTA) is a pivotal concept in machine learning, enabling models to perform well in real-world scenarios, where test data distribution differs from training. In this work, we propose a novel approach ...
  • Quantum Algorithms for Tensor-SVD 
    JOJO, JEZER; Khandelwal, Ankit; Chandra, M. Girish (IEEE, 2024-09)
    A promising area of applications for quantum computing is in linear algebra problems. In this work, we introduce two new quantum t-SVD (tensor-SVD) algorithms. The first algorithm is largely based on previous work that ...
  • Detection Of Malignant Cancerous Nuclei Using Quantum Hadamard Edge Detection Algorithm 
    Shahapure, Arsheyee; Gupta, Rajat; Bhole, Prathamesh; Losu, Vethonulu; KULKARNI, MADHURA; Banerjee, Anindita (IEEE, 2024-02)
    Cancer is a hazardous ailment, becoming even more ominous due to its capacity to remain unnoticed. The significance of cancer research lies in its role in enhancing both the detection and treatment of this disease, ultimately ...
  • Fault-Tolerance of the [[8, 1, 3]] Non-CSS Code 
    MAHESHWARI, PRANAV; Raina, Ankur (IEEE, 2024-07)
    We present a fault-tolerant [[8, 1, 3]] non-CSS quantum error correcting code and study its logical error rates. We modify Gottesman's encoding procedure for stabilizer codes to suit a class of non-CSS quantum codes. We ...
  • Digital Disruption in the Sustainable Age: The Role of ICT in Shaping ESG Initiatives 
    Kashyap, Samiksha; Agarwal, Bhakti; Tejasmayee, Pracheta; JINGER, HARSH; Rastogi, Shailesh (IEEE, 2024)
    Information and communication technology (ICT) has revolutionised the financial industry by making it technologically sound and efficient in communication, improving accessibility, customer service, and efficiency. The ...
  • Quantum-Enhanced Resilient Reinforcement Learning Using Causal Inference 
    SANKAR, NAMASI G.; Khandelwal, Ankit; Chandra, M Girish (IEEE, 2024-01)
    Deep Reinforcement Learning (DRL) is a sub-field of Machine Learning (ML) that combines reinforcement learning (RL) with deep learning techniques. DRL has showcased promising results in gaming environments and real-world ...
  • Novel Objective Function and Expectation Value Estimation Method for the Variational Quantum Singular Value Decomposition Algorithm 
    JOJO, JEZER; Khandelwal, Ankit; Chandra, M Girish (IEEE, 2024-01)
    In this work, we discuss two modifications that can be made to a known variational quantum singular value decomposition algorithm popular in the literature. The first is a change to the objective function which hints at ...
  • Forest Management and Conservation Regime 
    LELE, SHARACHCHANDRA (Oxford University Press, 2024-07)
    This Handbook is a response to the rapid growth of environmental and natural resources law over the past few decades in India. The discipline is now a distinct field of research and teaching. A Handbook focused on India ...
  • Computational study of electrochemical CO2 reduction on two-dimensional TiB2 monolayer 
    PATIL, DURVESH; Shukla, Aarti (AIP Publishing, 2024-08)
    The production of organic molecules from CO2 is extremely desirable from both an energy and environmental standpoint. High-performance catalysts are necessary to accomplish such a desirable outcome. In this study, CO2 ...
  • Introduction to Colloidal Particles 
    SHARMA, VANDANA; Xiao, Zuyao; Simmchen, Juliane (Royal Society of Chemistry, 2024-12)
    his chapter introduces the general principles of colloidal science, taking into account the overall scope of colloidal active materials. We briefly present approaches to particle production and characterization, provide ...
  • Synthesis of hybrid spirooxindoles 
    WARGHUDE, PRAKASH K.; BHOWMICK, ANINDITA; BHAT, RAMAKRISHNA G. (Elsevier B.V., 2024-06)
    Hybrid spirooxindoles represent a class of compounds that have gained significant attention in the realm of medicinal chemistry due to their diverse biological activities and promising pharmacological profiles. These unique ...
  • Stereoselective synthesis of spirooxindole scaffold 
    WARGHUDE, PRAKASH K.; BHOWMICK, ANINDITA; BHAT, RAMAKRISHNA G. (Elsevier B.V., 2024-06)
    Continual research progress in organic and medicinal chemistry emphasizes the critical goal of devising and developing innovative synthetic methodologies for constructing novel chemical entities with high stereoselectivity. ...
  • Nanosensor-based therapeutic interventions to diagnose and cure bacterial infections 
    MAHATO, SHREYA; Anand, Aparna; Sharma, Abhinay (Elsevier B.V., 2025)
    Rapid rinsing of antibiotic resistance and slower supply of modified or new drugs against bacterial pathogens is posing threat on human population. Quick detection to start timely, accurate, and effective treatment is ...
  • Use of nanotechnology in diagnosis and cure of mycotic infections 
    MAHATO, SHREYA; Saxena, Nupur; Anand, Aparna; Sharma, Abhinay (Elsevier B.V., 2025)
    The high rate of mycotic infections is posing a threat as it causes a high clinical and economic burden on the global population. The application of rapid diagnosis and effective treatment methods is important in handling ...
  • Convectively coupled equatorial waves 
    ETTAMMAL, SUHAS; MANI, NEENA JOSEPH (Elsevier B.V., 2025)
    Convectively coupled equatorial waves (CCEWs) are zonally propagating planetary-synoptic scale tropical disturbances whose dynamical and convective structures evolve coherently. CCEWs play a major role in organizing tropical ...
  • Two Documents on Human Rights by Hansal Mehta: Shahid (2012) and Aligarh (2015) 
    ZANKAR, ANIL (2024-11)
    This book examines the intersection between Indian cinema (across geographic regions, languages and formats) and human rights. It analyzes Indian cinema from multiple human rights perspectives, such as freedom of expression ...
  • Language and Science: Some Problems and Solutions 
    SANCHETI, POOJA (Springer Nature, 2024-09)
    In this chapter, I highlight a persistent gap in instruction in Indian (and global) STEM HEIs, enabled by the absence of reading and writing training in discipline-specific curricula. I show how language does not play only ...
  • Constraints on Light Vector Gauge Boson from Gamma Ray Burst Observations 
    PODDAR, TANMAY KUMAR; GOSWAMI, SRUBABATI; MISHRA, ARVIND KUMAR (Springer Nature, 2024-07)
    The energy deposition due to the pair annihilation of neutrinos into electrons can energize events such as Gamma Ray Bursts (GRBs). The deposited energy can be increased or decreased with the choice of the compact star ...
  • Cosmic Ray Diurnal Variation over Two Decades Measured by the GRAPES-3 Muon Telescope 
    Zuberi, M.; SUBRAMANIAN, PRASAD et al. (Springer Nature, 2024-07)
    The Galactic cosmic ray particles in the inner heliosphere are convected outward by the solar wind while they diffuse into the inner heliosphere along the interplanetary magnetic field direction. A balance between the two ...

Search Repository


Advanced Search

Browse

My Account