Abstract

Provided a method of detecting and tracking a traffic violation of vehicle associated with user through a trapezium shaped object based representation using a deep learning model. The method includes (i) detecting the user and the vehicle to generate a first rectangular bounding box and a second rectangular bounding box of a video, (ii) training the deep learning model by correlating historical trapezium based representations with historical rectangular bounding boxes over historical vehicles, and historical users, (ii) determining a trapezium based representation based on the bounding boxes, (iv) detecting a traffic violation of the vehicle by determining (a) triple-riding violation, if maximum number of intersection of units (IoU) are found by counting the first rectangular bounding box and the second rectangular bounding box, (b) a helmet violation by determining the user without a helmet, and (v) tracking 10 the vehicle that performs the traffic violation based on corresponding trapezium based representation.

Abstract

Scholarship on twentieth-century Asia suggests that political autonomy is a necessary condition for economic growth, allowing regions to tailor and implement policies to their contextual needs. This study will look empirically at the agriculture sector of the Himalayan state of Himachal Pradesh in India. Himachal Pradesh achieved full statehood on January 25, 1971, evolving from a Union Territory administered by the central government of India. It consistently outperforms other Indian states in economic and human development indices such as poverty alleviation, sanitation, and income per capita. The study will draw on agricultural data collected from two sub-regions, Shimla and Kullu, spanning from 1951 to 1991. It will comparatively look at the two decades preceding the transition to statehood (1951-1971) against data from 1971-1991, the two decades following the transition, to explore whether this juncture in political standing played a role in driving the change in the agriculture sector in the region. Variables such as farm prices of crops, agricultural wages, area under different food crops, use of machinery, yield of crops, and area under irrigation will be included in the assessment.

Abstract

Deep Learning (DL) finds application in several prominent fields, including computer vision, natural language processing, and bioinformatics. The proliferation of DL-based methods has brought to notice critical issues about bias (or unfairness) in classification and weak privacy guarantees of the training data. It is crucial to prioritize addressing these issues to prevent the potentially significant negative impact on users. While there has been progress, majority of the works focus on independently resolving fairness and privacy. We propose a tutorial on “Fair and Private Deep Learning” – aimed to provide an exhaustive discussion on (i) reasons behind unfair classifications and lack of privacy, (ii) fairness notions in literature and methods to ensure them, (iii) differentially private DL, and (iv) algorithms that address fair and private DL simultaneously. Moreover, in this tutorial, we not just limit our attention to classical, centralized DL models but also to the fairness and privacy challenges in distributed (or federated) DL. The code, presentation and other details are available at https://github.com/magnetar-iiith/FairPrivateDL.

Abstract

No Results Found

Abstract

The rise of smart cities and the increasing demand for drones has sparked considerable interest in the Internet of Drones (IoD) within the realms of academia and industry. IoD presents a multitude of advantages in smart city settings, facilitating services like traffic monitoring, environmental surveillance, and disaster management by harnessing the potential of IoT and Flying Ad-Hoc Networks (FANET) infrastructures. However, the transmission of sensitive messages between drones in IoD-based smart cities is disseminated over insecure channels, leaving them exposed to security vulnerabilities. Furthermore, drones operating in IoD architectures are prone to physical capture attacks as they operate in unattended environments with minimal human intervention. Moreover, the limited resources of drones pose challenges to the practicality of employing computationally intensive cryptographic methods. In response to these challenges, we introduce PAF-IoD, an authentication framework that prioritizes security and efficiency. PAF-IoD leverages physical unclonable functions (PUFs) and the AEGIS authenticated encryption scheme to guarantee trustworthy and secure communication between users and drones in smart cities. In terms of security validation, we perform both random and real model-based formal analyses. Furthermore, we employ the Scyther tool to ensure the resilience of PAF-IoD against different security vulnerabilities. Additionally, an informal analysis is conducted to demonstrate the resilience of PAF-IoD against various attacks. By introducing PAF-IoD, we offer a secure solution that addresses vulnerabilities and resource limitations associated with drone communication. The proposed framework guarantees the integrity and confidentiality of data while optimizing computational and communication resources, thereby enabling reliable and effective IoD operations in smart cities.

Abstract

