Himanshu Jain

According to our database, Himanshu Jain authored at least 56 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Mathematical model of mixed invasive ductal and lobular breast cancer.

Himanshu Jain, Arvind Kumar Sinha

Netw. Model. Anal. Health Informatics Bioinform., December, 2024

Efficient Document Ranking with Learnable Late Interactions.

Ziwei Ji, Himanshu Jain, Andreas Veit, Sashank J. Reddi, Sadeep Jayasumana, Ankit Singh Rawat, Aditya Krishna Menon, Felix Yu, Sanjiv Kumar

CoRR, 2024

FastVPINNs: Tensor-Driven Acceleration of VPINNs for Complex Geometries.

Thivin Anandh, Divij Ghose, Himanshu Jain, Sashikumaar Ganesan

CoRR, 2024

PURSE: Property Ordering Using Runtime Statistics for Efficient Multi - Property Verification.

Sourav Das, Aritra Hazra, Pallab Dasgupta, Sudipta Kundu, Himanshu Jain

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

2023

Modeling the effect of Wolbachia to control malaria transmission.

Himanshu Jain, Arvind Kumar Sinha

Expert Syst. Appl., July, 2023

Mathematical model of the tumor cells' population growth.

Nishant Namdev, Himanshu Jain, Arvind Kumar Sinha

Netw. Model. Anal. Health Informatics Bioinform., 2023

SpecTr: Fast Speculative Decoding via Optimal Transport.

Ziteng Sun, Ananda Theertha Suresh, Jae Hun Ro, Ahmad Beirami, Himanshu Jain, Felix X. Yu

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Teacher Guided Training: An Efficient Framework for Knowledge Transfer.

Manzil Zaheer, Ankit Singh Rawat, Seungyeon Kim, Chong You, Himanshu Jain, Andreas Veit, Rob Fergus, Sanjiv Kumar

Proceedings of the Eleventh International Conference on Learning Representations, 2023

Treeformer: Dense Gradient Trees for Efficient Attention Computation.

Lovish Madaan, Srinadh Bhojanapalli, Himanshu Jain, Prateek Jain

Proceedings of the Eleventh International Conference on Learning Representations, 2023

Formal Verification of Floating-Point Division.

Ashish Kapoor, Warren E. Ferguson, Himanshu Jain, Sudipta Kundu

Proceedings of the 30th IEEE Symposium on Computer Arithmetic, 2023

2022

Grid-Supportive Loads - A New Approach to Increasing Renewable Energy in Power Systems.

Himanshu Jain, Barry Mather, Akshay Kumar Jain, Samuel F. Baldwin

IEEE Trans. Smart Grid, 2022

2021

Leveraging redundancy in attention with Reuse Transformers.

Srinadh Bhojanapalli, Ayan Chakrabarti, Andreas Veit, Michal Lukasik, Himanshu Jain, Frederick Liu, Yin-Wen Chang, Sanjiv Kumar

CoRR, 2021

Eigen Analysis of Self-Attention and its Reconstruction from Partial Computation.

Srinadh Bhojanapalli, Ayan Chakrabarti, Himanshu Jain, Sanjiv Kumar, Michal Lukasik, Andreas Veit

CoRR, 2021

DeepXML: A Deep Extreme Multi-Label Learning Framework Applied to Short Text Documents.

Kunal Dahiya, Deepak Saini, Anshul Mittal, Ankush Shaw, Kushal Dave, Akshay Soni, Himanshu Jain, Sumeet Agarwal, Manik Varma

Proceedings of the WSDM '21, 2021

MAPLE -MAsking words to generate blackout Poetry using sequence-to-sequence LEarning.

Aditeya Baral, Himanshu Jain, Deeksha D, Mamatha H. R

Proceedings of the 4th International Conference on Natural Language and Speech Processing, 2021

Long-tail learning via logit adjustment.

Aditya Krishna Menon, Sadeep Jayasumana, Ankit Singh Rawat, Himanshu Jain, Andreas Veit, Sanjiv Kumar

Proceedings of the 9th International Conference on Learning Representations, 2021

2020

Fast and Efficient Decision-Based Attack for Deep Neural Network on Edge.

Himanshu Jain, Sakshi Rathore, T. P. Abdul Rahoof, Vivek Chaturvedi, Satyajit Das

