Showing 1–31 of 31 results for author: Sadhu, V

Lambda Module structure on higher $K$-groups

Authors: Sourayan Banerjee, Vivek Sadhu

Abstract: In this article, we show that for a quasicompact scheme $X$ and $n>0,$ the $n$-th $K$-group $K_{n}(X)$ is a $λ$-module over a $λ$-ring $K_{0}(X)$ in the sense of Hesselholt. In this article, we show that for a quasicompact scheme $X$ and $n>0,$ the $n$-th $K$-group $K_{n}(X)$ is a $λ$-module over a $λ$-ring $K_{0}(X)$ in the sense of Hesselholt. △ Less

Submitted 3 January, 2024; v1 submitted 21 March, 2023; originally announced March 2023.

Comments: Final version, accepted for publication

Automatic Measures for Evaluating Generative Design Methods for Architects

Authors: Eric Yeh, Briland Hitaj, Vidyasagar Sadhu, Anirban Roy, Takuma Nakabayashi, Yoshito Tsuji

Abstract: The recent explosion of high-quality image-to-image methods has prompted interest in applying image-to-image methods towards artistic and design tasks. Of interest for architects is to use these methods to generate design proposals from conceptual sketches, usually hand-drawn sketches that are quickly developed and can embody a design intent. More specifically, instantiating a sketch into a visual… ▽ More The recent explosion of high-quality image-to-image methods has prompted interest in applying image-to-image methods towards artistic and design tasks. Of interest for architects is to use these methods to generate design proposals from conceptual sketches, usually hand-drawn sketches that are quickly developed and can embody a design intent. More specifically, instantiating a sketch into a visual that can be used to elicit client feedback is typically a time consuming task, and being able to speed up this iteration time is important. While the body of work in generative methods has been impressive, there has been a mismatch between the quality measures used to evaluate the outputs of these systems and the actual expectations of architects. In particular, most recent image-based works place an emphasis on realism of generated images. While important, this is one of several criteria architects look for. In this work, we describe the expectations architects have for design proposals from conceptual sketches, and identify corresponding automated metrics from the literature. We then evaluate several image-to-image generative methods that may address these criteria and examine their performance across these metrics. From these results, we identify certain challenges with hand-drawn conceptual sketches and describe possible future avenues of investigation to address them. △ Less

Submitted 20 March, 2023; originally announced March 2023.

Comments: 4 pages, 6 figures, 1 table

On the generators of Nil $K$-groups

Authors: Sourayan Banerjee, Vivek Sadhu

Abstract: In this article, we study higher Nil $K$-groups via binary complexes. More particularly, we exhibit an explicit form of generators of higher Nil $K$-groups in terms of binary complexes. In this article, we study higher Nil $K$-groups via binary complexes. More particularly, we exhibit an explicit form of generators of higher Nil $K$-groups in terms of binary complexes. △ Less

Submitted 28 November, 2023; v1 submitted 27 February, 2023; originally announced February 2023.

Comments: Final Version. Accepted for publication

Sensor Control for Information Gain in Dynamic, Sparse and Partially Observed Environments

Authors: J. Brian Burns, Aravind Sundaresan, Pedro Sequeira, Vidyasagar Sadhu

Abstract: We present an approach for autonomous sensor control for information gathering under partially observable, dynamic and sparsely sampled environments that maximizes information about entities present in that space. We describe our approach for the task of Radio-Frequency (RF) spectrum monitoring, where the goal is to search for and track unknown, dynamic signals in the environment. To this end, we… ▽ More We present an approach for autonomous sensor control for information gathering under partially observable, dynamic and sparsely sampled environments that maximizes information about entities present in that space. We describe our approach for the task of Radio-Frequency (RF) spectrum monitoring, where the goal is to search for and track unknown, dynamic signals in the environment. To this end, we extend the Deep Anticipatory Network (DAN) Reinforcement Learning (RL) framework by (1) improving exploration in sparse, non-stationary environments using a novel information gain reward, and (2) scaling up the control space and enabling the monitoring of complex, dynamic activity patterns using hybrid convolutional-recurrent neural layers. We also extend this problem to situations in which sampling from the intended RF spectrum/field is limited and propose a model-based version of the original RL algorithm that fine-tunes the controller via a model that is iteratively improved from the limited field sampling. Results in simulated RF environments of differing complexity show that our system outperforms the standard DAN architecture and is more flexible and robust than baseline expert-designed agents. We also show that it is adaptable to non-stationary emission environments. △ Less

Submitted 22 May, 2023; v1 submitted 2 November, 2022; originally announced November 2022.

Comments: 13 pages

ACM Class: I.2.8; I.2.6; I.5.4

The Brauer group of a valuation ring

Authors: Vivek Sadhu

Abstract: Let $V$ be a valuation ring and $K$ be its field of fraction. We show that the canonical map $\Br(V) \to \Br(K)$ is injective. Let $V$ be a valuation ring and $K$ be its field of fraction. We show that the canonical map $\Br(V) \to \Br(K)$ is injective. △ Less

Submitted 8 May, 2021; v1 submitted 6 April, 2021; originally announced April 2021.

Comments: Minor changes made

Equivariant Picard groups and Laurent polynomials

Authors: Vivek Sadhu

