• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 52 matches

• 2024
• 
  Saurabh Srivastava, Prajna Parimita Dash, Deepak Kumar Rout, Dinesh Madhukar Chandwadkar, Sunita Pandit Ugale:
  Constellation design for PD-NOMA-based mmWave inter-satellite communication. Comput. Electr. Eng. 116: 109187 (2024)
• 
  Kavitha Rani Balmuri, Srinivas Konda, Kishore Kumar Mamidala, Madhukar Gunda, Swaroopa Rani B:
  Automated and reliable detection of multi-diseases on chest X-ray images using optimized ensemble transfer learning. Expert Syst. Appl. 246: 122810 (2024)
• 
  Patil Jayashree Madhukar, P. M. Ashok Kumar, R. Anitha:
  CEVAB: NIR-VIS face recognition using convolutional encoder-based visual attention block. Int. J. Data Anal. Tech. Strateg. 16(3): 262-281 (2024)
• 
  Subrata Kumar Das, Yogesh Kisan Kolte, Uriya Veerendra Murali Krishna, Harshad S. Hanmante, Abhishek Kumar Jha, Sachin Madhukar Deshpande:
  Measurements of Raindrop Size Distribution Using Collocated X- and Ka-Band Radars in the Western Ghats. IEEE Geosci. Remote. Sens. Lett. 21: 1-5 (2024)
• 
  Sanaa Siddiqui, Diganta Mukhopadhyay, Mohammad Afzal, Hrishikesh Karmarkar, Kumar Madhukar:
  Unifying Syntactic and Semantic Abstractions for Deep Neural Networks. FMICS 2024: 201-219
• 
  Nitig Singh, Vaibhav Tyagi, Lekhraj Saini, Saurabh Das, Uriya Veerendra Murali Krishna, Sachin Madhukar Deshpande, Som Kumar Sharma:
  Ground-Based Observations of an Unprecedented Rainfall Event Over Indore, India: A Multi-Instrument Approach. IGARSS 2024: 5539-5542
• 
  Ravindra Metta, Hrishikesh Karmarkar, Kumar Madhukar, R. Venkatesh, Supratik Chakraborty:
  PROTON: PRObes for Termination Or Not (Competition Contribution). TACAS (3) 2024: 393-398
• 
  Ravindra Metta, Hrishikesh Karmarkar, Kumar Madhukar, R. Venkatesh, Supratik Chakraborty, Samarjit Chakraborty:
  A shallow dive into the depths of non-termination checking for C programs. CoRR abs/2409.12985 (2024)
• 2023
• 
  Madhukar Rajaram Patil, M. Suresh, Sumathi Kumaraswamy, Gagan Kukreja:
  Business agility in technology internet of things projects. J. Decis. Syst. 32(2): 466-490 (2023)
• 
  Varsharani Madhukar Lad, Kshama Vishwanath Kulhalli, Jayendra Kumar, Ganesh Patil:
  Frequency-Tunable Multiband Reconfigurable Microstrip Patch Antenna for Wireless Application. Wirel. Pers. Commun. 130(2): 1231-1242 (2023)
• 
  Akshatha Shenoy, Sumanth Prabhu S, Kumar Madhukar, Ron Shemer, Mandayam K. Srivas:
  Automated Property Directed Self Composition. ATVA 2023: 139-158
• 
  Anurag Sinha, Vandana Sharma, Monika Gupta, G. Madhukar Rao, Arman Raj, Anita Kumari, Ahmed Alkhayyat:
  Smell Technology: Advancements and Prospects in Digital Scent Technology and Fragrance Algorithms. ICCCNT 2023: 1-7
• 
  Sukhvinder Singh Dari, Shweta Tiwaskar, Jambi Ratna Raja Kumar, Vaishali Langote, Gopal Madhukar Mohadikar, Rashmi Ashtagi:
  Enhancing Plant Leaf Disease Identification with a CNN and DenseNet Hybrid Model. ICIMMI 2023: 102:1-102:6
• 
  Sanaa Siddiqui, Ravindra Metta, Kumar Madhukar:
  Towards Multi-Language Static Code Analysis. ISSREW 2023: 81-82
