default search action
Aman Kumar
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j16]Krishna Kumar
, Aman Kumar, Gaurav Saini, Mazin Abed Mohammed
Performance monitoring of kaplan turbine based hydropower plant under variable operating conditions using machine learning approach. Sustain. Comput. Informatics Syst. 42: 100958 (2024) - [c35]Jyoti Shokhanda, Aman Kumar, Utkarsh Pal, Arani Bhattacharya, Soumi Chattopadhyay:
Scheduling of Safety-Critical Tasks on Edge Devices via Reinforcement Learning. COMSNETS 2024: 306-308 - [c34]Deepak Narayan Gadde, Thomas Nalapat, Aman Kumar, Djones Lettnin, Wolfgang Kunz, Sebastian Simon:
Efficient Stimuli Generation using Reinforcement Learning in Design Verification. SMACD 2024: 1-4 - [c33]Aman Kumar, Hina Hashmi, Priya Singh, Danish Raza Rizvi:
Intelligent Surveillance Framework for Crowd Detection and Alerting 01-15. SNSFAIT 2024: 1-15 - [c32]Aman Kumar, Deepak Narayan Gadde:
Generative AI Augmented Induction-based Formal Verification. SOCC 2024: 1-2 - [i18]Aman Kumar, Khushboo Anand, Shubham Mandloi, Ashutosh Mishra, Avinash Thakur, Neeraj Kasera, Prathosh A P:
CoroNetGAN: Controlled Pruning of GANs via Hypernetworks. CoRR abs/2403.08261 (2024) - [i17]Deepak Narayan Gadde, Aman Kumar, Thomas Nalapat, Evgenii Rezunov, Fabio Cappellini:
All Artificial, Less Intelligence: GenAI through the Lens of Formal Verification. CoRR abs/2403.16750 (2024) - [i16]Aman Kumar, Mark Litterick, Samuele Candido:
Efficient Verification of a RADAR SoC Using Formal and Simulation-Based Methods. CoRR abs/2404.15371 (2024) - [i15]Aman Kumar:
Pragmatic Formal Verification of Sequential Error Detection and Correction Codes (ECCs) used in Safety-Critical Design. CoRR abs/2404.18270 (2024) - [i14]Aman Kumar, Sebastian Simon:
A Semi-Formal Verification Methodology for Efficient Configuration Coverage of Highly Configurable Digital Designs. CoRR abs/2405.01572 (2024) - [i13]Deepak Narayan Gadde, Thomas Nalapat, Aman Kumar, Djones Lettnin, Wolfgang Kunz, Sebastian Simon:
Efficient Stimuli Generation using Reinforcement Learning in Design Verification. CoRR abs/2405.19815 (2024) - [i12]Aman Kumar, Muhammad Ul Haque Khan, Bijitendra Mittra:
Pragmatic Formal Verification Methodology for Clock Domain Crossing (CDC). CoRR abs/2406.06533 (2024) - [i11]Deepak Narayan Gadde, Suruchi Kumari, Aman Kumar:
Effective Design Verification - Constrained Random with Python and Cocotb. CoRR abs/2407.10312 (2024) - [i10]Deepak Narayan Gadde, Suruchi Kumari, Aman Kumar:
Towards Efficient Design Verification - Constrained Random Verification using PyUVM. CoRR abs/2407.10317 (2024) - [i9]Aman Kumar, Deepak Narayan Gadde:
Generative AI Augmented Induction-based Formal Verification. CoRR abs/2407.18965 (2024) - [i8]Jyoti Shokhanda, Utkarsh Pal, Aman Kumar, Soumi Chattopadhyay, Arani Bhattacharya:
SafeTail: Efficient Tail Latency Optimization in Edge Service Scheduling via Computational Redundancy Management. CoRR abs/2408.17171 (2024) - [i7]Prasad Chaudhari, Aman Kumar, Chandravardhan Singh Raghaw, Mohammad Zia Ur Rehman, Nagendra Kumar:
GCM-Net: Graph-enhanced Cross-Modal Infusion with a Metaheuristic-Driven Network for Video Sentiment and Emotion Analysis. CoRR abs/2410.12828 (2024) - [i6]Deepak Narayan Gadde, Aman Kumar, Djones Lettnin, Sebastian Simon:
FuzzWiz - Fuzzing Framework for Efficient Hardware Coverage. CoRR abs/2410.17732 (2024) - [i5]Bryan Olmos, Daniel Gerl, Aman Kumar, Djones Lettnin:
Verifying Non-friendly Formal Verification Designs: Can We Start Earlier? CoRR abs/2410.18454 (2024) - 2023
- [j15]Aman Kumar
Performance prognosis of FRCM-to-concrete bond strength using ANFIS-based fuzzy algorithm. Expert Syst. Appl. 216: 119497 (2023) - [j14]Yeong Chan Lee, Sang-Hyuk Jung
ICD2Vec: Mathematical representation of diseases. J. Biomed. Informatics 141: 104361 (2023) - [j13]Aman Kumar
Lights, Camera, Metaverse!: Eliciting Intention to Use Industrial Metaverse, Organizational Agility, and Firm Performance. J. Glob. Inf. Manag. 31(8): 1-20 (2023) - [j12]B. Mohan Rao
Explainable detection of atrial fibrillation using deep convolutional neural network with UCMFB. Multim. Tools Appl. 82(26): 40683-40700 (2023) - [c31]Gaurav Verma, Sachin Pachauri, Ashish Kumar, Deepak Patel, Aman Kumar, Aman Pandey:
Smart Home Automation with Smart Security System over the Cloud. ICCCNT 2023: 1-7 - [c30]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: 1254-1263 - [c29]Xian Yeow Lee
An ensemble of convolution-based methods for fault detection using vibration signals. ICPHM 2023: 172-179 - [c28]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: 1-6 - [c27]Chandan Kumar, Aman Kumar, Salil Kashyap:
Bit Error Rate Analysis of Double IRS Assisted Communication System Under Transceiver Hardware Impairments. NCC 2023: 1-6 - [c26]Aman Kumar, Muhammad Anwar Shahid, Arunita Jaekel, Ning Zhang, Marc Kneppers:
Machine learning based detection of replay attacks in VANET. NOMS 2023: 1-6 - [i4]Xian Yeow Lee, Aman Kumar, Lasitha Vidyaratne, Aniruddha Rajendra Rao
An ensemble of convolution-based methods for fault detection using vibration signals. CoRR abs/2305.05532 (2023) - 2022
- [j11]Aman Kumar
An Optimized Neuro-Bee Algorithm Approach to Predict the FRP-Concrete Bond Strength of RC Beams. IEEE Access 10: 3790-3806 (2022) - [j10]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: 103629 (2022) - [j9]Aman Kumar
"FabNER": information extraction from manufacturing process science domain literature using named entity recognition. J. Intell. Manuf. 33(8): 2393-2407 (2022) - [j8]Kavya Sharma, B. Mohan Rao
Accurate detection of congestive heart failure using electrocardiomatrix technique. Multim. Tools Appl. 81(21): 30007-30023 (2022) - [c25]Ashutosh Mishra
Evaluating and Bench-Marking Object Detection Models for Traffic Sign and Traffic Light Datasets. ACCV (Workshops) 2022: 345-359 - [c24]Shyamal Krishna Agrawal, Shresth Gupta
Investigation of Feature Importance for Blood Pressure Estimation Using Photoplethysmogram. CVMI 2022: 259-270 - [c23]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: 5363-5394 - [c22]Aman Kumar, Manish Khare
Comparative Evaluation on Sentiment Analysis Algorithms. InterSol 2022: 119-131 - [c21]Soumya Chakravarty, Aman Kumar, Tapas Chakravarty, Arpan Pal, Rowdra Ghatak:
A Metasurface-Enabled Lens Antenna Demonstrating Electromechanical Beam-Tilting for 5G Applications. NCC 2022: 30-35 - [i3]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 abs/2203.05437 (2022) - [i2]Aman Kumar
FabKG: A Knowledge graph of Manufacturing Science domain utilizing structured and unconventional unstructured knowledge source. CoRR abs/2206.10318 (2022) - 2021
- [j7]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: 102920 (2021) - [j6]Shyam Lal
NucleiSegNet: Robust deep learning architecture for the nuclei segmentation of liver cancer histopathology images. Comput. Biol. Medicine 128: 104075 (2021) - [j5]Amit Kumar Chanchal
Efficient and robust deep learning architecture for segmentation of kidney and breast histopathology images. Comput. Electr. Eng. 92: 107177 (2021) - [j4]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: 101975 (2021) - [j3]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): 7675-7686 (2021) - [c20]Shivansh Kumar, Aman Kumar, Bharti Ruhul Amin:
Healing Blocks: Blockchain Enabled Decentralized Web Application for Securing Medical Records. FICTA (2) 2021: 279-290 - [i1]Aman Kumar, Swathi Dinakaran:
Textbook to triples: Creating knowledge graph in the form of triples from AI TextBook. CoRR abs/2111.10692 (2021) - 2020
- [j2]Noushad Bin Jamal M
Low Cycle Fatigue Life Prediction Using Unified Mechanics Theory in Ti-6Al-4V Alloys. Entropy 22(1): 24 (2020)
2010 – 2019
- 2019
- [c19]Amarjot Singh, Aman Kumar, Anisha Jain:
Bayesian Gait-Based Gender Identification (BGGI) Network on Individuals Wearing Loosely Fitted Clothing. ICCV Workshops 2019: 1828-1835 - 2017
- [c18]Hassan Alam, Aman Kumar, Manan Vyas, Tina Werner, Rachmat Hartono:
Modifying Amazon's Alexa ASR Grammar and Lexicon - A Case Study. INTERSPEECH 2017: 3439-3440 - [c17]Hassan Alam, Aman Kumar, Tina Werner, Manan Vyas:
Are Cited References Meaningful? Measuring Semantic Relatedness in Citation Analysis. BIRNDL@SIGIR (1) 2017: 113-118 - 2016
- [j1]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): 1473-1480 (2016) - [c16]Aman Kumar, Hassan Alam, Tina Werner, Manan Vyas:
Experiments in Candidate Phrase Selection for Financial Named Entity Extraction - A Demo. COLING (Demos) 2016: 45-48 - 2015
- [c15]Aman Kumar, Michael J. Cairelli, Hassan Alam, Rahul Kumar, Shweta Sheel:
Ill-formed Sentence Identification And Entity Extraction In Clinical Notes. AMIA 2015 - 2012
- [c14]Hassan Alam, Aman Kumar, Cheryl Lee, Yuliya Tarnikova:
A Pattern Recognition approach to automated XBRL extraction. CIFEr 2012: 1-8 - [c13]Laurel Hart, Hassan Alam, Aman Kumar:
Revisiting Arabic Semantic Role Labeling using SVM Kernel Methods. COLING (Demos) 2012: 207-214 - 2011
- [c12]Shinpei Kato, Karthik Lakshmanan, Aman Kumar, Mihir Kelkar, Yutaka Ishikawa, Ragunathan Rajkumar:
RGEM: A Responsive GPGPU Execution Model for Runtime Engines. RTSS 2011: 57-66 - 2010
- [c11]Ravi Bagree, Vishwas Raj Jain, Aman Kumar, Prabhat Ranjan:
TigerCENSE: Wireless Image Sensor Network to Monitor Tiger Movement. REALWSN 2010: 13-24
2000 – 2009
- 2008
- [c10]Aman Kumar, Preethi Raghavan, Jay Ramanathan, Rajiv Ramnath:
Enterprise Interaction Ontology for Change Impact Analysis of Complex Systems. APSCC 2008: 303-309 - [c9]David Vickrey, Aaron Bronzan, William Choi, Aman Kumar, Jason Turner-Maier, Arthur Wang, Daphne Koller:
Online Word Games for Semantic Data Collection. EMNLP 2008: 533-542 - [c8]Hassan Alam, Aman Kumar, Yuliya Tarnikova, David Tedjasatyawira:
Linguistic Processor Semantix for Knowledge Extraction from Natural Texts in Russian and English. IC-AI 2008: 851-854 - 2006
- [c7]Fuad Rahman
Document clustering: applications in a collaborative digital library. DRR 2006: 60670K - 2004
- [c6]Fuad Rahman
Second Guessing a Commercial 'Black Box' Classifier by an 'In House' Classifier: Serial Classifier Combination in a Speech Recognition Application. Multiple Classifier Systems 2004: 374-383 - 2003
- [c5]Hassan Alam, Aman Kumar, Mikako Nakamura, Ahmad Fuad Rezaur Rahman
Structured and Unstructured Document Summarization: Design of a Commercial Summarizer using Lexical Chains. ICDAR 2003: 1147-1152 - [c4]Hassan Alam, Rachmat Hartono, Aman Kumar, Ahmad Fuad Rezaur Rahman
Web Page Summarization for Handheld Devices: A Natural Language Approach. ICDAR 2003: 1153-1157 - 2002
- [c3]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 - [c2]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 - [c1]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: 339-347
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-03 20:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: