• A Finer View of the Parameterized Landscape of Labeled Graph Contractions 

  Mathur, Yashaswini; TALE, PRAFULLKUMAR (Dagstuhl Publishing, 2025)

  We study the Labeled Contractibility problem, where the input consists of two vertex-labeled graphs G and H, and the goal is to determine whether H can be obtained from G via a sequence of edge contractions. Lafond and ...
• SPOTLIGHT: A Probe of the Fast Radio Transient Sky 

  Roy, Jayanta; DEBNATH, RITAVASH et al. (Institute of Electrical and Electronics Engineers Inc., 2024-10)

  SPOTLIGHT is a time-domain survey instrument to perform a real-time commensal search for Fast Radio Bursts (FRBs) and Pulsars with a PetaFlop system installed at the GMRT funded under the National Supercomputing ...
• A Quantitative Notion of Economic Security for Smart Contract Compositions 

  PRIYADARSHINI, EMILY; Bartoletti, Massimo (Springer Nature, 2025-11)

  Decentralized applications are often composed of multiple interconnected smart contracts. This is especially evident in DeFi, where protocols are heavily intertwined and rely on a variety of basic building blocks such as ...
• Robust Contraction Decomposition for Minor-Free Graphs and Its Applications 

  Bandyapadhyay, Sayan; Lochet, William; Lokshtanov, Daniel; Marx, Dániel; Misra, Pranabendu; Neuen, Daniel; Saurabh, Saket; TALE, PRAFULLKUMAR; Xue, Jie (Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2026-06)

  We prove a robust contraction decomposition theorem for H-minor-free graphs, which states that given an H-minor-free graph G and an integer p, one can partition in polynomial time the vertices of G into p sets Z₁,… ,Z_p ...
• Subsidies and Market Borrowings: Unraveling the Fiscal Dynamics in India's Development Expenditure 

  Tejasmayee, Pracheta; Agarwal, Bhakti; Kashyap, Samiksha; Rastogi, Shailesh; Pushp, Aman; JINGER, HARSH (IEEE, 2024-12)

  This research paper examines the effect of government subsidies on market borrowings in India, with a focus on the moderating role of development expenditure. Utilizing quantile panel data method, data derived from 27 ...
• ILAEDA: An Imitation Learning Based Approach for Automatic Exploratory Data Analysis 

  Manatkar, Abhijit; DEVARSH PATEL; Patel, Hima; Manwani, Naresh (Association for Computing Machinery., 2025-03)

  Automating end-to-end Exploratory Data Analysis (AutoEDA) is a challenging open problem, often tackled through Reinforcement Learning (RL) by learning to predict a sequence of analysis operations (FILTER, GROUP, etc). ...
• Metric Dimension and Geodetic Set Parameterized by Vertex Cover 

  Foucaud, Florent; Galby, Esther; Khazaliya, Liana; Li, Shaohua; Inerney, Fionn Mc; Sharma, Roohani; TALE, PRAFULLKUMAR (Dagstuhl Publishing, 2025-02)

  For a graph G, a subset S ⊆ V (G) is called a resolving set of G if, for any two vertices u, v ∈ V (G), there exists a vertex w ∈ S such that d(w, u)̸ = d(w, v). The Metric Dimension problem takes as input a graph G on ...
• Temporal Dynamics of Human Perceptual Averaging Using a Neural Network Model 

  Sengupta, Rakesh; Shukla, Anuj; Janapati, Ravichander; VERMA, BHAVESH (Springer Nature, 2025-05)

  Examining visual world and calculating the corresponding ensemble measures or perceptual averaging, is vital in ensuring a unitary perceptual world in cognitive agents. Although applying filters to these scenes may seem ...
• Approximation Schemes for Geometric Knapsack for Packing Spheres and Fat Objects 

  ACHARYA, PRITAM; Bhore, Sujoy; Gupta, Aaryan; Khan, Arindam; Mondal, Bratin; Wiese, Andreas (Leibniz International Proceedings in Informatics, LIPIcs, 2024-07)

  We study the geometric knapsack problem in which we are given a set of d-dimensional objects (each with associated profits) and the goal is to find the maximum profit subset that can be packed non-overlappingly into a given ...
• Problems in NP Can Admit Double-Exponential Lower Bounds When Parameterized by Treewidth 

  Foucaud, Florent; Galby, Esther; Khazaliya, Liana; Li, Shaohua; Inerney, Fionn Mc; Sharma, Roohani; TALE, PRAFULLKUMAR (Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2024-07)

  Treewidth serves as an important parameter that, when bounded, yields tractability for a wide class of problems. For example, graph problems expressible in Monadic Second Order (MSO) logic and Quantified SAT or, more ...
• 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 ...
• 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 ...
• 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 ...

View more