Abstract: Let $G$ be a finite group. For a $G$-ring $A,$ let ${\rm Pic}^{\it G}({\it A})$ denote the equivariant Picard group of $A.$ We show that if $A$ is a finite type algebra over a field $k$ then ${\rm Pic}^{\it G}({\it A})$ is contracted in the sense of Bass with contraction $H_{et}^{1}(G; Spec(A), \mathbb{Z}).$ This gives a natural decomposition of the group ${\rm Pic}^{\it G}({\it A[t, t^{-1}]}).$ Let $G$ be a finite group. For a $G$-ring $A,$ let ${\rm Pic}^{\it G}({\it A})$ denote the equivariant Picard group of $A.$ We show that if $A$ is a finite type algebra over a field $k$ then ${\rm Pic}^{\it G}({\it A})$ is contracted in the sense of Bass with contraction $H_{et}^{1}(G; Spec(A), \mathbb{Z}).$ This gives a natural decomposition of the group ${\rm Pic}^{\it G}({\it A[t, t^{-1}]}).$ △ Less

Submitted 23 March, 2021; v1 submitted 24 September, 2020; originally announced September 2020.

Comments: Final Version, accepted for publication

Projective bundle formula for Heller' relative K_0

Authors: Vivek Sadhu

Abstract: In this article, we study the Heller relative $K_{0}$ group of the map $\mathbb{P}_{X}^{r} \to \mathbb{P}_{S}^{r},$ where $X$ and $S$ are quasi-projective schemes over a commutative ring. More precisely, we prove that the projective bundle formula holds for Heller's relative $K_{0},$ provided $X$ is flat over $S.$ As a corollary, we get a description of the relative group… ▽ More In this article, we study the Heller relative $K_{0}$ group of the map $\mathbb{P}_{X}^{r} \to \mathbb{P}_{S}^{r},$ where $X$ and $S$ are quasi-projective schemes over a commutative ring. More precisely, we prove that the projective bundle formula holds for Heller's relative $K_{0},$ provided $X$ is flat over $S.$ As a corollary, we get a description of the relative group $K_{0}(\mathbb{P}_{X}^{r} \to \mathbb{P}_{S}^{r})$ in terms of generators and relations, provided $X$ is affine and flat over $S.$ △ Less

Submitted 29 May, 2020; originally announced May 2020.

Comments: 12 pages, Final version, accepted for publication

On-board Deep-learning-based Unmanned Aerial Vehicle Fault Cause Detection and Identification

Authors: Vidyasagar Sadhu, Saman Zonouz, Dario Pompili

Abstract: With the increase in use of Unmanned Aerial Vehicles (UAVs)/drones, it is important to detect and identify causes of failure in real time for proper recovery from a potential crash-like scenario or post incident forensics analysis. The cause of crash could be either a fault in the sensor/actuator system, a physical damage/attack, or a cyber attack on the drone's software. In this paper, we propose… ▽ More With the increase in use of Unmanned Aerial Vehicles (UAVs)/drones, it is important to detect and identify causes of failure in real time for proper recovery from a potential crash-like scenario or post incident forensics analysis. The cause of crash could be either a fault in the sensor/actuator system, a physical damage/attack, or a cyber attack on the drone's software. In this paper, we propose novel architectures based on deep Convolutional and Long Short-Term Memory Neural Networks (CNNs and LSTMs) to detect (via Autoencoder) and classify drone mis-operations based on sensor data. The proposed architectures are able to learn high-level features automatically from the raw sensor data and learn the spatial and temporal dynamics in the sensor data. We validate the proposed deep-learning architectures via simulations and experiments on a real drone. Empirical results show that our solution is able to detect with over 90% accuracy and classify various types of drone mis-operations (with about 99% accuracy (simulation data) and upto 88% accuracy (experimental data)). △ Less

Submitted 6 May, 2020; v1 submitted 3 April, 2020; originally announced May 2020.

Comments: IEEE International Conference on Robotics and Automation (ICRA), May 2020, 6+1 pages

Energy-efficient Analog Sensing for Large-scale and High-density Persistent Wireless Monitoring

Authors: Vidyasagar Sadhu, Xueyuan Zhao, Dario Pompili

Abstract: The research challenge of current Wireless Sensor Networks (WSNs) is to design energy-efficient, low-cost, high-accuracy, self-healing, and scalable systems for applications such as environmental monitoring. Traditional WSNs consist of low density, power-hungry digital motes that are expensive and cannot remain functional for long periods on a single power charge. In order to address these challen… ▽ More The research challenge of current Wireless Sensor Networks (WSNs) is to design energy-efficient, low-cost, high-accuracy, self-healing, and scalable systems for applications such as environmental monitoring. Traditional WSNs consist of low density, power-hungry digital motes that are expensive and cannot remain functional for long periods on a single power charge. In order to address these challenges, a dumb-sensing and smart-processing architecture that splits sensing and computation capabilities is proposed. Sensing is exclusively the responsibility of analog substrate---consisting of low-power, low-cost all-analog sensors---that sits beneath the traditional WSN comprising of digital nodes, which does all the processing of the sensor data received from analog sensors. A low-power and low-cost solution for substrate sensors has been proposed using Analog Joint Source Channel Coding (AJSCC) realized via the characteristics of Metal Oxide Semiconductor Field Effect Transistor (MOSFET). Digital nodes (receiver) also estimate the source distribution at the analog sensors (transmitter) using machine learning techniques so as to find the optimal parameters of AJSCC that are communicated back to the analog sensors to adapt their sensing resolution as per the application needs. The proposed techniques have been validated via simulations from MATLAB and LTSpice to show promising performance and indeed prove that our framework can support large scale high density and persistent WSN deployment. △ Less

Submitted 28 March, 2020; originally announced April 2020.

Comments: IEEE Internet of Things Journal, March 2020, pp. 1-9. arXiv admin note: text overlap with arXiv:1907.05205, arXiv:1907.00968

