Manish Pandey

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 20

Top Topics

Support Vector Machine

Particle Swarm Optimization Algorithm

Solving Optimization Problems

Top Venues

Expert Syst. Appl.

Appl. Soft Comput.

Biomed. Signal Process. Control.

Publications

Manish Pandey, Young-Woo Kwon
FuncMem: Reducing Cold Start Latency in Serverless Computing Through Memory Prediction and Adaptive Task Execution. SAC (2024)
Manish Pandey, Harkeerat Kaur, Sudipta Basak, Isao Echizen
Privacy-Preserving Location-Based Services: A DQN Algorithmic Perspective. AINA (4) (2024)
Kalyani Roy, Pawan Goyal, Manish Pandey
Exploring generative frameworks for product attribute value extraction. Expert Syst. Appl. 243 (2024)
Khushboo Singh, Mitul Kumar Ahirwal, Manish Pandey
Quaternary classification of emotions based on electroencephalogram signals using hybrid deep learning model. J. Ambient Intell. Humaniz. Comput. 14 (3) (2023)
Khushboo Singh, Mitul Kumar Ahirwal, Manish Pandey
Mental Health Monitoring Using Deep Learning Technique for Early-Stage Depression Detection. SN Comput. Sci. 4 (6) (2023)
Santosh Kumar Sahu, Manish Pandey
An optimal hybrid multiclass SVM for plant leaf disease detection using spatial Fuzzy C-Means model. Expert Syst. Appl. 214 (2023)
Lalit Kumar, Manish Pandey, Mitul Kumar Ahirwal
Parallel Global Best-Worst Particle Swarm Optimization Algorithm for solving optimization problems. Appl. Soft Comput. 142 (2023)
Manish Pandey, Young-Woo Kwon
Optimizing Memory Allocation in a Serverless Architecture through Function Scheduling. CCGridW (2023)
Duong Tran Anh, Manish Pandey, Varun Narayan Mishra, Kiran Kumari Singh, Kourosh Ahmadi, Saeid Janizadeh, Thanh-Hai Tran, Nguyen Thi Thuy Linh, Nguyen Mai Dang
Assessment of groundwater potential modeling using support vector machine optimization based on Bayesian multi-objective hyperparameter algorithm. Appl. Soft Comput. 132 (2023)
Khushboo Singh, Mitul Kumar Ahirwal, Manish Pandey
Subject wise data augmentation based on balancing factor for quaternary emotion recognition through hybrid deep learning model. Biomed. Signal Process. Control. 86 (Part A) (2023)
Santosh Kumar Sahu, Manish Pandey
Hybrid Xception transfer learning with crossover optimized kernel extreme learning machine for accurate plant leaf disease detection. Soft Comput. 27 (19) (2023)
Irshad Khan, Manish Pandey, Young-Woo Kwon
An earthquake alert system based on a collaborative approach using smart devices. MOBILESoft@ICSE (2021)
Manish Pandey, Breno Dantas Cruz, Minh Le, Young-Woo Kwon, Eli Tilevich
Here, There, Anywhere: Profiling-Driven Services to Tame the Heterogeneity of Edge Applications. SMDS (2021)
Romulus Costache, Alireza Arabameri, Thomas Blaschke, Quoc Bao Pham, Binh Thai Pham, Manish Pandey, Aman Arora, Nguyen Thi Thuy Linh, Iulia Costache
Flash-Flood Potential Mapping Using Deep Learning, Alternating Decision Trees and Data Provided by Remote Sensing Sensors. Sensors 21 (1) (2021)
Raviv Gal, David Z. Pan, Haoxing Ren, Manish Pandey, Marilyn Wolf, Avi Ziv
ML for CAD - Where is the Treasure Hiding? MLCAD (2020)
Sina J. Semnani, Manish Pandey
Revisiting the Open-Domain Question Answering Pipeline. CoRR (2020)
Manish Pandey, Rituparna Datta, Rajarshi Dey, Bishakh Bhattacharya
Multi-objective Optimisation of Dynamic Responses for a Rail Freight Wagon using Regression Models. ICCI*CC (2019)
Manish Pandey
Machine learning and systems for building the next generation of EDA tools. ASP-DAC (2018)
Manish Pandey, P. K. Sharma
Remote sensing and GIS based watershed prioritization. IGARSS (2017)
Manish Pandey
Machine learning and systems for the next frontier in formal verification. FMCAD (2016)
Tao Feng, Li-C. Wang, Kwang-Ting Cheng, Manish Pandey, Magdy S. Abadir
Enhanced symbolic simulation for efficient verification of embedded array systems. ASP-DAC (2003)
Li-C. Wang, Tao Feng, Kwang-Ting (Tim) Cheng, Magdy S. Abadir, Manish Pandey
Enhanced Symbolic Simulation for Functional Verification of Embedded Array Systems. Des. Autom. Embed. Syst. 8 (2-3) (2003)
Manish Pandey, Randal E. Bryant
Exploiting symmetry when verifying transistor-level circuits by symbolic trajectory evaluation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 18 (7) (1999)
Manish Pandey, Randal E. Bryant
Exploiting Symmetry When Verifying Transitor-Level Circuits by Symbolic Trajectory Evaluation. CAV (1997)
Manish Pandey, Richard Raimi, Randal E. Bryant, Magdy S. Abadir
Formal Verification of Content Addressable Memories Using Symbolic Trajectory Evaluation. DAC (1997)
Neeta Ganguly, Magdy S. Abadir, Manish Pandey
Array Verification Methodology using Formal Techniques. ITC (1996)
Manish Pandey, Richard Raimi, Derek L. Beatty, Randal E. Bryant
Formal Verification of PowerPC Arrays Using Symbolic Trajectory Evaluation. DAC (1996)
Manish Pandey, Alok Jain, Randal E. Bryant, Derek L. Beatty, Gary York, Samir Jain
Extraction of finite state machines from transistor netlists by symbolic simulation. ICCD (1995)