Abstract

This study investigates the landscape of environmental litigation in India, analyzing how environmental disputes unfold within the judiciary. It aims to identify significant patterns in case subject matter, types of appellants, and regional distribution of such cases. By examining the broader socio-legal context, the research explores how various stakeholders interact with the legal system to address environmental issues. The methodology involves assembling a dataset of legal cases and applying computational techniques to extract metadata and detect trends across multiple dimensions. Statistical analysis was used to assess correlations between case topics and appellant categories, while spatial data provided insights into regional variations in environmental disputes. Additionally, a qualitative review of relevant legislation and policies cited in key rulings helped contextualize the legal reasoning behind environmental judgments. Through a computational lens, this study uncovers the institutional dynamics that shape environmental justice in India, emphasizing the value of data-driven approaches in understanding the interplay between law, governance, and civic engagement in environmental policymaking.

Abstract

In this paper, we propose an FPGA based system for non-contact monitoring of respiration rates (RR) using a mmWave frequency modulated continuous wave (FMCW) radar. The novel FPGA based hardware architecture presented in this paper classifies normal and abnormal RR with a Support Vector Machine (SVM) model using mmWave radar-based sensing. SVM with various kernels are evaluated in order to identify the most effective approach for respiratory rate (RR) classification. SVM with a quadratic polynomial kernel shows a high classification accuracy of 95%. While the accuracy was comparable to other kernels, the quadratic polynomial kernel achieved a substantial reduction in the number of support vectors and other parameters. This optimisation results in lower resource utilisation and power consumption, making it highly efficient for FPGA implementa- tion.

Abstract

This letter presents the development of a real-time object detection system using frequency modulated continuous wave millimeter-wave (mmWave) radar signals and the python productivity for zynq ultrascale + mpsocs (PYNQ-ZU) field-programmable gate array (FPGA) board, which is widely used in advanced driving assistance system and robotic applications. A hardware FPGA platform serves as a valid embedded architecture for the purpose of validating object detection and recognition applications. We used our experiment’s point cloud images to apply different machine learning models to detect these objects. Using a top-view (TV) filter to convert 3-D point cloud images into 2-D representations made object detection more accurate. Following the use of filtration techniques, we extracted features from the filtered 2-D image using the visual geometry group (VGG) 16 model. We then assessed four machine learning models for object detection and found that the support vector machine (SVM) model and logistic regression (LR) had better results, obtaining an accuracy of 97%. Our proposed work uses mmWave radar, TV filter, VGG 16 Model, and LR to highly increase object detection accuracy over existing methods.

Abstract

Time series data related to traffic and air quality are useful indicators for urban planning but they frequently have missing values. Imputation of multi-sensor time series data is thus a vital pre-processing step for forecasting, anomaly detection and other downstream tasks. We develop an efficient architecture – Sparse Attention-based Imputation Network for Time series (SAINT) – which outperforms the state-of- the-art imputation networks. Efficiency is achieved by separating the computations on the space-time product graph sequentially into channel independent temporal attention and sparse space-time transformer. This channel independent network can reduce overfitting to effectively repre- sent general temporal patterns. Sparse space-time transformer performs message passing on the spatial graph conditioned on time. We consider real-world datasets for evaluation – PEMS-BAY, METR-LA and AQI – which are gathered from sensor networks in major cities. We demonstrate the effectiveness and robustness of SAINT across complex missing data scenarios. Additionally, SAINT generalizes well to short-term forecasting and is practical for long-term forecasting with limited resources.

Abstract

We introduce a new information-theoretic measure to characterize non-Markovianity in a tripartite quantum state of genuine quantum origin. This measure reveals a novel tripartite quantum correlation and may be interpreted as entanglement between two systems when conditioned on the third (memory) system. We formulate a convex resource-theoretic framework to characterize genuine quantum non-Markovianity in states as a quantum resource and provide operational meaning to this resource in various information processing tasks.

Abstract

Location-based services (LBSs) in a mobile network environment that provide personalized and timely information to users entail privacy concerns due to the leakage of user locations to adversaries. In the literature, several cloaking-based privacy preservation approaches have been proposed by considering the P2P environment. However, existing spatial cloaking approaches form a large cluster of mobile users to cloak the user query location. Maintaining such structures in a highly dynamic mobile-P2P network is challenging. In addition to user’s location, the user’s intent is also an important concern and needs to be preserved from an adversary. This paper proposes a location privacy and intent privacy preservation scheme, especially for spatial range queries. The key contributions of our work are three-fold. First, we introduce the concept of ijk-anonymity to achieve improved location privacy. Second, we propose a location-based privacy-preservation approach, which we designate as ijkCloak, for spatial range queries in a mobile network environment. The proposed approach preserves user location and intent information from the LBS provider and nearby peers. Third, we conduct theoretical analysis and experiments on resistance to attacks. We show that ijkCloak effectively facilitates improved user location privacy and intent privacy by employing fewer peers w.r.t. existing approaches.

Abstract

In this work, we introduce and characterize a broad class of quantum operations with a unique fixed point, termed quantum ergodic channels. We derive Lindblad-type master equations for these channels in arbitrary finite dimensions and analyze their non-Markovian dynamics using established measures. When the fixed point is a passive state, the channels exhibit ergotropy dynamics with notable thermodynamic implications. Specifically, under Markovian processes, ergotropy (a measure of the extractable work from a system under unitary evolution) monotonically decreases. However, in non-Markovian dynamics, ergotropy fluctuates, leading to a backflow effect that highlights memory-induced resource recovery. Our findings suggest that this ergotropy backflow could serve as an operationally meaningful indicator of non-Markovianity, offering new perspectives on the interplay between memory effects and thermodynamic behavior in open quantum systems. This study enhances the theoretical framework for understanding energy dynamics under ergodic channels and highlights new avenues for exploring the implications of memory effects in quantum batteries.

Abstract

In decision making settings such as medical diagnosis, investment choices, or sentencing in a court of law, an individual’s background and experience influence their decisions. In the legal domain, multiple factors like personal bias/beliefs, recent events, and the contemporary state of mind could affect decision-making, leading to inconsistencies in judgments between and within jurisdictions. It is widely reported in the literature that anomalies and disparities exist in judicial decisions, such as bail grants and sentence impositions, stemming from implicit bias or other contextual factors. Notably, in domains like sales and marketing, data cube-based systems are being used to extract interesting trends and anomalies in subspaces from large multidimensional databases. In this paper, we extend the data cube framework to explore possible anomalies and disparities in court sentences by conducting experiments on a sample Indian judgment dataset of criminal cases. The results show that the data cube-based framework could identify anomalies in the legal domain. We hope this work will encourage researchers to investigate a compre- hensive data cube-based framework to reduce disparities and improve justice delivery worldwide.

Abstract

The widespread adoption of machine learning (ML) has brought forth diverse models with varying architectures, data requirements, introducing new challenges in integrating these systems into real-world applications. Traditional solutions often struggle to manage the complexities of connecting heterogeneous models, especially when dealing with varied technical specifications. These limitations are amplified in large-scale, collaborative projects where stakeholders contribute models with different technical specifications. To address these challenges, we developed LoCoML, a low-code framework designed to simplify the integration of diverse ML models within the context of the Bhashini Project - a large-scale initiative aimed at integrating AI-driven language technologies such as automatic speech recognition, machine translation, text-to-speech, and optical character recognition to support seamless communication across more than 20 languages. Initial evaluations show that LoCoML adds only a small amount of computational load, making it efficient and effective for large-scale ML integration. Our practical insights show that a low-code approach can be a practical solution for connecting multiple ML models in a collaborative environment.

Abstract

As Machine Learning (ML) makes its way into aviation, ML-enabled systems—including low-criticality systems—require a reliable certification process to ensure safety and performance. Traditional standards, like DO-178C, which are used for critical software in aviation, don’t fully cover the unique aspects of ML. This paper proposes a semi-automated certification approach, specifically for low-criticality ML systems, focusing on data and model validation, resilience assessment, and usability assurance while integrating manual and automated processes. Key aspects include structured classification to guide certification rigor on system attributes, an Assurance Profile that consolidates evaluation outcomes into a confidence measure the ML component, and methodologies for integrating human oversight into certification activities. Through a case study with a YOLOv8-based object detection system designed to classify military and civilian vehicles in real-time for reconnaissance and surveillance aircraft, we show how this approach supports the certification of ML systems in low-criticality airborne applications.