Gaurav Singh

Sandeep K. Shukla, Gaurav Singh, S. Shukla, 2006, Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings..

Improving keyphrase extraction by using document topic information

Gaurav Singh, Anirvana Mishra, 2011, 2011 IEEE International Conference on Granular Computing.

Heuristics for Power Savings

Sandeep K. Shukla, Gaurav Singh, 2010 .

Industrial Strength Distributed Explicit State Model Checking

Gaurav Singh, Flavio M. de Paula, John Erickson, 2010, 2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology.

Verifying Compiler Based Refinement of BluespecTM

Sandeep K. Shukla, Gaurav Singh, 2008, SPIN.

A resource constrained scheduling problem with multiple independent producers and a single linking constraint: A coal supply chain example

Gaurav Singh, Jayendran Venkateswaran, Mohan Krishnamoorthy, 2014, Eur. J. Oper. Res..

Implementation of Traditional and Non-Traditional Optimization Algorithms for Heat Exchanger Design

Gaurav Singh, 2013 .

Implementation of Travelling Salesman Problem Using ant Colony Optimization

Gaurav Singh, Sapna Katiyar, Rashi Mehta, 2014 .

Real Time Multiple Face Detection Algorithm based on Minimum Facial Features

Gaurav Singh, Mohit Jain, Kishore Sethy, 2016 .

Complexity of Scheduling in Synthesizing Hardware from Concurrent Action Oriented Specifications

Sandeep K. Shukla, S. S. Ravi, Gaurav Singh, 2007, Power-aware Computing Systems.

Low-Power Problem Formalization

Sandeep K. Shukla, Gaurav Singh, 2010 .

Algorithms for low power hardware synthesis from Concurrent Action Oriented Specifications (CAOS)

Sandeep K. Shukla, Gaurav Singh, S. Shukla, 2007, Int. J. Embed. Syst..

Smart Data Encryption And Transfer : Steganographic tool for hiding data A JAVA based open source application program

Gaurav Singh, Ashish Singh, K. Jayamalini, 2016 .

Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications

Sandeep K. Shukla, Gaurav Singh, 2010 .

Exact approaches for the orderly colored longest path problem: Performance comparison

Giovanni Felici, Gaurav Singh, Raffaele Cerulli, 2019, Comput. Oper. Res..

A novel approach to keyphrase extraction using augmented transition networks and statistical tools

Gaurav Singh, Anirvana Mishra, Akshay Bahl, 2011, Bangalore Compute Conf..

Faster Convergence & Generalization in DNNs pdf

Gaurav Singh, John Shawe-Taylor, 2018, ArXiv.

Relation Extraction using Explicit Context Conditioning pdf

Parminder Bhatia, Gaurav Singh, Gaurav Singh, 2019, NAACL.

Parallel ant colony optimization for resource constrained job scheduling

Andreas T. Ernst, Gaurav Singh, Dhananjay R. Thiruvady, 2016, Ann. Oper. Res..

Industrial strength refinement checking

Gaurav Singh, John Erickson, Jesse D. Bingham, 2009, 2009 Formal Methods in Computer-Aided Design.

A New Method of Scheduling UET Tasks on Parallel Machines

Gaurav Singh, René Weiskircher, Yakov Zinder, 2006, IMECS.

Medium-term rail planning at Rio Tinto Iron Ore

Andreas T. Ernst, Gaurav Singh, Palitha Welgama, 2011 .

Fault‐ and Defect‐Tolerant Architectures for Nanocomputing

Sandeep K. Shukla, Gaurav Singh, D. Bhaduri, 2009 .

Scheduling Partially Ordered UET Tasks on Dedicated Machines

Gaurav Singh, Julia Memar, Yakov Zinder, 2013, MIM.

Time aggregation for network design to meet time-constrained demand

Andreas T. Ernst, Martin W. P. Savelsbergh, Gaurav Singh, 2013 .

2B4 PREEMPTIVE SCHEDULING ON PARALLEL PROCESSORS WITH DUE DATES(Technical session 2B : Combinatorics 1) :

Gaurav Singh, Yakov Zinder, 2004 .

Lagrangian Particle Swarm Optimization for a resource constrained machine scheduling problem

Andreas T. Ernst, Gaurav Singh, Gaurav Singh, 2012, 2012 IEEE Congress on Evolutionary Computation.

Dynamic Power Optimizations