Signal Recovery Performance Analysis in Wireless Sensing with Rectangular-Type Analog Joint Source-Channel Coding

Authors: Xueyuan Zhao, Vidyasagar Sadhu, Dario Pompili

Abstract: The signal recovery performance of the rectangular-type Analog Joint Source-Channel Coding (AJSCC) is analyzed in this work for high and medium/low Signal-to-Noise Ratio (SNR) scenarios in the wireless sensing systems. The analysis and derivations of the medium/low SNR scenario are based on the comprehensive listing of all the signal variation cases in the three-dimensional signal mapping curve of… ▽ More The signal recovery performance of the rectangular-type Analog Joint Source-Channel Coding (AJSCC) is analyzed in this work for high and medium/low Signal-to-Noise Ratio (SNR) scenarios in the wireless sensing systems. The analysis and derivations of the medium/low SNR scenario are based on the comprehensive listing of all the signal variation cases in the three-dimensional signal mapping curve of the rectangular-type AJSCC. Theoretical formulations of Mean Square Error (MSE) performance are derived for both analog sensing and digital sensing systems with rectangular-type AJSCC. Evaluation results indicate that, there are optimal parameters in the rectangular-type AJSCC to minimize the signal recovery MSE performance at high and medium/low SNR scenarios. In addition, the performance of digital sensing with low-resolution Analog-to-Digital Conversion (ADC) is compared with analog sensing for both high and medium/low SNR scenarios in this work. The theoretical and evaluation results have practical value to the wireless sensing system designs based on the rectangular-type AJSCC. △ Less

Submitted 31 December, 2019; originally announced January 2020.

UW-MARL: Multi-Agent Reinforcement Learning for Underwater Adaptive Sampling using Autonomous Vehicles

Authors: Mehdi Rahmati, Mohammad Nadeem, Vidyasagar Sadhu, Dario Pompili

Abstract: Near-real-time water-quality monitoring in uncertain environments such as rivers, lakes, and water reservoirs of different variables is critical to protect the aquatic life and to prevent further propagation of the potential pollution in the water. In order to measure the physical values in a region of interest, adaptive sampling is helpful as an energy- and time-efficient technique since an exhau… ▽ More Near-real-time water-quality monitoring in uncertain environments such as rivers, lakes, and water reservoirs of different variables is critical to protect the aquatic life and to prevent further propagation of the potential pollution in the water. In order to measure the physical values in a region of interest, adaptive sampling is helpful as an energy- and time-efficient technique since an exhaustive search of an area is not feasible with a single vehicle. We propose an adaptive sampling algorithm using multiple autonomous vehicles, which are well-trained, as agents, in a Multi-Agent Reinforcement Learning (MARL) framework to make efficient sequence of decisions on the adaptive sampling procedure. The proposed solution is evaluated using experimental data, which is fed into a simulation framework. Experiments were conducted in the Raritan River, Somerset and in Carnegie Lake, Princeton, NJ during July 2019. △ Less

Submitted 11 November, 2019; originally announced November 2019.

Real-time Image Enhancement for Vision-based Autonomous Underwater Vehicle Navigation in Murky Waters

Authors: Wenjie Chen, Mehdi Rahmati, Vidyasagar Sadhu, Dario Pompili

Abstract: Classic vision-based navigation solutions, which are utilized in algorithms such as Simultaneous Localization and Mapping (SLAM), usually fail to work underwater when the water is murky and the quality of the recorded images is low. That is because most SLAM algorithms are feature-based techniques and often it is impossible to extract the matched features from blurry underwater images. To get more… ▽ More Classic vision-based navigation solutions, which are utilized in algorithms such as Simultaneous Localization and Mapping (SLAM), usually fail to work underwater when the water is murky and the quality of the recorded images is low. That is because most SLAM algorithms are feature-based techniques and often it is impossible to extract the matched features from blurry underwater images. To get more useful features, image processing techniques can be used to dehaze the images before they are used in a navigation/localization algorithm. There are many well-developed methods for image restoration, but the degree of enhancement and the resource cost of the methods are different. In this paper, we propose a new visual SLAM, specifically-designed for the underwater environment, using Generative Adversarial Networks (GANs) to enhance the quality of underwater images with underwater image quality evaluation metrics. This procedure increases the efficiency of SLAM and gets a better navigation and localization accuracy. We evaluate the proposed GANs-SLAM combination by using different images with various levels of turbidity in the water. Experiments were conducted and the data was extracted from the Carnegie Lake in Princeton, and the Raritan river both in New Jersey, USA. △ Less

Submitted 11 November, 2019; originally announced November 2019.

Low-power All-analog Circuit for Rectangular-type Analog Joint Source Channel Coding

Authors: Xueyuan Zhao, Vidyasagar Sadhu, Dario Pompili

Abstract: A low-complexity all-analog circuit is proposed to perform efficiently Analog Joint Source Channel Coding (AJSCC), which can compress two or more sensor signals into one with controlled distortion while also being robust against wireless channel impairments. The idea is to realize the rectangular-type AJSCC using Voltage Controlled Voltage Sources (VCVS). The proposal is verified by Spice simulati… ▽ More A low-complexity all-analog circuit is proposed to perform efficiently Analog Joint Source Channel Coding (AJSCC), which can compress two or more sensor signals into one with controlled distortion while also being robust against wireless channel impairments. The idea is to realize the rectangular-type AJSCC using Voltage Controlled Voltage Sources (VCVS). The proposal is verified by Spice simulations as well as breadboard and Printed Circuit Board (PCB) implementations. Results indicate that the design is feasible for low-complexity systems like persistent wireless sensor networks requiring low circuit power. △ Less