Proceedings of the IEEE Workshop on Signal Processing Systems, 2020

Adversarial robustness via robust low rank representations.

Pranjal Awasthi, Himanshu Jain, Ankit Singh Rawat, Aravindan Vijayaraghavan

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Semantic Label Smoothing for Sequence to Sequence Problems.

Michal Lukasik, Himanshu Jain, Aditya Krishna Menon, Seungyeon Kim, Srinadh Bhojanapalli, Felix X. Yu, Sanjiv Kumar

Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing, 2020

2019

Slice: Scalable Linear Extreme Classifiers Trained on 100 Million Labels for Related Searches.

Himanshu Jain, Venkatesh Balasubramanian, Bhanu Chunduri, Manik Varma

Proceedings of the Twelfth ACM International Conference on Web Search and Data Mining, 2019

Evaluating the Impact of Price-Responsive Load on Power Systems Using Integrated T&D Simulation.

Himanshu Jain, Bryan Palmintier, Dheepak Krishnamurthy, Ibrahim Krad, Elaine T. Hale

Proceedings of the IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, 2019

Equivalent Test Bed in PSCAD and PSLF for Studying Advanced Power Systems Controller Performance.

Reetam Sen Biswas, Jin Tan, Himanshu Jain, Vahan Gevorgian, Yingchen Zhang

Proceedings of the IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, 2019

2017

A Sequential Thinning Algorithm For Multi-Dimensional Binary Patterns.

Himanshu Jain

CoRR, 2017

A bottom up procedure for text line segmentation of latin script.

Himanshu Jain, Archana Praveen Kumar

Proceedings of the 2017 International Conference on Advances in Computing, 2017

Hardware implementation of k-means clustering based spectrum sensing using usrp in a cognitive radio system.

Anirudh Agarwal, Himanshu Jain, Ranjan Gangopadhyay, Soumitra Debnath

Proceedings of the 2017 International Conference on Advances in Computing, 2017

Human Shape from Silhouettes Using Generative HKS Descriptors and Cross-Modal Neural Networks.

Endri Dibra, Himanshu Jain, A. Cengiz Öztireli, Remo Ziegler, Markus H. Gross

Proceedings of the 2017 IEEE Conference on Computer Vision and Pattern Recognition, 2017

2016

Integrated Transmission & Distribution System Modeling and Analysis: Need & Advantages.

Himanshu Jain, Kaveh Rahimi, Ahmad Tbaileh, Robert P. Broadwater, Akshay Kumar Jain, Murat Dilek

CoRR, 2016

Extreme Multi-label Loss Functions for Recommendation, Tagging, Ranking & Other Missing Label Applications.

Himanshu Jain, Yashoteja Prabhu, Manik Varma

Proceedings of the 22nd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2016

FPGA based hardware implementation of automatic vehicle license plate detection system.

Surbhi Chhabra, Himanshu Jain, Sandeep Saini

Proceedings of the 2016 International Conference on Advances in Computing, 2016

Context-Aware Workflow Execution Engine for E-Contract Enactment.

Himanshu Jain, P. Radha Krishna, Kamalakar Karlapalem

Proceedings of the Conceptual Modeling - 35th International Conference, 2016

HS-Nets: Estimating Human Body Shape from Silhouettes with Convolutional Neural Networks.

Endri Dibra, Himanshu Jain, A. Cengiz Öztireli, Remo Ziegler, Markus H. Gross

Proceedings of the Fourth International Conference on 3D Vision, 2016

2015

Three-Phase Dynamics Simulation of Power Systems Using Combined Transmission and Distribution System Models.

Himanshu Jain, Abhineet Parchure, Robert P. Broadwater, Murat Dilek, Jeremy Woyak

CoRR, 2015

Locally Non-linear Embeddings for Extreme Multi-label Learning.

Kush Bhatia, Himanshu Jain, Purushottam Kar, Prateek Jain, Manik Varma

CoRR, 2015

Sparse Local Embeddings for Extreme Multi-label Classification.

Kush Bhatia, Himanshu Jain, Purushottam Kar, Manik Varma, Prateek Jain

Proceedings of the Advances in Neural Information Processing Systems 28: Annual Conference on Neural Information Processing Systems 2015, 2015

2014