Sandeep K. Shukla, Gaurav Singh, 2010 .

DESING AND FABRICATION METAL AND NON-METAL SEPERATING MACHINE

Gaurav Singh, Amit Singh, Prateekshit Tamta, 2018 .

Scheduling UET-UCT tasks: branch-and-bound search in the priority space

Gaurav Singh, Yakov Zinder, Bo Su, 2010 .

An overview of the competitive and adversarial approaches to designing dynamic power management strategies

Sandy Irani, Sandeep K. Shukla, Gaurav Singh, 2005, IEEE Transactions on Very Large Scale Integration (VLSI) Systems.

A mixed integer programming model for long term capacity expansion planning: A case study from The Hunter Valley Coal Chain

Andreas T. Ernst, Gaurav Singh, Palitha Welgama, 2012, Eur. J. Oper. Res..

Resource constraint scheduling with a fractional shared resource

Andreas T. Ernst, Gaurav Singh, 2011, Oper. Res. Lett..

Secure Multi-party Collaboration Systems in Supply Chain Management

Dongxi Liu, Chen Wang, Gaurav Singh, 2011, LISS.

Mathematical models for the berth allocation problem in dry bulk terminals

Andreas T. Ernst, Gaurav Singh, Ceyda Oguz, 2017, J. Sched..

Parameter estimation and modeling of a pneumatic continuum manipulator with asymmetric building blocks

Gaurav Singh, Girish Krishnan, Naveen Kumar Uppalapati, 2018, 2018 IEEE International Conference on Soft Robotics (RoboSoft).

Smart Parking System using IoT

Gaurav Singh, Ashutosh Kumar Singh, Amit Singh, 2019, International Journal of Engineering and Advanced Technology.

Optimization and Verification Techniques for Hardware Synthesis from Concurrent Action-Oriented Specifications

Gaurav Singh, Gaurav Singh, 2008 .

Rail schedule optimisation in the hunter valley coal chain

Andreas T. Ernst, Gaurav Singh, David Sier, 2015, RAIRO Oper. Res..

An integrated model for the transshipment yard scheduling problem

Gaurav Singh, Jacek Blazewicz, Erwin Pesch, 2017, J. Sched..

Model Checking Bluespec Specified Hardware Designs

Sandeep K. Shukla, Gaurav Singh, 2007, 2007 Eighth International Workshop on Microprocessor Test and Verification.

A 20bit continuous-time ΣΔ modulator with a Gm-C integrator, 120dB CMRR and 15 ppm INL

Kofi A. A. Makinwa, Gaurav Singh, Rong Wu, 2012, 2012 Proceedings of the ESSCIRC (ESSCIRC).

Taming Wind Energy with Battery Storage

Andreas T. Ernst, Gaurav Singh, 2007, OR.

Capacity planning in supply chains of mineral resources

Gaurav Singh, Yakov Zinder, Joey Fung, 2015, Inf. Sci..

Parallelizing High-Level Synthesis: A Code Transformational Approach to High-Level Synthesis

Sandeep K. Shukla, Rajesh Gupta, Gaurav Singh, 2006 .

Power estimation methodology for a high-level synthesis framework

Sandeep K. Shukla, Deepak Mathaikutty, Gaurav Singh, 2009, 2009 10th International Symposium on Quality Electronic Design.

SnapTag: Leveraging Situated Memory to enhance self-efficacy for well-being

Gaurav Singh, Naveen Bagalkot, Atul Saraf, 2014, IHCI.

Distributed optimisation method for multi-resource constrained scheduling in coal supply chains

Gaurav Singh, Jayendran Venkateswaran, Mohan Krishnamoorthy, 2013 .

Approximate Distance Oracle in O(n 2) Time and O(n) Space for Chordal Graphs

Gaurav Singh, N. S. Narayanaswamy, G. Ramakrishna, 2015, WALCOM.

Benefits of Using Symmetric Loss in Recommender Systems

Gaurav Singh, Sandra Mitrovic, 2018, ECIR.

Efficient Document Indexing Using Pivot Tree pdf

Gaurav Singh, Benjamin Piwowarski, Benjamin Piwowarski, 2016, ArXiv.

Preemptive Scheduling on Parallel Processors with due dates

Gaurav Singh, Yakov Zinder, Gaurav Singh, 2005, Asia Pac. J. Oper. Res..

