Ashutosh Gupta

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Known people with the same name:

Bibliography

2025
A Hybrid AlexNet-ShuffleNet framework for plant leaf disease detection.
Multim. Tools Appl., October, 2025

Mathematical Analysis and Topology Derivation for a Family of Novel Dual Output High-Voltage Gain Z-Source Converter for Renewable Energy Application.
Int. J. Circuit Theory Appl., 2025

Mathematical modeling and stress-aware stability analysis of a nonideal multiport Single Inductor DC-DC converter for renewable energy.
Int. J. Circuit Theory Appl., 2025

Visible Light Communication Technologies: A Review of IEEE 802.15.7 and Its Role in Next-Generation Networks.
Int. J. Commun. Syst., 2025

2024
Comparative study of different machine learning models for automatic diabetic retinopathy detection using fundus image.
Multim. Tools Appl., April, 2024

TRANS-VQA: Fully Transformer-Based Image Question-Answering Model Using Question-guided Vision Attention.
Inteligencia Artif., January, 2024

Integrating Explanations in Learning LTL Specifications from Demonstrations.
CoRR, 2024

Learning Decentralized Multi-Biped Control for Payload Transport.
Proceedings of the Conference on Robot Learning, 6-9 November 2024, Munich, Germany., 2024

Dynamic Partial Order Reduction for Transactional Programs on Serializable Platforms.
Proceedings of the Automated Technology for Verification and Analysis, 2024

2023
Design of knowledge incorporated VQA based on spatial GCNN with structured sentence embedding and linking algorithm.
J. Intell. Fuzzy Syst., December, 2023

Numerical Methodology to Reduce the Drag and Control Flow around a Cam-Shaped Cylinder Integrated with Backward Splitter Plate.
Comput., October, 2023

Optimal Stateless Model Checking for Causal Consistency.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

LTL-Based Non-Markovian Inverse Reinforcement Learning.
Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers from Duration Calculus Requirements.
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022
Optimized hybrid machine learning approach for smartphone based diabetic retinopathy detection.
Multim. Tools Appl., 2022

Optimal SMC for Transactional Programs.
CoRR, 2022

2021
Portable Smart Healthcare Approach for Earlier Stage Eye Tests for Diabetic Retinopathy Detection.
Int. J. Inf. Retr. Res., 2021

Quantitative Learning of LTL from Finite Traces.
CoRR, 2021

A formal methods approach to predicting new features of the eukaryotic vesicle traffic system.
Acta Informatica, 2021

Event-Triggered and Time-Triggered Duration Calculus for Model-Free Reinforcement Learning.
Proceedings of the 42nd IEEE Real-Time Systems Symposium, 2021

Neural Utterance Confidence Measure for RNN-Transducers and Two Pass Models.
Proceedings of the IEEE International Conference on Acoustics, 2021

Automated Inference of Production Rules for Glycans.
Proceedings of the Computational Methods in Systems Biology, 2021

Comparative Study of Different Tokenization Strategies for Streaming End-to-End ASR.
Proceedings of the IEEE Automatic Speech Recognition and Understanding Workshop, 2021

Voice to Action: Spoken Language Understanding for Memory-Constrained Systems.
Proceedings of the IEEE Automatic Speech Recognition and Understanding Workshop, 2021

HiTNet: Byte-to-BPE Hierarchical Transcription Network for End-to-End Speech Recognition.
Proceedings of the IEEE Automatic Speech Recognition and Understanding Workshop, 2021

Two-Pass End-to-End ASR Model Compression.
Proceedings of the IEEE Automatic Speech Recognition and Understanding Workshop, 2021

2020
Using Blockchain Technology for Continuing Medical Education Credits System.
Proceedings of the 2020 Seventh International Conference on Software Defined Systems, 2020

Hierarchical Multi-Stage Word-to-Grapheme Named Entity Corrector for Automatic Speech Recognition.
Proceedings of the 21st Annual Conference of the International Speech Communication Association, 2020

Robust Controller Synthesis for Duration Calculus.
Proceedings of the Automated Technology for Verification and Analysis, 2020

Tokenization of Real Estate Using Blockchain Technology.
Proceedings of the Applied Cryptography and Network Security Workshops, 2020

2019
Trend-Based Networking Driven by Big Data Telemetry for SDN and Traditional Networks.
CoRR, 2019

2018
SMT Solving for Vesicle Traffic Systems in Cells.
CoRR, 2018

High Performance Layout Analysis of Medieval European Document Images.
Proceedings of the 7th International Conference on Pattern Recognition Applications and Methods, 2018

Synthesis for Vesicle Traffic Systems.
Proceedings of the Computational Methods in Systems Biology, 2018

2017
Betweenness centrality updation and community detection in streaming graphs using incremental algorithm.
Proceedings of the 6th International Conference on Software and Computer Applications, 2017

2016
A distribution-independent risk estimator for image denoising.
Proceedings of the Tenth Indian Conference on Computer Vision, 2016

How much can a Gaussian smoother denoise?
Proceedings of the Tenth Indian Conference on Computer Vision, 2016

2014
Improvised Apriori Algorithm using frequent pattern tree for real time applications in data mining.
CoRR, 2014

Suraq - A Controller Synthesis Tool Using Uninterpreted Functions.
Proceedings of the Hardware and Software: Verification and Testing, 2014

Extensional Crisis and Proving Identity.
Proceedings of the Automated Technology for Verification and Analysis, 2014

2013
Real-Time Analytics for the Healthcare Industry: Arrhythmia Detection.
Big Data, 2013

Tree Interpolation in Vampire.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Synthesizing multiple boolean functions using interpolation on a single proof.
Proceedings of the Formal Methods in Computer-Aided Design, 2013

2012
Improved Single Pass Algorithms for Resolution Proof Reduction - (Poster Presentation).
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

Improved Single Pass Algorithms for Resolution Proof Reduction.
Proceedings of the Automated Technology for Verification and Analysis, 2012

2009
Timing Analysis of Passive UHF RFID - EPC C1G2 System in Dynamic Frame.
Proceedings of the Contemporary Computing - Second International Conference, 2009

2008
Weibull extension model: A Bayes study using Markov chain Monte Carlo simulation.
Reliab. Eng. Syst. Saf., 2008


  Loading...