An Evolutionary Many-Objective Optimization Algorithm Using Reference-Point Based Nondominated Sorting Approach, Part II: Handling Constraints and Extending to an Adaptive Approach.

Himanshu Jain, Kalyanmoy Deb

IEEE Trans. Evol. Comput., 2014

An Evolutionary Many-Objective Optimization Algorithm Using Reference-Point-Based Nondominated Sorting Approach, Part I: Solving Problems With Box Constraints.

Kalyanmoy Deb, Himanshu Jain

IEEE Trans. Evol. Comput., 2014

Plug-In Electric Vehicles - Distribution system impacts and high level screening methodologies for calculating costs and benefits.

Himanshu Jain, Kiran Kumaraswamy, Rakesh N. Maurya

Proceedings of the IEEE PES Innovative Smart Grid Technologies Conference, 2014

2013

Analysis of Chaos in Double Pendulum.

Himanshu Jain, Ashish Ranjan, Kshitij Gupta

Proceedings of the 6th International Conference on Emerging Trends in Engineering and Technology, 2013

e-contract enactment system for effective e-governance.

Himanshu Jain, P. Radha Krishna, Kamalakar Karlapalem

Proceedings of the 7th International Conference on Theory and Practice of Electronic Governance, 2013

An Improved Adaptive Approach for Elitist Nondominated Sorting Genetic Algorithm for Many-Objective Optimization.

Himanshu Jain, Kalyanmoy Deb

Proceedings of the Evolutionary Multi-Criterion Optimization, 2013

2012

Handling many-objective problems using an improved NSGA-II procedure.

Kalyanmoy Deb, Himanshu Jain

Proceedings of the IEEE Congress on Evolutionary Computation, 2012

2011

Parent to Mean-Centric Self-Adaptation in SBX Operator for Real-Parameter Optimization.

Himanshu Jain, Kalyanmoy Deb

Proceedings of the Swarm, Evolutionary, and Memetic Computing, 2011

2010

Design of tensegrity structures using parametric analysis and stochastic search.

Landolf Rhode-Barbarigos, Himanshu Jain, Prakash Kripakaran, Ian F. C. Smith

Eng. Comput., 2010

Detection and Severity Classification of Rotor Imbalance Faults in Induction Machines.

Himanshu Jain, Suratsavadee Korkua, Wei-Jen Lee, Chiman Kwan

Proceedings of the Annual Meeting of the IEEE Industry Applications Society, 2010

2009

Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations.

Himanshu Jain, Edmund M. Clarke, Orna Grumberg

Formal Methods Syst. Des., 2009

Solver technology for system-level to RTL equivalence checking.

Alfred Kölbl, Reily Jacoby, Himanshu Jain, Carl Pixley

Proceedings of the Design, Automation and Test in Europe, 2009

Efficient SAT solving for non-clausal formulas using DPLL, graphs, and watched cuts.

Himanshu Jain, Edmund M. Clarke

Proceedings of the 46th Design Automation Conference, 2009

2008

Word-Level Predicate-Abstraction and Refinement Techniques for Verifying RTL Verilog.

Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008

2007

Verification of SpecC using predicate abstraction.

Edmund M. Clarke, Himanshu Jain, Daniel Kroening

Formal Methods Syst. Des., 2007

VCEGAR: Verilog CounterExample Guided Abstraction Refinement.

Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

2006

Satisfiability Checking of Non-clausal Formulas Using General Matings.

Himanshu Jain, Constantinos Bartzis, Edmund M. Clarke

Proceedings of the Theory and Applications of Satisfiability Testing, 2006

Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop.

Himanshu Jain, Franjo Ivancic, Aarti Gupta, Ilya Shlyakhter, Chao Wang

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005

Model Checking: Back and Forth between Hardware and Software.

Edmund M. Clarke, Anubhav Gupta, Himanshu Jain, Helmut Veith

Proceedings of the Verified Software: Theories, 2005

Grand Challenge: Model Check Software.

Edmund M. Clarke, Himanshu Jain, Nishant Sinha

Proceedings of the Verification of Infinite-State Systems with Applications to Security, 2005

Localization and Register Sharing for Predicate Abstraction.

Himanshu Jain, Franjo Ivancic, Aarti Gupta, Malay K. Ganai

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

Word level predicate abstraction and refinement for verifying RTL verilog.

Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke

Proceedings of the 42nd Design Automation Conference, 2005