Submitted 30 June, 2019; originally announced July 2019.

Comments: 4 pages ISCAS 2016. arXiv admin note: text overlap with arXiv:1701.05599, arXiv:1907.01442

Journal ref: 2016 IEEE International Symposium on Circuits and Systems (ISCAS), Montreal, QC, 2016, pp. 1410-1413

Towards Ultra-low-power Realization of Analog Joint Source-Channel Coding using MOSFETs

Authors: Vidyasagar Sadhu, Sanjana Devaraj, Dario Pompili

Abstract: Certain sensing applications such as Internet of Things (IoTs), where the sensing phenomenon may change rapidly in both time and space, requires sensors that consume ultra-low power (so that they do not need to be put to sleep leading to loss of temporal and spatial resolution) and have low costs (for high density deployment). A novel encoding based on Metal Oxide Semiconductor Field Effect Transi… ▽ More Certain sensing applications such as Internet of Things (IoTs), where the sensing phenomenon may change rapidly in both time and space, requires sensors that consume ultra-low power (so that they do not need to be put to sleep leading to loss of temporal and spatial resolution) and have low costs (for high density deployment). A novel encoding based on Metal Oxide Semiconductor Field Effect Transistors (MOSFETs) is proposed to realize Analog Joint Source Channel Coding (AJSCC), a low-complexity technique to compress two (or more) signals into one with controlled distortion. In AJSCC, the y-axis is quantized while the x-axis is continuously captured. A power-efficient design to support multiple quantization levels is presented so that the digital receiver can decide the optimum quantization and the analog transmitter circuit is able to realize that. The approach is verified via Spice and MATLAB simulations. △ Less

Submitted 30 June, 2019; originally announced July 2019.

Comments: 5 pages, IEEE ISCAS 2019. arXiv admin note: text overlap with arXiv:1907.00968

Journal ref: 2019 IEEE International Symposium on Circuits and Systems (ISCAS), Sapporo, Japan, 2019, pp. 1-5

Towards Low-power Wearable Wireless Sensors for Molecular Biomarker and Physiological Signal Monitoring

Authors: Xueyuan Zhao, Vidyasagar Sadhu, Tuan Le, Dario Pompili, Mehdi Javanmard

Abstract: A low-power wearable wireless sensor measuring both molecular biomarkers and physiological signals is proposed, where the former are measured by a microfluidic biosensing system while the latter are measured electrically. The low-power consumption of the sensor is achieved by an all-analog circuit implementing Analog Joint Source-Channel Coding (AJSCC) compression. The sensor is applicable to a wi… ▽ More A low-power wearable wireless sensor measuring both molecular biomarkers and physiological signals is proposed, where the former are measured by a microfluidic biosensing system while the latter are measured electrically. The low-power consumption of the sensor is achieved by an all-analog circuit implementing Analog Joint Source-Channel Coding (AJSCC) compression. The sensor is applicable to a wide range of biomedical applications that require real-time concurrent molecular biomarker and physiological signal monitoring. △ Less

Submitted 30 June, 2019; originally announced July 2019.

Comments: 4 pages ISCAS 2017. arXiv admin note: substantial text overlap with arXiv:1907.00328

Journal ref: IEEE International Symposium on Circuits and Systems (ISCAS), 2017, pp. 1-4

Improved Circuit Design of Analog Joint Source Channel Coding for Low-power and Low-complexity Wireless Sensors

Authors: Xueyuan Zhao, Vidyasagar Sadhu, Anthony Yang, Dario Pompili

Abstract: To enable low-power and low-complexity wireless monitoring, an improved circuit design of Analog Joint Source Channel Coding (AJSCC) is proposed for wireless sensor nodes. This innovative design is based on Analog Divider Blocks (ADB) with tunable spacing between AJSCC levels. The ADB controls the switching between two types of Voltage Controlled Voltage Sources (VCVS). LTSpice simulations were pe… ▽ More To enable low-power and low-complexity wireless monitoring, an improved circuit design of Analog Joint Source Channel Coding (AJSCC) is proposed for wireless sensor nodes. This innovative design is based on Analog Divider Blocks (ADB) with tunable spacing between AJSCC levels. The ADB controls the switching between two types of Voltage Controlled Voltage Sources (VCVS). LTSpice simulations were performed to evaluate the performance of the circuit, and the power consumption and circuit complexity of this new ADB-based design were compared with our previous parallel-VCVS design. It is found that this improved circuit design based on ADB outperforms the design based on parallel VCVS for a large number of AJSCC levels (>= 16), both in terms of power consumption as well as circuit complexity, thus enabling persistent and higher temporal/spatial resolution environmental sensing. △ Less

Submitted 29 June, 2019; originally announced July 2019.

Comments: 8 pages, IEEE Sensor Journal

Journal ref: IEEE Sensors Journal, vol. 18, no. 1, pp. 281-289, 2018

Energy-efficient Wireless Analog Sensing for Persistent Underwater Environmental Monitoring

Authors: Vidyasagar Sadhu, Sanjana Devaraj, Dario Pompili