• 
  Tooba Khan, Kumar Madhukar, Subodh Vishnu Sharma:
  Efficient Adversarial Input Generation via Neural Net Patching. PRDC 2023: 30-38
• 2022
• 
  Anuj Garg, Sharmila A, Pramod Kumar, Mani Madhukar, Octavio Loyola-González, Manoj Kumar:
  Blockchain-based online education content ranking. Educ. Inf. Technol. 27(4): 4793-4815 (2022)
• 
  Varsharani Madhukar Lad, Kshama Vishwanath Kulhalli, Jayendra Kumar:
  Reconfigurable sub-6 GHz 5G user-terminal MIMO antenna integrated with ISM 2.4 GHz band. Int. J. Ultra Wideband Commun. Syst. 5(3): 136-141 (2022)
• 
  Kavitha Rani Balmuri, M. Varaprasad Rao, Raj Kumar Patra, Srinivas Konda, G. Madhukar:
  Vehicle type classification using graph ant colony optimizer based stack autoencoder model. Multim. Tools Appl. 81(29): 42163-42182 (2022)
• 
  Diganta Mukhopadhyay, Kumar Madhukar, Mandayam K. Srivas:
  Permutation Invariance of Deep Neural Networks with ReLUs. NFM 2022: 318-337
• 
  Avriti Chauhan, Mohammad Afzal, Hrishikesh Karmarkar, Yizhak Yisrael Elboher, Kumar Madhukar, Guy Katz:
  Efficiently Finding Adversarial Examples with DNN Preprocessing. CoRR abs/2211.08706 (2022)
• 
  Tooba Khan, Kumar Madhukar, Subodh Vishnu Sharma:
  Efficient Adversarial Input Generation via Neural Net Patching. CoRR abs/2211.16808 (2022)
• 2021
• 
  Sumanth Prabhu S, Grigory Fedyukovich, Kumar Madhukar, Deepak D'Souza:
  Specification synthesis with constrained Horn clauses. PLDI 2021: 1203-1217
• 
  Manish Goyal, Muqsit Azeem, Kumar Madhukar, R. Venkatesh:
  Direct Construction of Program Alignment Automata for Equivalence Checking. CoRR abs/2109.01864 (2021)
• 
  Diganta Mukhopadhyay, Kumar Madhukar, Mandayam K. Srivas:
  Permutation Invariance of Deep Neural Networks with ReLUs. CoRR abs/2110.09578 (2021)
• 
  Pranav Kant Gaur, Dinesh Madhukar Sarode, Surojit Kumar Bose:
  Development and accuracy evaluation of Coded Phase-shift 3D scanner. CoRR abs/2110.10520 (2021)
• 2020
• 
  Kavin Kumar Thangadorai, Raj Kumar Saranappa, Abdus Sarif Ahmed, Kumar Murugesan, Manbir Singh Soni, Radhika Mundra, Manjunath Neelappa Sataraddi, Srihari Sriram, Varun Singh, B. Shashi Kumar, Mayuresh Madhukar Patil, Debabrata Das:
  Intelligent and Adaptive Machine Learning-based Algorithm for Power Saving in Mobile Hotspot. CCNC 2020: 1-6
• 
  Jude K. Anil, Sumanth Prabhu S, Kumar Madhukar, R. Venkatesh:
  Using hypersafety verification for proving correctness of programming assignments. ICSE (NIER) 2020: 81-84
• 2019
• 
  Basant Kumar, Madhukar Somireddy, Amirtham Rajagopal:
  Adaptive analysis of plates and laminates using natural neighbor Galerkin meshless method. Eng. Comput. 35(1): 201-214 (2019)
• 
  Subrata Kumar Das, Yogesh Kisan Kolte, Uriya Veerendra Murali Krishna, Sachin Madhukar Deshpande, Abhishek Kumar Jha, Govindan Pandithurai:
  Estimation of Layer-Averaged Rain Rate From Zenith Pointing Ka-Band Radar Measurements Using Attenuation Method. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 12(9): 3178-3183 (2019)
• 
  Grigory Fedyukovich, Sumanth Prabhu, Kumar Madhukar, Aarti Gupta:
  Quantified Invariants via Syntax-Guided Synthesis. CAV (1) 2019: 259-277

skipping 22 more matches