Constraint-based ACO for a shared resource constrained scheduling problem

Andreas T. Ernst, Gaurav Singh, Bernd Meyer, 2013 .

HBUNN - Hybrid Binary-Unary Neural Network: Realizing a Complete CNN on an FPGA

Kia Bazargan, Gaurav Singh, Sayed Abdolrasouol Faraji, 2019, 2019 IEEE 37th International Conference on Computer Design (ICCD).

An isoperimetric formulation to predict deformation behavior of pneumatic fiber reinforced elastomeric actuators

Gaurav Singh, Girish Krishnan, Girish Krishnan, 2015, 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

Hybrids of Integer Programming and ACO for Resource Constrained Job Scheduling

Andreas T. Ernst, Gaurav Singh, Dhananjay R. Thiruvady, 2014, Hybrid Metaheuristics.

Complexity Analysis of Scheduling in CAOS-Based Synthesis

Sandeep K. Shukla, Gaurav Singh, 2010 .

Optimizing the boot time of Android on embedded system

Gaurav Singh, Rohit Dhawan, Kumar Bipin, 2011, 2011 IEEE 15th International Symposium on Consumer Electronics (ISCE).

Spatiotemporal Information Extraction from a Historic Expedition Gazetteer

Gaurav Singh, Rolf A. de By, Mafkereseb Kassahun Bekele, 2016, ISPRS Int. J. Geo Inf..

Micro Vision Control System Approach for Nano Robots

Gaurav Singh, Abhishek Shukla, 2016 .

Verifying Peak Power Optimizations Using SPIN Model Checker

Sandeep K. Shukla, Gaurav Singh, 2010 .

Performance of Critical Path Type Algorithms with Communication Delay

Gaurav Singh, Revised October, South Clayton, 2007 .

X-Gene™: 64-bit ARM CPU and SoC

Gaurav Singh, Greg Favor, Paramesh Gopi, 2012, 2012 IEEE Hot Chips 24 Symposium (HCS).

Block-1 Evaluation in Teaching-Learning Process

Gaurav Singh, Niradhar Dey, Saroj Pandey, 2018 .

AppliedMicro X-Gene2

Gaurav Singh, Alfred Yeung, Greg Favor, 2014, IEEE Hot Chips Symposium.

A soft wearable sleeve for joint stiffness modulation

Gaurav Singh, Girish Krishnan, Xiaotian Zhang, 2016, 2016 IEEE International Conference on Advanced Intelligent Mechatronics (AIM).

Models for half-direction based part-whole relationships

Gaurav Singh, Rolf A. de By, 2012, IWGS '12.

Techniques for Power-Aware Hardware Synthesis from Concurrent Action Oriented Specifications

Sandeep K. Shukla, Gaurav Singh, Sumit Ahuja, 2007, J. Low Power Electron..

Real Time Vehicle Tracking Algorithm Based on Statistical Characteristics in HSI Color Model

Gaurav Singh, Karuna Lochab, Pramod Sethy, 2017 .

Hardware Design for VLSI Implementation of FxLMS- and FsLMS-Based Active Noise Controllers

Ganapati Panda, Gaurav Singh, Basant K. Mohanty, 2017, Circuits Syst. Signal Process..

Scheduling UET-UCT outforests to minimize maximum lateness

Gaurav Singh, 2005, Eur. J. Oper. Res..

Multistatic UWB Radar-Based Passive Human Tracking Using COTS Devices

Luc Martens, Eli De Poorter, Gaurav Singh, 2021, IEEE Antennas and Wireless Propagation Letters.

Hierarchical Loop Closure Detection for Long-term Visual SLAM with Semantic-Geometric Descriptors

Gaurav Singh, Meiqing Wu, Siew-Kei Lam, 2021, 2021 IEEE International Intelligent Transportation Systems Conference (ITSC).

Algorithms for Low Power Hardware Synthesis from CAOS-- Concurrent Action Oriented Specifications

Gaurav Singh, Sandeep K. Shukla, S. Shukla, 2006 .

SPAF : A System-level Power Analysis Framework

Gaurav Singh, Sumit Ahuja, Ajit Dingankar, 2007 .

Worst-case performance of critical path type algorithms

Gaurav Singh, Yakov Zinder, 2000 .

Model-checking based Verification for Hardware Designs specified using Bluespec System

Gaurav Singh, Sandeep K. Shukla, 2007 .