Aman Kumar

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 47

Top Topics

Formal Verification

Histopathology Images

Quadrature Mirror

Feature Importance

Top Venues

Multim. Tools Appl.

Biomed. Signal Process. Control.

Publications

Deepak Narayan Gadde, Aman Kumar, Thomas Nalapat, Evgenii Rezunov, Fabio Cappellini
All Artificial, Less Intelligence: GenAI through the Lens of Formal Verification. CoRR (2024)
Aman Kumar, Deepak Narayan Gadde
Generative AI Augmented Induction-based Formal Verification. CoRR (2024)
Aman Kumar, Khushboo Anand, Shubham Mandloi, Ashutosh Mishra, Avinash Thakur, Neeraj Kasera, Prathosh A P
CoroNetGAN: Controlled Pruning of GANs via Hypernetworks. CoRR (2024)
Aman Kumar, Muhammad Ul Haque Khan, Bijitendra Mittra
Pragmatic Formal Verification Methodology for Clock Domain Crossing (CDC). CoRR (2024)
Deepak Narayan Gadde, Suruchi Kumari, Aman Kumar
Effective Design Verification - Constrained Random with Python and Cocotb. CoRR (2024)
Jyoti Shokhanda, Aman Kumar, Utkarsh Pal, Arani Bhattacharya, Soumi Chattopadhyay
Scheduling of Safety-Critical Tasks on Edge Devices via Reinforcement Learning. COMSNETS (2024)
Deepak Narayan Gadde, Thomas Nalapat, Aman Kumar, Djones Lettnin, Wolfgang Kunz, Sebastian Simon
Efficient Stimuli Generation using Reinforcement Learning in Design Verification. CoRR (2024)
Aman Kumar, Sebastian Simon
A Semi-Formal Verification Methodology for Efficient Configuration Coverage of Highly Configurable Digital Designs. CoRR (2024)
Aman Kumar, Mark Litterick, Samuele Candido
Efficient Verification of a RADAR SoC Using Formal and Simulation-Based Methods. CoRR (2024)
Aman Kumar
Pragmatic Formal Verification of Sequential Error Detection and Correction Codes (ECCs) used in Safety-Critical Design. CoRR (2024)
Krishna Kumar, Aman Kumar, Gaurav Saini, Mazin Abed Mohammed, Rachna Shah, Jan Nedoma, Radek Martinek, Seifedine Kadry
Performance monitoring of kaplan turbine based hydropower plant under variable operating conditions using machine learning approach. Sustain. Comput. Informatics Syst. 42 (2024)
Deepak Narayan Gadde, Suruchi Kumari, Aman Kumar
Towards Efficient Design Verification - Constrained Random Verification using PyUVM. CoRR (2024)
Gaurav Verma, Sachin Pachauri, Ashish Kumar, Deepak Patel, Aman Kumar, Aman Pandey
Smart Home Automation with Smart Security System over the Cloud. ICCCNT (2023)
Aman Kumar, Khushboo Anand, Shubham Mandloi, Ashutosh Mishra, Avinash Thakur, Neeraj Kasera, Prathosh A P
CoroNetGAN: Controlled Pruning of GANs via Hypernetworks. ICCV (Workshops) (2023)
B. Mohan Rao, Aman Kumar
Explainable detection of atrial fibrillation using deep convolutional neural network with UCMFB. Multim. Tools Appl. 82 (26) (2023)
Aman Kumar, Harish Chandra Arora, Krishna Kumar, Harish Garg
Performance prognosis of FRCM-to-concrete bond strength using ANFIS-based fuzzy algorithm. Expert Syst. Appl. 216 (2023)
Xian Yeow Lee, Aman Kumar, Lasitha Vidyaratne, Aniruddha Rajendra Rao, Ahmed Farahat, Chetan Gupta
An ensemble of convolution-based methods for fault detection using vibration signals. CoRR (2023)
Aman Kumar, Muhammad Anwar Shahid, Arunita Jaekel, Ning Zhang, Marc Kneppers
Machine learning based detection of replay attacks in VANET. NOMS (2023)
Yeong Chan Lee, Sang-Hyuk Jung, Aman Kumar, Injeong Shim, Minku Song, Min Seo Kim, Kyunga Kim, Woojae Myung, Woong-Yang Park, Hong-Hee Won
ICD2Vec: Mathematical representation of diseases. J. Biomed. Informatics 141 (2023)
Xian Yeow Lee, Aman Kumar, Lasitha Vidyaratne, Aniruddha Rajendra Rao, Ahmed K. Farahat, Chetan Gupta
An ensemble of convolution-based methods for fault detection using vibration signals. ICPHM (2023)
Chandan Kumar, Aman Kumar, Salil Kashyap
Bit Error Rate Analysis of Double IRS Assisted Communication System Under Transceiver Hardware Impairments. NCC (2023)
Anantha Padmanabhan N. K, Aman Kumar, Varun Chitransh, Rajeev Kumar Singh, Vivek Nandan Lal, Sanjay Kumar Singh
AI-Enabled Cyber Physical System And Battery Life Estimation For Smart Grid Applications. IECON (2023)
Aman Kumar, Amit Shankar, Abhishek Behl, Brij B. Gupta, Sudha Mavuri
Lights, Camera, Metaverse!: Eliciting Intention to Use Industrial Metaverse, Organizational Agility, and Firm Performance. J. Glob. Inf. Manag. 31 (8) (2023)
Karan Singh Parmar, Aman Kumar, Uppal Kalita
ECG signal based automated hypertension detection using fourier decomposition method and cosine modulated filter banks. Biomed. Signal Process. Control. 76 (2022)
Ashutosh Mishra, Aman Kumar, Shubham Mandloi, Khushboo Anand, John Zakkam, Seeram Sowmya, Avinash Thakur
Evaluating and Bench-Marking Object Detection Models for Traffic Sign and Traffic Light Datasets. ACCV (Workshops) (2022)
Aman Kumar, Himani Shrotriya, Prachi Sahu, Raj Dabre, Ratish Puduppully, Anoop Kunchukuttan, Amogh Mishra, Mitesh M. Khapra, Pratyush Kumar
IndicNLG Suite: Multilingual Datasets for Diverse NLG Tasks in Indic Languages. CoRR (2022)
Soumya Chakravarty, Aman Kumar, Tapas Chakravarty, Arpan Pal, Rowdra Ghatak
A Metasurface-Enabled Lens Antenna Demonstrating Electromechanical Beam-Tilting for 5G Applications. NCC (2022)
Aman Kumar, Himani Shrotriya, Prachi Sahu, Amogh Mishra, Raj Dabre, Ratish Puduppully, Anoop Kunchukuttan, Mitesh M. Khapra, Pratyush Kumar
IndicNLG Benchmark: Multilingual Datasets for Diverse NLG Tasks in Indic Languages. EMNLP (2022)
Aman Kumar, Harish Chandra Arora, Mazin Abed Mohammed, Krishna Kumar, Jan Nedoma
An Optimized Neuro-Bee Algorithm Approach to Predict the FRP-Concrete Bond Strength of RC Beams. IEEE Access 10 (2022)
Kavya Sharma, B. Mohan Rao, Puneeta Marwaha, Aman Kumar
Accurate detection of congestive heart failure using electrocardiomatrix technique. Multim. Tools Appl. 81 (21) (2022)
Aman Kumar, Akshay G. Bharadwaj, Binil Starly, Collin Lynch
FabKG: A Knowledge graph of Manufacturing Science domain utilizing structured and unconventional unstructured knowledge source. CoRR (2022)
Aman Kumar, Binil Starly
"FabNER": information extraction from manufacturing process science domain literature using named entity recognition. J. Intell. Manuf. 33 (8) (2022)
Shyamal Krishna Agrawal, Shresth Gupta, Aman Kumar, Lakhindar Murmu, Anurag Singh
Investigation of Feature Importance for Blood Pressure Estimation Using Photoplethysmogram. CVMI (2022)
Aman Kumar, Manish Khare, Saurabh Tiwari
Comparative Evaluation on Sentiment Analysis Algorithms. InterSol (2022)
Samritika Thakur, Aman Kumar
X-ray and CT-scan-based automated detection and classification of covid-19 using convolutional neural networks (CNN). Biomed. Signal Process. Control. 69 (2021)
Shivansh Kumar, Aman Kumar, Bharti Ruhul Amin
Healing Blocks: Blockchain Enabled Decentralized Web Application for Securing Medical Records. FICTA (2) (2021)
Puneeta Marwaha, Ramesh Kumar Sunkaria, Aman Kumar
Suitability of multiscale entropy for complexity quantification of cardiac rhythms in chronic pathological conditions: a similarity patterns based investigation. Multim. Tools Appl. 80 (5) (2021)
Amit Kumar Chanchal, Aman Kumar, Shyam Lal, Jyoti R. Kini
Efficient and robust deep learning architecture for segmentation of kidney and breast histopathology images. Comput. Electr. Eng. 92 (2021)
Aman Kumar, Swathi Dinakaran
Textbook to triples: Creating knowledge graph in the form of triples from AI TextBook. CoRR (2021)
Shyam Lal, Devikalyan Das, Kumar Alabhya, Anirudh Kanfade, Aman Kumar, Jyoti R. Kini
NucleiSegNet: Robust deep learning architecture for the nuclei segmentation of liver cancer histopathology images. Comput. Biol. Medicine 128 (2021)
Anirudh Ashok Aatresh, Rohit Prashant Yatgiri, Amit Kumar Chanchal, Aman Kumar, Akansh Ravi, Devikalyan Das, Raghavendra BS, Shyam Lal, Jyoti R. Kini
Efficient deep learning architecture with dimension-wise pyramid pooling for nuclei segmentation of histopathology images. Comput. Medical Imaging Graph. 93 (2021)
Noushad Bin Jamal M, Aman Kumar, Chebolu Lakshmana Rao, Cemal Basaran
Low Cycle Fatigue Life Prediction Using Unified Mechanics Theory in Ti-6Al-4V Alloys. Entropy 22 (1) (2020)
Amarjot Singh, Aman Kumar, Anisha Jain
Bayesian Gait-Based Gender Identification (BGGI) Network on Individuals Wearing Loosely Fitted Clothing. ICCV Workshops (2019)
Hassan Alam, Aman Kumar, Manan Vyas, Tina Werner, Rachmat Hartono
Modifying Amazon's Alexa ASR Grammar and Lexicon - A Case Study. INTERSPEECH (2017)
Hassan Alam, Aman Kumar, Tina Werner, Manan Vyas
Are Cited References Meaningful? Measuring Semantic Relatedness in Citation Analysis. BIRNDL@SIGIR (1) (2017)
Aman Kumar, Hassan Alam, Tina Werner, Manan Vyas
Experiments in Candidate Phrase Selection for Financial Named Entity Extraction - A Demo. COLING (Demos) (2016)
Aman Kumar, Ramesh Kumar Sunkaria
Two-channel perfect reconstruction (PR) quadrature mirror filter (QMF) bank design using logarithmic window function and spline function. Signal Image Video Process. 10 (8) (2016)
Aman Kumar, Michael J. Cairelli, Hassan Alam, Rahul Kumar, Shweta Sheel
Ill-formed Sentence Identification And Entity Extraction In Clinical Notes. AMIA (2015)
Laurel Hart, Hassan Alam, Aman Kumar
Revisiting Arabic Semantic Role Labeling using SVM Kernel Methods. COLING (Demos) (2012)
Hassan Alam, Aman Kumar, Cheryl Lee, Yuliya Tarnikova
A Pattern Recognition approach to automated XBRL extraction. CIFEr (2012)
Shinpei Kato, Karthik Lakshmanan, Aman Kumar, Mihir Kelkar, Yutaka Ishikawa, Ragunathan Rajkumar
RGEM: A Responsive GPGPU Execution Model for Runtime Engines. RTSS (2011)
Ravi Bagree, Vishwas Raj Jain, Aman Kumar, Prabhat Ranjan
TigerCENSE: Wireless Image Sensor Network to Monitor Tiger Movement. REALWSN (2010)
Aman Kumar, Preethi Raghavan, Jay Ramanathan, Rajiv Ramnath
Enterprise Interaction Ontology for Change Impact Analysis of Complex Systems. APSCC (2008)
Hassan Alam, Aman Kumar, Yuliya Tarnikova, David Tedjasatyawira
Linguistic Processor Semantix for Knowledge Extraction from Natural Texts in Russian and English. IC-AI (2008)
David Vickrey, Aaron Bronzan, William Choi, Aman Kumar, Jason Turner-Maier, Arthur Wang, Daphne Koller
Online Word Games for Semantic Data Collection. EMNLP (2008)
Fuad Rahman, Aman Kumar, Yuliya Tarnikova, Hassan Alam
Document clustering: applications in a collaborative digital library. DRR (2006)
Fuad Rahman, Yuliya Tarnikova, Aman Kumar, Hassan Alam
Second Guessing a Commercial 'Black Box' Classifier by an 'In House' Classifier: Serial Classifier Combination in a Speech Recognition Application. Multiple Classifier Systems (2004)
Hassan Alam, Rachmat Hartono, Aman Kumar, Ahmad Fuad Rezaur Rahman, Yuliya Tarnikova, Che Wilcox
Web Page Summarization for Handheld Devices: A Natural Language Approach. ICDAR (2003)
Hassan Alam, Aman Kumar, Mikako Nakamura, Ahmad Fuad Rezaur Rahman, Yuliya Tarnikova, Che Wilcox
Structured and Unstructured Document Summarization: Design of a Commercial Summarizer using Lexical Chains. ICDAR (2003)
Hassan Alam, Hua Cheng, Rachmat Hartono, Aman Kumar, Paul Llido, Crystal Nakatsu, Fuad Rahman, Yuliya Tarnikova, Timotius Tjahjadi, Che Wilcox
Extending a Broad-Coverage Parser for a General NLP Toolkit. COLING (2002)
Hassan Alam, Hua Cheng, Rachmat Hartono, Aman Kumar, Paul Llido, Crystal Nakatsu, Huy Nguyen, Fuad Rahman, Yuliya Tarnikova, Timotius Tjahjadi, Che Wilcox
Automatic Semantic Grouping in a Spoken Language User Interface Toolkit. COLING (2002)
Hassan Alam, Ahmad Fuad Rezaur Rahman, Timotius Tjahjadi, Hua Cheng, Paul Llido, Aman Kumar, Rachmat Hartono, Yuliya Tarnikova, Che Wilcox
Development of Spoken Language User Interfaces: A Tool Kit Approach. SSPR/SPR (2002)