Himanshu Jain

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 42

Top Topics

Thinning Algorithm

Shape From Silhouettes

Top Venues

Publications

Himanshu Jain, Arvind Kumar Sinha
Mathematical model of mixed invasive ductal and lobular breast cancer. Netw. Model. Anal. Health Informatics Bioinform. 13 (1) (2024)
Sourav Das, Aritra Hazra, Pallab Dasgupta, Sudipta Kundu, Himanshu Jain
PURSE: Property Ordering Using Runtime Statistics for Efficient Multi - Property Verification. DATE (2024)
Thivin Anandh, Divij Ghose, Himanshu Jain, Sashikumaar Ganesan
FastVPINNs: Tensor-Driven Acceleration of VPINNs for Complex Geometries. CoRR (2024)
Ziwei Ji, Himanshu Jain, Andreas Veit, Sashank J. Reddi, Sadeep Jayasumana, Ankit Singh Rawat, Aditya Krishna Menon, Felix Yu, Sanjiv Kumar
Efficient Document Ranking with Learnable Late Interactions. CoRR (2024)
Himanshu Jain, Arvind Kumar Sinha
Modeling the effect of Wolbachia to control malaria transmission. Expert Syst. Appl. 221 (2023)
Nishant Namdev, Himanshu Jain, Arvind Kumar Sinha
Mathematical model of the tumor cells' population growth. Netw. Model. Anal. Health Informatics Bioinform. 12 (1) (2023)
Manzil Zaheer, Ankit Singh Rawat, Seungyeon Kim, Chong You, Himanshu Jain, Andreas Veit, Rob Fergus, Sanjiv Kumar
Teacher Guided Training: An Efficient Framework for Knowledge Transfer. ICLR (2023)
Ziteng Sun, Ananda Theertha Suresh, Jae Hun Ro, Ahmad Beirami, Himanshu Jain, Felix X. Yu
SpecTr: Fast Speculative Decoding via Optimal Transport. NeurIPS (2023)
Ashish Kapoor, Warren E. Ferguson, Himanshu Jain, Sudipta Kundu
Formal Verification of Floating-Point Division. ARITH (2023)
Ziteng Sun, Ananda Theertha Suresh, Jae Hun Ro, Ahmad Beirami, Himanshu Jain, Felix X. Yu
SpecTr: Fast Speculative Decoding via Optimal Transport. CoRR (2023)
Lovish Madaan, Srinadh Bhojanapalli, Himanshu Jain, Prateek Jain
Treeformer: Dense Gradient Trees for Efficient Attention Computation. ICLR (2023)
Manzil Zaheer, Ankit Singh Rawat, Seungyeon Kim, Chong You, Himanshu Jain, Andreas Veit, Rob Fergus, Sanjiv Kumar
Teacher Guided Training: An Efficient Framework for Knowledge Transfer. CoRR (2022)
Lovish Madaan, Srinadh Bhojanapalli, Himanshu Jain, Prateek Jain
Treeformer: Dense Gradient Trees for Efficient Attention Computation. CoRR (2022)
Himanshu Jain, Barry Mather, Akshay Kumar Jain, Samuel F. Baldwin
Grid-Supportive Loads - A New Approach to Increasing Renewable Energy in Power Systems. IEEE Trans. Smart Grid 13 (4) (2022)
Aditeya Baral, Himanshu Jain, Deeksha D, Mamatha H. R
MAPLE -MAsking words to generate blackout Poetry using sequence-to-sequence LEarning. ICNLSP (2021)
Srinadh Bhojanapalli, Ayan Chakrabarti, Andreas Veit, Michal Lukasik, Himanshu Jain, Frederick Liu, Yin-Wen Chang, Sanjiv Kumar
Leveraging redundancy in attention with Reuse Transformers. CoRR (2021)
Srinadh Bhojanapalli, Ayan Chakrabarti, Himanshu Jain, Sanjiv Kumar, Michal Lukasik, Andreas Veit
Eigen Analysis of Self-Attention and its Reconstruction from Partial Computation. CoRR (2021)
Kunal Dahiya, Deepak Saini, Anshul Mittal, Ankush Shaw, Kushal Dave, Akshay Soni, Himanshu Jain, Sumeet Agarwal, Manik Varma
DeepXML: A Deep Extreme Multi-Label Learning Framework Applied to Short Text Documents. CoRR (2021)
Aditya Krishna Menon, Sadeep Jayasumana, Ankit Singh Rawat, Himanshu Jain, Andreas Veit, Sanjiv Kumar
Long-tail learning via logit adjustment. ICLR (2021)
Kunal Dahiya, Deepak Saini, Anshul Mittal, Ankush Shaw, Kushal Dave, Akshay Soni, Himanshu Jain, Sumeet Agarwal, Manik Varma
DeepXML: A Deep Extreme Multi-Label Learning Framework Applied to Short Text Documents. WSDM (2021)
Pranjal Awasthi, Himanshu Jain, Ankit Singh Rawat, Aravindan Vijayaraghavan
Adversarial robustness via robust low rank representations. NeurIPS (2020)
Michal Lukasik, Himanshu Jain, Aditya Krishna Menon, Seungyeon Kim, Srinadh Bhojanapalli, Felix X. Yu, Sanjiv Kumar
Semantic Label Smoothing for Sequence to Sequence Problems. EMNLP (1) (2020)
Pranjal Awasthi, Himanshu Jain, Ankit Singh Rawat, Aravindan Vijayaraghavan
Adversarial robustness via robust low rank representations. CoRR (2020)
Michal Lukasik, Himanshu Jain, Aditya Krishna Menon, Seungyeon Kim, Srinadh Bhojanapalli, Felix X. Yu, Sanjiv Kumar
Semantic Label Smoothing for Sequence to Sequence Problems. CoRR (2020)
Aditya Krishna Menon, Sadeep Jayasumana, Ankit Singh Rawat, Himanshu Jain, Andreas Veit, Sanjiv Kumar
Long-tail learning via logit adjustment. CoRR (2020)
Himanshu Jain, Sakshi Rathore, T. P. Abdul Rahoof, Vivek Chaturvedi, Satyajit Das
Fast and Efficient Decision-Based Attack for Deep Neural Network on Edge. SiPS (2020)
Himanshu Jain, Venkatesh Balasubramanian, Bhanu Chunduri, Manik Varma
Slice: Scalable Linear Extreme Classifiers Trained on 100 Million Labels for Related Searches. WSDM (2019)
Reetam Sen Biswas, Jin Tan, Himanshu Jain, Vahan Gevorgian, Yingchen Zhang
Equivalent Test Bed in PSCAD and PSLF for Studying Advanced Power Systems Controller Performance. ISGT (2019)
Himanshu Jain, Bryan Palmintier, Dheepak Krishnamurthy, Ibrahim Krad, Elaine Hale
Evaluating the Impact of Price-Responsive Load on Power Systems Using Integrated T&D Simulation. ISGT (2019)
Himanshu Jain, Archana Praveen Kumar
A Bottom Up Procedure for Text Line Segmentation of Latin Script. CoRR (2017)
Himanshu Jain, Archana Praveen Kumar
A bottom up procedure for text line segmentation of latin script. ICACCI (2017)
Anirudh Agarwal, Himanshu Jain, Ranjan Gangopadhyay, Soumitra Debnath
Hardware implementation of k-means clustering based spectrum sensing using usrp in a cognitive radio system. ICACCI (2017)
Himanshu Jain
A Sequential Thinning Algorithm For Multi-Dimensional Binary Patterns. CoRR (2017)
Endri Dibra, Himanshu Jain, A. Cengiz Öztireli, Remo Ziegler, Markus H. Gross
Human Shape from Silhouettes Using Generative HKS Descriptors and Cross-Modal Neural Networks. CVPR (2017)
Himanshu Jain, Yashoteja Prabhu, Manik Varma
Extreme Multi-label Loss Functions for Recommendation, Tagging, Ranking & Other Missing Label Applications. KDD (2016)
Himanshu Jain, P. Radha Krishna, Kamalakar Karlapalem
Context-Aware Workflow Execution Engine for E-Contract Enactment. ER (2016)
Himanshu Jain, Kaveh Rahimi, Ahmad Tbaileh, Robert P. Broadwater, Akshay Kumar Jain, Murat Dilek
Integrated Transmission & Distribution System Modeling and Analysis: Need & Advantages. CoRR (2016)
Endri Dibra, Himanshu Jain, A. Cengiz Öztireli, Remo Ziegler, Markus H. Gross
HS-Nets: Estimating Human Body Shape from Silhouettes with Convolutional Neural Networks. 3DV (2016)
Surbhi Chhabra, Himanshu Jain, Sandeep Saini
FPGA based hardware implementation of automatic vehicle license plate detection system. ICACCI (2016)
Kush Bhatia, Himanshu Jain, Purushottam Kar, Prateek Jain, Manik Varma
Locally Non-linear Embeddings for Extreme Multi-label Learning. CoRR (2015)
Kush Bhatia, Himanshu Jain, Purushottam Kar, Manik Varma, Prateek Jain
Sparse Local Embeddings for Extreme Multi-label Classification. NIPS (2015)
Himanshu Jain, Abhineet Parchure, Robert P. Broadwater, Murat Dilek, Jeremy Woyak
Three-Phase Dynamics Simulation of Power Systems Using Combined Transmission and Distribution System Models. CoRR (2015)
Kalyanmoy Deb, Himanshu Jain
An Evolutionary Many-Objective Optimization Algorithm Using Reference-Point-Based Nondominated Sorting Approach, Part I: Solving Problems With Box Constraints. IEEE Trans. Evol. Comput. 18 (4) (2014)
Himanshu Jain, Kalyanmoy Deb
An Evolutionary Many-Objective Optimization Algorithm Using Reference-Point Based Nondominated Sorting Approach, Part II: Handling Constraints and Extending to an Adaptive Approach. IEEE Trans. Evol. Comput. 18 (4) (2014)
Himanshu Jain, Kiran Kumaraswamy, Rakesh N. Maurya
Plug-In Electric Vehicles - Distribution system impacts and high level screening methodologies for calculating costs and benefits. ISGT (2014)
Himanshu Jain, P. Radha Krishna, Kamalakar Karlapalem
e-contract enactment system for effective e-governance. ICEGOV (2013)
Himanshu Jain, Kalyanmoy Deb
An Improved Adaptive Approach for Elitist Nondominated Sorting Genetic Algorithm for Many-Objective Optimization. EMO (2013)
Himanshu Jain, Ashish Ranjan, Kshitij Gupta
Analysis of Chaos in Double Pendulum. ICETET (2013)
Kalyanmoy Deb, Himanshu Jain
Handling many-objective problems using an improved NSGA-II procedure. IEEE Congress on Evolutionary Computation (2012)
Himanshu Jain, Kalyanmoy Deb
Parent to Mean-Centric Self-Adaptation in SBX Operator for Real-Parameter Optimization. SEMCCO (1) (2011)
Himanshu Jain, Suratsavadee Korkua, Wei-Jen Lee, Chiman Kwan
Detection and Severity Classification of Rotor Imbalance Faults in Induction Machines. IAS (2010)
Landolf Rhode-Barbarigos, Himanshu Jain, Prakash Kripakaran, Ian F. C. Smith
Design of tensegrity structures using parametric analysis and stochastic search. Eng. Comput. 26 (2) (2010)
Himanshu Jain, Edmund M. Clarke, Orna Grumberg
Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations. Formal Methods Syst. Des. 35 (1) (2009)
Himanshu Jain, Edmund M. Clarke
Efficient SAT solving for non-clausal formulas using DPLL, graphs, and watched cuts. DAC (2009)
Alfred Kölbl, Reily Jacoby, Himanshu Jain, Carl Pixley
Solver technology for system-level to RTL equivalence checking. DATE (2009)
Himanshu Jain, Edmund M. Clarke, Orna Grumberg
Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations. CAV (2008)
Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke
Word-Level Predicate-Abstraction and Refinement Techniques for Verifying RTL Verilog. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27 (2) (2008)
Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke
VCEGAR: Verilog CounterExample Guided Abstraction Refinement. TACAS (2007)
Edmund M. Clarke, Himanshu Jain, Daniel Kroening
Verification of SpecC using predicate abstraction. Formal Methods Syst. Des. 30 (1) (2007)
Himanshu Jain, Constantinos Bartzis, Edmund M. Clarke
Satisfiability Checking of Non-clausal Formulas Using General Matings. SAT (2006)
Himanshu Jain, Franjo Ivancic, Aarti Gupta, Ilya Shlyakhter, Chao Wang
Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop. CAV (2006)
Edmund M. Clarke, Anubhav Gupta, Himanshu Jain, Helmut Veith
Model Checking: Back and Forth between Hardware and Software. VSTTE (2005)
Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke
Word level predicate abstraction and refinement for verifying RTL verilog. DAC (2005)
Himanshu Jain, Franjo Ivancic, Aarti Gupta, Malay K. Ganai
Localization and Register Sharing for Predicate Abstraction. TACAS (2005)
Edmund M. Clarke, Himanshu Jain, Nishant Sinha
Grand Challenge: Model Check Software. VISSAS (2005)
Himanshu Jain, Daniel Kroening, Edmund M. Clarke
Verification of SpecC using predicate abstraction. MEMOCODE (2004)