Abstract: The design of sensors or "things" as part of the new Internet of Underwater Things (IoUTs) paradigm comes with multiple challenges including limited battery capacity, not polluting the water body, and the ability to track continuously phenomena with high temporal/spatial variability. We claim that traditional digital sensors are incapable to meet these demands because of their high power consumpti… ▽ More The design of sensors or "things" as part of the new Internet of Underwater Things (IoUTs) paradigm comes with multiple challenges including limited battery capacity, not polluting the water body, and the ability to track continuously phenomena with high temporal/spatial variability. We claim that traditional digital sensors are incapable to meet these demands because of their high power consumption, high complexity (cost), and the use of non-biodegradable materials. To address the above challenges, we propose a novel architecture consisting of a sensing substrate of dense analog biodegradable sensors over which lies the traditional Wireless Sensor Network (WSN). The substrate analog biodegradable sensors perform Shannon mapping (a data-compression technique) using just a single Field Effect Transistor (FET) without the need for power-hungry Analog-to-Digital Converters (ADCs) resulting in much lower power consumption, complexity, and the ability to be powered using only sustainable energy-harvesting techniques. A novel and efficient decoding technique is also presented. Both encoding/decoding techniques have been verified via Spice and MATLAB simulations accounting for underwater acoustic channel variations. △ Less

Submitted 30 June, 2019; originally announced July 2019.

Comments: 5 pages, IEEE UComms 2018

Journal ref: 2018 Fourth Underwater Communications and Networking Conference (UComms), Lerici, 2018, pp. 1-5

Deep Multi-Task Learning for Anomalous Driving Detection Using CAN Bus Scalar Sensor Data

Authors: Vidyasagar Sadhu, Teruhisa Misu, Dario Pompili

Abstract: Corner cases are the main bottlenecks when applying Artificial Intelligence (AI) systems to safety-critical applications. An AI system should be intelligent enough to detect such situations so that system developers can prepare for subsequent planning. In this paper, we propose semi-supervised anomaly detection considering the imbalance of normal situations. In particular, driving data consists of… ▽ More Corner cases are the main bottlenecks when applying Artificial Intelligence (AI) systems to safety-critical applications. An AI system should be intelligent enough to detect such situations so that system developers can prepare for subsequent planning. In this paper, we propose semi-supervised anomaly detection considering the imbalance of normal situations. In particular, driving data consists of multiple positive/normal situations (e.g., right turn, going straight), some of which (e.g., U-turn) could be as rare as anomalous situations. Existing machine learning based anomaly detection approaches do not fare sufficiently well when applied to such imbalanced data. In this paper, we present a novel multi-task learning based approach that leverages domain-knowledge (maneuver labels) for anomaly detection in driving data. We evaluate the proposed approach both quantitatively and qualitatively on 150 hours of real-world driving data and show improved performance over baseline approaches. △ Less

Submitted 28 June, 2019; originally announced July 2019.

Comments: IROS 2019, 8 pages

Journal ref: 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pp. 1-8

Secure Mobile Technologies for Proactive Critical Infrastructure Situational Awareness

Authors: Gabriel Salles-Loustau, Vidyasagar Sadhu, Dario Pompili, Saman Zonouz, Vincent Sritapan

Abstract: Trustworthy operation of our national critical infrastructures, such as the electricity grid, against adversarial parties and accidental failures requires constant and secure monitoring capabilities. In this paper, Eyephone is presented to leverage secure smartphone sensing and data acquisition capabilities and enable pervasive sensing of the national critical infrastructures. The reported informa… ▽ More Trustworthy operation of our national critical infrastructures, such as the electricity grid, against adversarial parties and accidental failures requires constant and secure monitoring capabilities. In this paper, Eyephone is presented to leverage secure smartphone sensing and data acquisition capabilities and enable pervasive sensing of the national critical infrastructures. The reported information by the smartphone users will notify the control center operators about particular accidental or malicious remote critical infrastructure incidents. The reporting will be proactive regarding potentially upcoming failures given the system's current risky situation, e.g., a tree close to fall on a power grid transmission line. The information will include various modalities such as images, video, audio, time and location. Eyephone will use system-wide information flow analysis and policy enforcement to prevent user privacy violations during the incident reportings. A working proof-of-concept prototype of Eyephone is implemented. Our results show that Eyephone allows secure and effective use of smartphones for real-time situational awareness of our national critical infrastructures. △ Less

Submitted 30 June, 2019; originally announced July 2019.

Comments: 6 pages, IEEE HST 2016

Journal ref: 2016 IEEE Symposium on Technologies for Homeland Security (HST), Waltham, pp. 1-6

Towards Wireless Health Monitoring via Analog Signal Compression based Biosensing Platform

Authors: Xueyuan Zhao, Vidyasagar Sadhu, Tuan Le, Dario Pompili, Mehdi Javanmard

Abstract: Wireless all-analog biosensor design for concurrent microfluidic and physiological signal monitoring is presented in this work. The key component is an all-analog circuit capable of compressing two analog sources into one analog signal by Analog Joint Source-Channel Coding (AJSCC). Two circuit designs are discussed, including the stacked-Voltage Controlled Voltage Source (VCVS) design with the fix… ▽ More Wireless all-analog biosensor design for concurrent microfluidic and physiological signal monitoring is presented in this work. The key component is an all-analog circuit capable of compressing two analog sources into one analog signal by Analog Joint Source-Channel Coding (AJSCC). Two circuit designs are discussed, including the stacked-Voltage Controlled Voltage Source (VCVS) design with the fixed number of levels, and an improved design, which supports a flexible number of AJSCC levels. Experimental results are presented on the wireless biosensor prototype, composed of Printed Circuit Board (PCB) realizations of the stacked-VCVS design. Furthermore, circuit simulation and wireless link simulation results are presented on the improved design. Results indicate that the proposed wireless biosensor is well suited for sensing two biological signals simultaneously with high accuracy, and can be applied to a wide variety of low-power and low-cost wireless continuous health monitoring applications. △ Less

