Manish Pandey - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 32 from 32

2025

Assessment of forest cover dynamics for the detection of deforestation in the Hindu Kush Himalayan region using geospatial and machine learning approachesLaxmi Gupta, Jagabandhu Dixit, Prem Chandra Pandey, Manish Pandey. esi, 18(1):160, January 2025. [doi]

Filling gaps in MODIS NDVI data using hybrid multiple imputation-Machine learning and DINCAE techniques: Case study of the State of HawaiiThi-Thanh-Hai Tran, Sayed M. Bateni, Hamid Mohebzadeh, Changhyun Jun 0001, Manish Pandey, Dongkyun Kim. aes, 201:103856, 2025. [doi]

2024

Decentralized big data mining: federated learning for clustering youth tobacco use in IndiaRahul Haripriya, Nilay Khare, Manish Pandey, Sreemoyee Biswas. jbd, 11(1):179, December 2024. [doi]

Enhancing Location Privacy Through Prioritized Experience Replay in Deep Q-NetworksManish Pandey, Harkeerat Kaur, Isao Echizen. SMC 2024: 354-360 [doi]

Privacy-Preserving Location-Based Services: A DQN Algorithmic PerspectiveManish Pandey, Harkeerat Kaur, Sudipta Basak, Isao Echizen. aina 2024: 384-399 [doi]

FuncMem: Reducing Cold Start Latency in Serverless Computing Through Memory Prediction and Adaptive Task ExecutionManish Pandey, Young-Woo Kwon 0001. SAC 2024: 131-138 [doi]

Exploring generative frameworks for product attribute value extractionKalyani Roy, Pawan Goyal 0002, Manish Pandey. eswa, 243:122850, 2024. [doi]

Connectivity of random graphs after centrality-based vertex removalRemco van der Hofstad, Manish Pandey. jap, 61(3):967-998, 2024. [doi]

2023

Assessment of groundwater potential modeling using support vector machine optimization based on Bayesian multi-objective hyperparameter algorithmDuong Tran Anh, Manish Pandey, Varun Narayan Mishra, Kiran Kumari Singh, Kourosh Ahmadi, Saeid Janizadeh, Thanh-Hai Tran 0001, Nguyen Thi Thuy Linh, Nguyen Mai Dang. asc, 132:109848, 2023. [doi]

Parallel Global Best-Worst Particle Swarm Optimization Algorithm for solving optimization problemsLalit Kumar, Manish Pandey, Mitul Kumar Ahirwal. asc, 142:110329, 2023. [doi]

Optimizing Memory Allocation in a Serverless Architecture through Function SchedulingManish Pandey, Young-Woo Kwon 0001. ccgrid 2023: 275-277 [doi]

An optimal hybrid multiclass SVM for plant leaf disease detection using spatial Fuzzy C-Means modelSantosh Kumar Sahu, Manish Pandey. eswa, 214:118989, 2023. [doi]

Hybrid Xception transfer learning with crossover optimized kernel extreme learning machine for accurate plant leaf disease detectionSantosh Kumar Sahu, Manish Pandey. soco, 27(19):13797-13811, October 2023. [doi]

Subject wise data augmentation based on balancing factor for quaternary emotion recognition through hybrid deep learning modelKhushboo Singh, Mitul Kumar Ahirwal, Manish Pandey. bspc, 86(Part A):105075, September 2023. [doi]

Mental Health Monitoring Using Deep Learning Technique for Early-Stage Depression DetectionKhushboo Singh, Mitul Kumar Ahirwal, Manish Pandey. sncs, 4(6):701, November 2023. [doi]

Quaternary classification of emotions based on electroencephalogram signals using hybrid deep learning modelKhushboo Singh, Mitul Kumar Ahirwal, Manish Pandey. jaihc, 14(3):2429-2441, March 2023. [doi]

2021

2020

ML for CAD - Where is the Treasure Hiding?Raviv Gal, David Z. Pan, Haoxing Ren, Manish Pandey, Marilyn Wolf, Avi Ziv. mlcad 2020: 137 [doi]

2019

Multi-objective Optimisation of Dynamic Responses for a Rail Freight Wagon using Regression ModelsManish Pandey, Rituparna Datta, Rajarshi Dey, Bishakh Bhattacharya. IEEEicci 2019: 361-365 [doi]

2018

Machine learning and systems for building the next generation of EDA toolsManish Pandey. aspdac 2018: 411-415 [doi]

2017

Remote sensing and GIS based watershed prioritizationManish Pandey, P. K. Sharma. igarss 2017: 6182-6185 [doi]

2016

Machine learning and systems for the next frontier in formal verificationManish Pandey. FMCAD 2016: 4 [doi]

2003

Enhanced symbolic simulation for efficient verification of embedded array systemsTao Feng, Li-C. Wang, Kwang-Ting Cheng, Manish Pandey, Magdy S. Abadir. aspdac 2003: 302-307 [doi]

Enhanced Symbolic Simulation for Functional Verification of Embedded Array SystemsLi-C. Wang, Tao Feng, Kwang-Ting (Tim) Cheng, Magdy S. Abadir, Manish Pandey. dafes, 8(2-3):173-188, 2003. [doi]

1999

Exploiting symmetry when verifying transistor-level circuits by symbolic trajectory evaluationManish Pandey, Randal E. Bryant. tcad, 18(7):918-935, 1999. [doi]

1997

Formal Verification of Content Addressable Memories Using Symbolic Trajectory EvaluationManish Pandey, Richard Raimi, Randal E. Bryant, Magdy S. Abadir. dac 1997: 167-172 [doi]

Exploiting Symmetry When Verifying Transitor-Level Circuits by Symbolic Trajectory EvaluationManish Pandey, Randal E. Bryant. cav 1997: 244-255

1996

PowerPC:::TM::: Array Verification Methodology using Formal TechniquesNeeta Ganguly, Magdy S. Abadir, Manish Pandey. itc 1996: 857-864

Formal Verification of PowerPC Arrays Using Symbolic Trajectory EvaluationManish Pandey, Richard Raimi, Derek L. Beatty, Randal E. Bryant. dac 1996: 649-654 [doi]

1995

Extraction of finite state machines from transistor netlists by symbolic simulationManish Pandey, Alok Jain, Randal E. Bryant, Derek L. Beatty, Gary York, Samir Jain. iccd 1995: 596-601 [doi]

Sign in or sign up to see more results.

runs on WebDSL