—Smart Microfactories use additive manufacturing to create products with mixed materials and variable sizes. Digital twin technology enhances control of the additive manufacturing equipment in these factories, increasing productivity and minimizing errors. The digital twins communicate with the machines to furnish sensitive data and instructions, which must be protected from tampering. Authentication rescues the digital and physical twins from menacing attacks such as privileged insider, impersonation, Ephemeral Secret Leakage (ESL) and Man-in-The-Middle (MiTM) attacks. To this end, we propose lightweight authentication among the digital and physical twins with the undeniability of issued commands and deniable key agreement. It achieves perfect forward secrecy, unforgeability and anonymity. Rigorous formal verification with AVISPA and informal security analysis show the robustness of this protocol to the aforesaid attacks.

Abstract

In this paper, we propose a network whose nodes are labeled by the composite numbers and two nodes are connected by an undirected link if they are relatively prime to each other. As the size of the network increases, the network will be connected whenever the largest possible node index n ≥ 49. To investigate how the nodes are connected, we analytically describe that the link density saturates to 6/π2 , whereas the average degree increases linearly with slope 6/π2 with the size of the network. To investigate how the neighbors of the nodes are connected to each other, we find the shortest path length will be at most 3 for 49 ≤ n ≤ 288 and it is at most 2 for n ≥ 289. We also derive an analytic expression for the local clustering coefficients of the nodes, which quantifies how close the neighbors of a node to form a triangle. We also provide an expression for the number of r-length labeled cycles, which indicates the existence of a cycle of length at most O(log n). Finally, we show that this graph sequence is actually a sequence of weakly pseudo-random graphs. We numerically verify our observed analytical results. As a possible application, we have observed less synchronizability (the ratio of the largest and smallest positive eigenvalue of the Laplacian matrix is high) as compared to Erdős–Rényi random network and Barabási–Albert network. This unusual observation is consistent with the prolonged transient behaviors of ecological and predator–prey networks which can easily avoid the global synchronization.

Abstract

This research explores the foundational frameworks and conceptual arguments shaping environmental litigation in the Supreme Court of India. Our central aim was to systematically analyze the legal language used to construct environmental arguments within the court. We sought to identify the recurring frameworks employed and understand how these frameworks integrate fundamental concepts like the right to life and freedom with environmental concerns.

Abstract

This article presents a metacognitive decision-making (MDM) framework inspired by human-like metacognitive principles. The MDM framework is incorporated in unmanned aerial vehicles (UAVs) deployed for decentralized stochastic search without communication for detecting and confirming stationary targets (fixed/sudden pop-up) and dynamic targets. The UAVs are equipped with multiple sensors (varying sensing capability) and search for targets in a largely unknown area. The MDM framework consists of a metacognitive component and a self-cognitive component. The metacognitive component helps to self-regulate the search with multiple sensors addressing the issues of “which-sensor-to-use,” “when-to-switch-sensor,” and “how-to-search.” Based on the information gathered by sensors carried by each UAV, the self-cognitive component regulates different levels of stochastic search and switching levels for effective searching, where the lower levels of search aim to localize a target (detection) and the highest level of a search exploit a target (confirmation). The performance of the MDM framework with two sensors having a low accuracy for detection and increased accuracy to confirm targets is evaluated through Monte Carlo simulations and compared with six decentralized multi-UAV search algorithms (three self-cognitive searches and three self and social-cognitive-based searches). The results indicate that the MDM framework can efficiently detect and confirm targets in an unknown environment.

Abstract

This article proposes the multiswarm cooperative information-driven search and divide and conquer mitigation control (MSCIDC) approach for faster detection and mitigation of forest fires by reducing the loss of biodiversity, nutrients, soil moisture, and other intangible benefits. A swarm is a cooperative group of unmanned aerial vehicles (UAVs) flying together to search and quench the fire areas effectively. The multiswarm cooperative information-driven search uses a two-stage search comprising cooperative information-driven exploration and exploitation for quick/accurate detection of fire locations. The search level is selected based on the thermal sensor information about the potential fire area. The dynamic nature of swarms acquired from global regulative repulsion and merging between swarms reduces the detection and mitigation time compared to the existing methods. The local attraction among the swarm members helps the nondetector members reach the fire location faster, and divide-and-conquer mitigation control ensures a nonoverlapping fire sector allocation for all members quenching the fire. The performance of the MSCIDC has been compared with different multi- UAV methods using a simulated pine forest environment. The Monte-Carlo simulation results indicate that the MSCIDC reduces the average forest area burnt by 65% and mission time by 60% compared to the best case of the multi- UAV approaches, guaranteeing a faster and more successful mission.