Submitted 30 June, 2019; originally announced July 2019.

Comments: 10 pages IEEE TBioCAS Journal, Special Issue on ISCAS'17

Journal ref: in IEEE Transactions on Biomedical Circuits and Systems, pp. 461-470, June 2018

Analog Signal Compression and Multiplexing Techniques for Healthcare Internet of Things

Authors: Xueyuan Zhao, Vidyasagar Sadhu, Dario Pompili

Abstract: Scalability is a major issue for Internet of Things (IoT) as the total amount of traffic data collected and/or the number of sensors deployed grow. In some IoT applications such as healthcare, power consumption is also a key design factor for the IoT devices. In this paper, a multi-signal compression and encoding method based on Analog Joint Source Channel Coding (AJSCC) is proposed that works ful… ▽ More Scalability is a major issue for Internet of Things (IoT) as the total amount of traffic data collected and/or the number of sensors deployed grow. In some IoT applications such as healthcare, power consumption is also a key design factor for the IoT devices. In this paper, a multi-signal compression and encoding method based on Analog Joint Source Channel Coding (AJSCC) is proposed that works fully in the analog domain without the need for power-hungry Analog-to-Digital Converters (ADCs). Compression is achieved by quantizing all the input signals but one. While saving power, this method can also reduce the number of devices by combining one or more sensing functionalities into a single device (called 'AJSCC device'). Apart from analog encoding, AJSCC devices communicate to an aggregator node (FPMM receiver) using a novel Frequency Position Modulation and Multiplexing (FPMM) technique. Such joint modulation and multiplexing technique presents three mayor advantages---it is robust to interference at particular frequency bands, it protects against eavesdropping, and it consumes low power due to a very low Signal-to-Noise Ratio (SNR) operating region at the receiver. Performance of the proposed multi-signal compression method and FPMM technique is evaluated via simulations in terms of Mean Square Error (MSE) and Miss Detection Rate (MDR), respectively. △ Less

Submitted 30 June, 2019; originally announced July 2019.

Comments: 9 pages, IEEE MASS 2017

Journal ref: 2017 IEEE 14th International Conference on Mobile Ad Hoc and Sensor Systems (MASS), Orlando, 2017, pp. 398-406

Relative Brauer Groups and étale cohomology

Authors: Vivek Sadhu

Abstract: In this article, we construct a natural group homomorphism $$ ψ: \text{Br}(f)\to H^{1}_{et}(S, f_{*}\mathcal{O}_{X}^{\times}/\mathcal{O}_{S}^{\times})$$ for a faithful affine map $f: X \to S$ of noetherian schemes. Here $\text{Br}(f)$ denotes the relative Brauer group of $f.$ We also discuss the behavior of Brauer groups for a subintegral map. Furthermore, we prove a relative version of Kummer's… ▽ More In this article, we construct a natural group homomorphism $$ ψ: \text{Br}(f)\to H^{1}_{et}(S, f_{*}\mathcal{O}_{X}^{\times}/\mathcal{O}_{S}^{\times})$$ for a faithful affine map $f: X \to S$ of noetherian schemes. Here $\text{Br}(f)$ denotes the relative Brauer group of $f.$ We also discuss the behavior of Brauer groups for a subintegral map. Furthermore, we prove a relative version of Kummer's exact sequence. △ Less

Submitted 2 May, 2020; v1 submitted 26 June, 2019; originally announced June 2019.

Comments: Some changes made due to referee report. Final version and accepted for publication

Argus: Smartphone-enabled Human Cooperation via Multi-Agent Reinforcement Learning for Disaster Situational Awareness

Authors: Vidyasagar Sadhu, Gabriel Salles-Loustau, Dario Pompili, Saman Zonouz, Vincent Sritapan

Abstract: Argus exploits a Multi-Agent Reinforcement Learning (MARL) framework to create a 3D mapping of the disaster scene using agents present around the incident zone to facilitate the rescue operations. The agents can be both human bystanders at the disaster scene as well as drones or robots that can assist the humans. The agents are involved in capturing the images of the scene using their smartphones… ▽ More Argus exploits a Multi-Agent Reinforcement Learning (MARL) framework to create a 3D mapping of the disaster scene using agents present around the incident zone to facilitate the rescue operations. The agents can be both human bystanders at the disaster scene as well as drones or robots that can assist the humans. The agents are involved in capturing the images of the scene using their smartphones (or on-board cameras in case of drones) as directed by the MARL algorithm. These images are used to build real time a 3D map of the disaster scene. Via both simulations and real experiments, an evaluation of the framework in terms of effectiveness in tracking random dynamicity of the environment is presented. △ Less

Submitted 28 April, 2019; originally announced June 2019.

Journal ref: 2016 IEEE International Conference on Autonomic Computing (ICAC), Wurzburg, 2016, pp. 251-256

HCFContext: Smartphone Context Inference via Sequential History-based Collaborative Filtering

Authors: Vidyasagar Sadhu, Saman Zonouz, Vincent Sritapan, Dario Pompili

