-
Perturbative methods for mostly monotonic probabilistic satisfiability problems
Authors:
Stephen Eubank,
Madhurima Nath,
Yihui Ren,
Abhijin Adiga
Abstract:
The probabilistic satisfiability of a logical expression is a fundamental concept known as the partition function in statistical physics and field theory, an evaluation of a related graph's Tutte polynomial in mathematics, and the Moore-Shannon network reliability of that graph in engineering. It is the crucial element for decision-making under uncertainty. Not surprisingly, it is provably hard to…
▽ More
The probabilistic satisfiability of a logical expression is a fundamental concept known as the partition function in statistical physics and field theory, an evaluation of a related graph's Tutte polynomial in mathematics, and the Moore-Shannon network reliability of that graph in engineering. It is the crucial element for decision-making under uncertainty. Not surprisingly, it is provably hard to compute exactly or even to approximate. Many of these applications are concerned only with a subset of problems for which the solutions are monotonic functions. Here we extend the weak- and strong-coupling methods of statistical physics to heterogeneous satisfiability problems and introduce a novel approach to constructing lower and upper bounds on the approximation error for monotonic problems. These bounds combine information from both perturbative analyses to produce bounds that are tight in the sense that they are saturated by some problem instance that is compatible with all the information contained in either approximation.
△ Less
Submitted 7 June, 2022;
originally announced June 2022.
-
SCMCI: Secured Click and Mortar Commercial Interaction
Authors:
Mausumi Das Nath,
Tapalina Bhattasali
Abstract:
The wide spread of click-and-mortar model offers an opportunity to consider a universal commercial interaction method. However, issues like privacy protection resist the widespread acceptance. Traditional SET and SSL protocols are designed using Public Key Infrastructure (PKI) where extensive computations are carried out. Our aim is here to design a protocol to secure any type of commercial intera…
▽ More
The wide spread of click-and-mortar model offers an opportunity to consider a universal commercial interaction method. However, issues like privacy protection resist the widespread acceptance. Traditional SET and SSL protocols are designed using Public Key Infrastructure (PKI) where extensive computations are carried out. Our aim is here to design a protocol to secure any type of commercial interaction for online platform, which also considers mobile platform. Therefore, our focus is on reducing heavy computations and making the overall procedure faster. A Secured Click and Mortar Commercial Interaction (SCMCI) protocol is proposed here to improve the performance of the commercial interaction procedure through replacing time consuming public key encryption and decryption algorithms by hybrid logic including the use of symmetric key. Comparative analysis has been done with traditional SET protocol using cryptool to prove the efficiency of the protocol.
△ Less
Submitted 5 December, 2021;
originally announced December 2021.
-
Toxicity Detection in Drug Candidates using Simplified Molecular-Input Line-Entry System
Authors:
Mriganka Nath,
Subhasish Goswami
Abstract:
The need for analysis of toxicity in new drug candidates and the requirement of doing it fast have asked the consideration of scientists towards the use of artificial intelligence tools to examine toxicity levels and to develop models to a degree where they can be used commercially to measure toxicity levels efficiently in upcoming drugs. Artificial Intelligence based models can be used to predict…
▽ More
The need for analysis of toxicity in new drug candidates and the requirement of doing it fast have asked the consideration of scientists towards the use of artificial intelligence tools to examine toxicity levels and to develop models to a degree where they can be used commercially to measure toxicity levels efficiently in upcoming drugs. Artificial Intelligence based models can be used to predict the toxic nature of a chemical using Quantitative Structure Activity Relationship techniques. Convolutional Neural Network models have demonstrated great outcomes in predicting the qualitative analysis of chemicals in order to determine the toxicity. This paper goes for the study of Simplified Molecular Input Line-Entry System (SMILES) as a parameter to develop Long short term memory (LSTM) based models in order to examine the toxicity of a molecule and the degree to which the need can be fulfilled for practical use alongside its future outlooks for the purpose of real world applications.
△ Less
Submitted 21 January, 2021;
originally announced January 2021.
-
BioPhysical Modeling, Characterization and Optimization of Electro-Quasistatic Human Body Communication
Authors:
Shovan Maity,
Mingxuan He,
Mayukh Nath,
Debayan Das,
Baibhab Chatterjee,
Shreyas Sen
Abstract:
Human Body Communication (HBC) has emerged as an alternative to radio wave communication for connecting low power, miniaturized wearable and implantable devices in, on and around the human body which uses the human body as the communication channel. Previous studies characterizing the human body channel has reported widely varying channel response much of which has been attributed to the variation…
▽ More
Human Body Communication (HBC) has emerged as an alternative to radio wave communication for connecting low power, miniaturized wearable and implantable devices in, on and around the human body which uses the human body as the communication channel. Previous studies characterizing the human body channel has reported widely varying channel response much of which has been attributed to the variation in measurement setup. This calls for the development of a unifying bio physical model of HBC supported by in depth analysis and an understanding of the effect of excitation, termination modality on HBC measurements. This paper characterizes the human body channel up to 1MHz frequency to evaluate it as a medium for broadband communication. A lumped bio physical model of HBC is developed, supported by experimental validations that provides insight into some of the key discrepancies found in previous studies. Voltage loss measurements are carried out both with an oscilloscope and a miniaturized wearable prototype to capture the effects of non common ground. Results show that the channel loss is strongly dependent on the termination impedance at the receiver end, with up to 4dB variation in average loss for different termination in an oscilloscope and an additional 9 dB channel loss with wearable prototype compared to an oscilloscope measurement. The measured channel response with capacitive termination reduces low frequency loss and allows flat band transfer function down to 13 KHz, establishing the human body as a broadband communication channel. Analysis of the measured results and the simulation model shows that (1) high impedance (2) capacitive termination should be used at the receiver end for accurate voltage mode loss measurements of the HBC channel at low frequencies.
△ Less
Submitted 14 May, 2018;
originally announced May 2018.
-
From Network Reliability to the Ising Model: A Parallel Scheme for Estimating the Joint Density of States
Authors:
Yihui Ren,
Stephen Eubank,
Madhurima Nath
Abstract:
Network reliability is the probability that a dynamical system composed of discrete elements interacting on a network will be found in a configuration that satisfies a particular property. We introduce a new reliability property, Ising feasibility, for which the network reliability is the Ising model s partition function. As shown by Moore and Shannon, the network reliability can be separated into…
▽ More
Network reliability is the probability that a dynamical system composed of discrete elements interacting on a network will be found in a configuration that satisfies a particular property. We introduce a new reliability property, Ising feasibility, for which the network reliability is the Ising model s partition function. As shown by Moore and Shannon, the network reliability can be separated into two factors: structural, solely determined by the network topology, and dynamical, determined by the underlying dynamics. In this case, the structural factor is known as the joint density of states. Using methods developed to approximate the structural factor for other reliability properties, we simulate the joint density of states, yielding an approximation for the partition function. Based on a detailed examination of why naive Monte Carlo sampling gives a poor approximation, we introduce a novel parallel scheme for estimating the joint density of states using a Markov chain Monte Carlo method with a spin exchange random walk. This parallel scheme makes simulating the Ising model in the presence of an external field practical on small computer clusters for networks with arbitrary topology with 10 to 6 energy levels and more than 10 to 308 microstates.
△ Less
Submitted 18 October, 2016;
originally announced October 2016.
