arXiv subjects

Mukesh Tiwari

Publications and source records attributed to Mukesh Tiwari.

7 recordsLinked to original sources

arXiv2024

Shifting Cryptocurrency Influence: A High-Resolution Network Analysis of Market Leaders

Over the last decade, the cryptocurrency market has experienced unprecedented growth, emerging as a prominent financial market. As this market rapidly evolves, it necessitates re-evaluating which cryptocurrencies command the market and steer the direction of blockchain technology. We implement a network-based cryptocurrency market analysis to investigate this changing landscape. We use novel hourly-resolution data and Kendall's Tau correlation to explore the interconnectedness of the cryptocurrency market. We observed critical differences in the hierarchy of cryptocurrencies determined by our method compared to rankings derived from daily data and Pearson's correlation. This divergence emphasizes the potential information loss stemming from daily data aggregation and highlights the limitations of Pearson's correlation. Our findings show that in the early stages of this growth, Bitcoin held a leading role. However, during the 2021 bull run, the landscape changed drastically. We see that while Ethereum has emerged as the overall leader, it was FTT and its associated exchange, FTX, that greatly led to the increase at the beginning of the bull run. We also find that highly-influential cryptocurrencies are increasingly gaining a commanding influence over the market as time progresses, despite the growing number of cryptocurrencies making up the market.

q-fin.ST↗

arXiv2023

Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications (Extended Version)

We consider the problem of specifying and proving the security of non-trivial, concurrent programs that intentionally leak information. We present a method that decomposes the problem into (a) proving that the program only leaks information it has declassified via assume annotations already widely used in deductive program verification; and (b) auditing the declassifications against a declarative security policy. We show how condition (a) can be enforced by an extension of the existing program logic SecCSL, and how (b) can be checked by proving a set of simple entailments. Part of the challenge is to define respective semantic soundness criteria and to formally connect these to the logic rules and policy audit. We support our methodology in an auto-active program verifier, which we apply to verify the implementations of various case study programs against a range of declassification policies.

cs.CR↗

arXiv2018

Energy Exchange Calculations in a Simple Mechanical System to Investigate the Origin of Friction

The microscopic origin of friction is an important topic in science and technology. To date, noteworthy aspects of it remain unsolved. In an effort to shed some light on the possible mechanisms that could give rise to the macroscopic emergence of friction, a simple 1Dd system of two particles is considered, one of them free but moving with an initial velocity, and the other confined by a harmonic potential. The two particles interact via a repulsive Gaussian potential. While it represents in a straightforward manner a tip substrate system in the real world, no analytical solutions can be found for its motion. Because of the interaction, the free particle (tip) may overcome the bound particle (substrate) losing part of its kinetic energy. We solve the Newton's equations of the two particles numerically and calculate the net exchange of energy in the asymptotic state in terms of the relevant parameters of the problem. The effective dissipation that emerges from this simple, classical model with no ad hoc terms shows, surprisingly, a range of rich, non-trivial, behavior. We give theoretical reasoning which provides a satisfactory qualitative description. The essential ingredient of that reasoning is that the transfer of energy from the incoming particle to the confined one can be regarded as the source of the emergent dissipation force, the friction experienced by the incoming particle.

cond-mat.mes-hall↗

arXiv2014

Feature Extraction of ECG Signal Using HHT Algorithm

This paper describe the features extraction algorithm for electrocardiogram (ECG) signal using Huang Hilbert Transform and Wavelet Transform. ECG signal for an individual human being is different due to unique heart structure. The purpose of feature extraction of ECG signal would allow successful abnormality detection and efficient prognosis due to heart disorder. Some major important features will be extracted from ECG signals such as amplitude, duration, pre-gradient, post-gradient and so on. Therefore, we need a strong mathematical model to extract such useful parameter. Here an adaptive mathematical analysis model is Hilbert-Huang transform (HHT). This new approach, the Hilbert-Huang transform, is implemented to analyze the non-linear and nonstationary data. It is unique and different from the existing methods of data analysis and does not require an a priori functional basis. The effectiveness of the proposed scheme is verified through the simulation.

cs.CV↗

arXiv2010

Reduction in iron losses in Indirect Vector-Controlled IM Drive using FLC

This paper describes the use of fuzzy logic controller for efficiency optimization control of a drive while keeping good dynamic response. At steady-state light-load condition, the fuzzy controller adaptively adjusts the excitation current with respect to the torque current to give the minimum total copper and iron loss. The measured input power such that, for a given load torque and speed, the drive settles down to the minimum input power, i.e., operates at maximum efficiency. The low-frequency pulsating torque due to decrementation of flux is compensated in a feed forward manner. If the load torque or speed commands changes, the efficiency search algorithm is abandoned and the rated flux is established to get the best dynamic response. The drive system with the proposed efficiency optimization controller has been simulated with lossy models of converter and machine, and its performance has been thoroughly investigated.

cs.OH↗

arXiv2010

Fuzzy Logic of Speed and Steering Control System for Three Dimensional Line Following of an Autonomous Vehicle

... This paper is to describe exploratory research on the design of a modular autonomous mobile robot controller. The controller incorporates a fuzzy logic [8] [9] approach for steering and speed control [37], a FL approach for ultrasound sensing and an overall expert system for guidance. The advantages of a modular system are related to portability and transportability, i.e. any vehicle can become autonomous with minimal modifications. A mobile robot test bed has been constructed in university of Cincinnati using a golf cart base. This cart has full speed control with guidance provided by a vision system and obstacle avoidance using ultrasonic sensors. The speed and steering fuzzy logic controller is supervised through a multi-axis motion controller. The obstacle avoidance system is based on a microcontroller interfaced with ultrasonic transducers. This micro-controller independently handles all timing and distance calculations and sends distance information back to the fuzzy logic controller via the serial line. This design yields a portable independent system in which high speed computer communication is not necessary. Vision guidance has been accomplished with the use of CCD cameras judging the current position of the robot.[34] [35][36] It will be generating a good image for reducing an uncertain wrong command from ground coordinate to tackle the parameter uncertainties of the system, and to obtain good WMR dynamic response.[1] Here we Apply 3D line following mythology. It transforms from 3D to 2D and also maps the image coordinates and vice versa, leading to the improved accuracy of the WMR position. ...

cs.RO↗

arXiv2004

Supersolid Phase in Helium-4

The probable observation of a supersolid helium phase was recently reported by Kim {\it et al}. In this article, we confirm their speculation. Based on a theoretical model for solid helium-4, we show that the emergence of such a phase is inevitable. This is the first instance of Bose-Einstein condensation (BEC) in a solid. We calculate the BEC transition temperature ($T_c$) and the Landau critical velocity ($v_c$) from the model, which respectively are 215 mK and $251 μ\rm{ms^{-1}}$. They are in excellent agreement with the experimental results; $T_c=$175 mK and $v_c \leq 300 μ\rm{ms^{-1}}$. We also prove that our model possesses the necessary and sufficient condition for the emergence of supersolidity. We briefly comment about similar behaviour in $^3$He.

cond-mat.other↗