Abstract: Mobile context determination is an important step for many context aware services such as location-based services, enterprise policy enforcement, building or room occupancy detection for power or HVAC operation, etc. Especially in enterprise scenarios where policies (e.g., attending a confidential meeting only when the user is in "Location X") are defined based on mobile context, it is paramount t… ▽ More Mobile context determination is an important step for many context aware services such as location-based services, enterprise policy enforcement, building or room occupancy detection for power or HVAC operation, etc. Especially in enterprise scenarios where policies (e.g., attending a confidential meeting only when the user is in "Location X") are defined based on mobile context, it is paramount to verify the accuracy of the mobile context. To this end, two stochastic models based on the theory of Hidden Markov Models (HMMs) to obtain mobile context are proposed-personalized model (HPContext) and collaborative filtering model (HCFContext). The former predicts the current context using sequential history of the user's past context observations, the latter enhances HPContext with collaborative filtering features, which enables it to predict the current context of the primary user based on the context observations of users related to the primary user, e.g., same team colleagues in company, gym friends, family members, etc. Each of the proposed models can also be used to enhance or complement the context obtained from sensors. Furthermore, since privacy is a concern in collaborative filtering, a privacy-preserving method is proposed to derive HCFContext model parameters based on the concepts of homomorphic encryption. Finally, these models are thoroughly validated on a real-life dataset. △ Less

Submitted 28 April, 2019; v1 submitted 21 April, 2019; originally announced April 2019.

Comments: Mobile context, collaborative filtering, privacy-preserving, personalized model, sensors, location, prediction, hidden markov models, google now, apple siri, cortana, alexa

ACM Class: I.2.11

Journal ref: IEEE International Conference on Pervasive Computing and Communications (PerCom), Kyoto, Japan, 2019, pp. 1-9

CollabLoc: Privacy-Preserving Multi-Modal Localization via Collaborative Information Fusion

Authors: Vidyasagar Sadhu, Dario Pompili, Saman Zonouz, Vincent Sritapan

Abstract: Mobile phones provide an excellent opportunity for building context-aware applications. In particular, location-based services are important context-aware services that are more and more used for enforcing security policies, for supporting indoor room navigation, and for providing personalized assistance. However, a major problem still remains unaddressed---the lack of solutions that work across b… ▽ More Mobile phones provide an excellent opportunity for building context-aware applications. In particular, location-based services are important context-aware services that are more and more used for enforcing security policies, for supporting indoor room navigation, and for providing personalized assistance. However, a major problem still remains unaddressed---the lack of solutions that work across buildings while not using additional infrastructure and also accounting for privacy and reliability needs. In this paper, a privacy-preserving, multi-modal, cross-building, collaborative localization platform is proposed based on Wi-Fi RSSI (existing infrastructure), Cellular RSSI, sound and light levels, that enables room-level localization as main application (though sub room level granularity is possible). The privacy is inherently built into the solution based on onion routing, and perturbation/randomization techniques, and exploits the idea of weighted collaboration to increase the reliability as well as to limit the effect of noisy devices (due to sensor noise/privacy). The proposed solution has been analyzed in terms of privacy, accuracy, optimum parameters, and other overheads on location data collected at multiple indoor and outdoor locations using an Android app. △ Less

Submitted 29 September, 2017; originally announced October 2017.

Comments: 9 pages, 26th International Conference on Computer Communication and Networks (ICCCN), Vancouver, BC, Canada, 2017, pp. 1-9

On the vanishing of Relative Negative K-theory

Authors: Vivek Sadhu

Abstract: In this article, we study the relative negative K-groups $K_{-n}(f)$ of a map $f: X \to S $ of schemes. We prove a relative version of the Weibel conjecture i.e. if $f: X \to S$ is a smooth affine map of noetherian schemes with $\dim S=d$ then $K_{-n}(f)=0$ for $n> d+1$ and the natural map $K_{-n}(f) \to K_{-n}(f \times \mathbb{A}^{r})$ is an isomorphism for all $r>0$ and $n>d.$ We also prove a va… ▽ More In this article, we study the relative negative K-groups $K_{-n}(f)$ of a map $f: X \to S $ of schemes. We prove a relative version of the Weibel conjecture i.e. if $f: X \to S$ is a smooth affine map of noetherian schemes with $\dim S=d$ then $K_{-n}(f)=0$ for $n> d+1$ and the natural map $K_{-n}(f) \to K_{-n}(f \times \mathbb{A}^{r})$ is an isomorphism for all $r>0$ and $n>d.$ We also prove a vanishing result for relative negative K-groups of a subintegral map. △ Less

Submitted 17 June, 2019; v1 submitted 31 January, 2017; originally announced January 2017.

Comments: 15 pages, Final Version, Some changes made due to referee report

Energy-efficient Analog Sensing for Large-scale, High-density Persistent Wireless Monitoring

Authors: Vidyasagar Sadhu, Xueyuan Zhao, Dario Pompili

Abstract: The research challenge of current Wireless Sensor Networks~(WSNs) is to design energy-efficient, low-cost, high-accuracy, self-healing, and scalable systems for applications such as environmental monitoring. Traditional WSNs consist of low density, power-hungry digital motes that are expensive and cannot remain functional for long periods on a single charge. In order to address these challenges, a… ▽ More The research challenge of current Wireless Sensor Networks~(WSNs) is to design energy-efficient, low-cost, high-accuracy, self-healing, and scalable systems for applications such as environmental monitoring. Traditional WSNs consist of low density, power-hungry digital motes that are expensive and cannot remain functional for long periods on a single charge. In order to address these challenges, a \textit{dumb-sensing and smart-processing} architecture that splits sensing and computation capabilities among tiers is proposed. Tier-1 consists of dumb sensors that only sense and transmit, while the nodes in Tier-2 do all the smart processing on Tier-1 sensor data. A low-power and low-cost solution for Tier-1 sensors has been proposed using Analog Joint Source Channel Coding~(AJSCC). An analog circuit that realizes the rectangular type of AJSCC has been proposed and realized on a Printed Circuit Board for feasibility analysis. A prototype consisting of three Tier-1 sensors (sensing temperature and humidity) communicating to a Tier-2 Cluster Head has been demonstrated to verify the proposed approach. Results show that our framework is indeed feasible to support large scale high density and persistent WSN deployment. △ Less

Submitted 19 January, 2017; originally announced January 2017.

Comments: IEEE/IFIP WONS 2017 13th Wireless On-demand Network systems and Services Conference, 21 - 24 February 2017, Jackson Hole, Wyoming, USA. 8 pages

Journal ref: 2017 Annual Conference on Wireless On-demand Network Systems and Services (WONS), pp. 61-68

Relative Cartier divisors and K-theory

Authors: Vivek Sadhu, Charles Weibel

Abstract: We study the relative Picard group $Pic(f)$ of a map $f:X\to S$ of schemes. If $f$ is faithful affine, it is the relative Cartier divisor group $I(f)$. The relative group $K_0(f)$ has a $γ$-filtration, and $Pic(f)$ is the top quotient for the $γ$-filtration. When $f$ is induced by a ring homomorphism $A\to B$, we show that the relative "nil" groups $NPic(f)$ and $NK_n(f)$ are continuous $W(A)$-mod… ▽ More We study the relative Picard group $Pic(f)$ of a map $f:X\to S$ of schemes. If $f$ is faithful affine, it is the relative Cartier divisor group $I(f)$. The relative group $K_0(f)$ has a $γ$-filtration, and $Pic(f)$ is the top quotient for the $γ$-filtration. When $f$ is induced by a ring homomorphism $A\to B$, we show that the relative "nil" groups $NPic(f)$ and $NK_n(f)$ are continuous $W(A)$-modules. △ Less

Submitted 20 April, 2016; originally announced April 2016.

Relative Cartier Divisors and Laurent Polynomial Extensions

Authors: Vivek Sadhu, Charles Weibel

Abstract: If $i:A\subset B$ is a commutative ring extension, we show that the group $\mathcal I(A,B)$ of invertible $A$-submodules of $B$ is contracted in the sense of Bass, with $L\mathcal I(A,B)=H^0_{et}(A,i_*\mathbb Z/\mathbb Z)$. This gives a canonical decomposition for $\mathcal I(A[t,\frac1t],B[t,\frac1t])$. If $i:A\subset B$ is a commutative ring extension, we show that the group $\mathcal I(A,B)$ of invertible $A$-submodules of $B$ is contracted in the sense of Bass, with $L\mathcal I(A,B)=H^0_{et}(A,i_*\mathbb Z/\mathbb Z)$. This gives a canonical decomposition for $\mathcal I(A[t,\frac1t],B[t,\frac1t])$. △ Less

Submitted 10 June, 2016; v1 submitted 24 July, 2015; originally announced July 2015.

Comments: Section numbers changed in v3 to agree with published version. Note that versions v1 and v2 are identical

MSC Class: 13B02; 13F45; 14C22

Subintegrality, Invertible Modules and Laurent Polynomial Extensions

Authors: Vivek Sadhu

Abstract: Let $A\subseteq B$ be a commutative ring extension. Let $\mathcal I(A, B)$ be the multiplicative group of invertible $A$-submodules of $B$. In this article, we extend a result of Sadhu and Singh by finding a necessary and sufficient condition on an integral birational extension $A\subseteq B$ of integral domains with $\dim A\leq 1$, so that the natural map… ▽ More Let $A\subseteq B$ be a commutative ring extension. Let $\mathcal I(A, B)$ be the multiplicative group of invertible $A$-submodules of $B$. In this article, we extend a result of Sadhu and Singh by finding a necessary and sufficient condition on an integral birational extension $A\subseteq B$ of integral domains with $\dim A\leq 1$, so that the natural map $\mathcal I(A,B) \rightarrow \mathcal I (A [X, X^{-1}],B [X, X^{-1}])$ is an isomorphism. In the same situation, we show that if $\dim A\geq 2$ then the condition is necessary but not sufficient. We also discuss some properties of the cokernel of the natural map $\mathcal I(A,B) \rightarrow \mathcal I (A [X, X^{-1}],B [X, X^{-1}])$ in the general case. △ Less

Submitted 31 October, 2014; v1 submitted 25 April, 2014; originally announced April 2014.

Comments: 13 pages, Some changes made due to referee report, To appear in Proc. Indian Acad. Sci. (Math. Sci)

MSC Class: 13B02; 13F45

Solution-Processable Graphene Oxide as an Efficient Hole Injection Layer for High Luminance Organic Light-Emitting Diodes

Authors: Shengwei Shi, Veera Sadhu, Reda Moubah, Guy Schmerber, Qinye Bao, S. Ravi P. Silva

Abstract: The application of solution-processable graphene oxide (GO) as hole injection layer in organic light-emitting diodes (OLEDs) is demonstrated. High luminance of over 53,000 cd m-2 is obtained at only 10 V. The results will unlock a route of applying GO in flexible OLEDs and other electrode applications. The application of solution-processable graphene oxide (GO) as hole injection layer in organic light-emitting diodes (OLEDs) is demonstrated. High luminance of over 53,000 cd m-2 is obtained at only 10 V. The results will unlock a route of applying GO in flexible OLEDs and other electrode applications. △ Less

Submitted 17 January, 2014; originally announced January 2014.

Comments: 14 pages, 3 figures, 1 table

Journal ref: J. Mater. Chem. C, 2013,1, 1708-1712