• 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 861 matches

• 2025
• 
  Shreyas Sunil Gaikwad, Sri Hari Krishna Narayanan, Laurent Hascoët, Jean-Michel Campin, Helen Pillar, An Nguyen, Jan Hückelheim, Paul D. Hovland, Patrick Heimbach:
  MITgcm-AD v2: Open source tangent linear and adjoint modeling framework for the oceans and atmosphere enabled by the Automatic Differentiation tool Tapenade. Future Gener. Comput. Syst. 163: 107512 (2025)
• 2024
• 
  Achyutha Krishnamoorthy, Srinivas R. Chakravarthy, Agassi Z. Melikov, Narayanan C. Viswanath:
  Queueing-inventory: analytical and simulation modeling and classical and retrial queues and inventory. Ann. Oper. Res. 340(2): 1221-1224 (2024)
• 
  Ikenna Okafor, Akshay Krishna Ramanathan, Nagadastagiri Challapalle, Zheyu Li, Vijaykrishnan Narayanan:
  Fusing In-storage and Near-storage Acceleration of Convolutional Neural Networks. ACM J. Emerg. Technol. Comput. Syst. 20(1): 1:1-1:22 (2024)
• 
  Aditya Narayanan, Abhishek Bhat, Nagendra Krishnapura:
  A 6 to 12-GHz Fractional-N Frequency Synthesizer With a Digital Technique to Counter Modulus-Dependent Feedback Divider Delays. IEEE J. Solid State Circuits 59(9): 2818-2830 (2024)
• 
  Soham Chakraborty, Shankara Narayanan Krishna, Umang Mathur, Andreas Pavlogiannis:
  How Hard Is Weak-Memory Testing? Proc. ACM Program. Lang. 8(POPL): 1978-2009 (2024)
• 
  Shankaranarayanan Krishna, Aniket Lal, Andreas Pavlogiannis, Omkar Tuppe:
  On-the-Fly Static Analysis via Dynamic Bidirected Dyck Reachability. Proc. ACM Program. Lang. 8(POPL): 1239-1268 (2024)
• 
  Aroof Aimen, Sahil Sidheekh, Bharat Ladrecha, Hansin Ahuja, Narayanan C. Krishnan:
  Adaptation: Blessing or Curse for Higher Way Meta-Learning. IEEE Trans. Artif. Intell. 5(4): 1844-1856 (2024)
• 
  M. Jagabar Sathik, Gopinath Narayanan Pandurangan, Arpan Hota, K. Vijayakumar, Saad Mekhilef, Vivek Agarwal:
  Improved Dual Boost Mid-Point Clamped Five-Level Inverter Topology. IEEE Trans. Circuits Syst. II Express Briefs 71(6): 3221-3225 (2024)
• 
  Krishnan Raghavan, Vignesh Narayanan, Sarangapani Jagannathan:
  Cooperative Deep Q-Learning Framework for Environments Providing Image Feedback. IEEE Trans. Neural Networks Learn. Syst. 35(7): 9267-9276 (2024)
• 
  David Hyland, Julian Gutierrez, Shankaranarayanan Krishna, Michael J. Wooldridge:
  Rational Verification with Quantitative Probabilistic Goals. AAMAS 2024: 871-879
• 
  Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankara Narayanan Krishna, Mihir Vahanwala:
  Fairness and Liveness Under Weak Consistency. Taming the Infinities of Concurrency 2024: 1-21
• 
  Shivam Gupta, Shweta Jain, Narayanan C. Krishnan, Ganesh Ghalme, Nandyala Hemachandra:
  Online Algorithm for Clustering with Capacity Constraints. COMAD/CODS 2024: 572-573
• 
  Vidhya Kamakshi, Narayanan C. Krishnan:
  SCE: Shared Concept Extractor to Explain a CNN's Classification Dynamics. COMAD/CODS 2024: 109-117
• 
  Luc Dartois, Paul Gastin, Loïc Germerie Guizouarn, R. Govind, Shankaranarayanan Krishna:
  Reversible Transducers over Infinite Words. CONCUR 2024: 21:1-21:22
• 
  Shivam Gupta, Shweta Jain, Narayanan C. Krishnan, Ganesh Ghalme, Nandyala Hemachandra:
  Capacitated Online Clustering Algorithm. ECAI 2024: 1880-1887
• 
  Christoph Haase, Shankara Narayanan Krishna, Khushraj Madnani, Om Swostik Mishra, Georg Zetzsche:
  An Efficient Quantifier Elimination Procedure for Presburger Arithmetic. ICALP 2024: 142:1-142:17
• 
  Sriram Narayanan, Dinesh Jayaraman, Manmohan Chandraker:
  Long-HOT: A Modular Hierarchical Approach for Long-Horizon Object Transport. ICRA 2024: 14867-14874
• 
  Jamison R. Ebert, Jean-François Chamberland, Krishna R. Narayanan:
  Multi-User SR-LDPC Codes via Coded Demixing with Applications to Cell-Free Systems. ISIT 2024: 2015-2020
• 
  Hrishi Narayanan, Prasad Krishnan, Nita Parekh:
  On Achievable Rates for the Shotgun Sequencing Channel with Erasures. ISIT 2024: 1730-1735
• 
  Bobak Nazer, Krishna Narayanan:
  Computation Selection: Scheduling Users to Enable Over-the-Air Federated Learning. ISIT 2024: 1635-1640
• 
  Abhishek Singh Sambyal, Usma Niyaz, Saksham Shrivastava, Narayanan C. Krishnan, Deepti R. Bathula:
  LS+: Informed Label Smoothing for Improving Calibration in Medical Image Classification. MICCAI (10) 2024: 513-523
• 
  Yixuan Sun, Elizabeth Cucuzzella, Steven Brus, Sri Hari Krishna Narayanan, Balasubramanya T. Nadiga, Luke Van Roekel, Jan Hückelheim, Sandeep Madireddy, Patrick Heimbach:
  Parametric Sensitivities of a Wind-driven Baroclinic Ocean Using Neural Surrogates. PASC 2024: 6:1-6:10
• 
  Narayanan Asuri Krishnan, Carlos R. Rivero:
  A Method for Assessing Inference Patterns Captured by Embedding Models in Knowledge Graphs. WWW 2024: 2030-2041
• 
  Aishwarya Rao, Narayanan Asuri Krishnan, Carlos R. Rivero:
  Using Model Calibration to Evaluate Link Prediction in Knowledge Graphs. WWW 2024: 2042-2051
• 
  Hrishi Narayanan, Prasad Krishnan, Nita Parekh:
  On Achievable Rates for the Shotgun Sequencing Channel with Erasures. CoRR abs/2401.16342 (2024)
• 
  Jamison R. Ebert, Jean-François Chamberland, Krishna R. Narayanan:
  Multi-User SR-LDPC Codes via Coded Demixing with Applications to Cell-Free Systems. CoRR abs/2402.06881 (2024)
• 
  Sravan Kumar Ankireddy, Krishna Narayanan, Hyeji Kim:
  LIGHTCODE: Light Analytical and Neural Codes for Channels with Feedback. CoRR abs/2403.10751 (2024)
• 
  Ashutosh Gupta, John Komp, Abhay Singh Rajput, Shankaranarayanan Krishna, Ashutosh Trivedi, Namrita Varshney:
  Integrating Explanations in Learning LTL Specifications from Demonstrations. CoRR abs/2404.02872 (2024)
• 
  Yixuan Sun, Olaperi Yeside Sowunmi, Romain Egele, Sri Hari Krishna Narayanan, Luke Van Roekel, Prasanna Balaprakash:
  Streamlining Ocean Dynamics Modeling with Fourier Neural Operators: A Multiobjective Hyperparameter and Architecture Optimization Approach. CoRR abs/2404.05768 (2024)
• 
  Christoph Haase, Shankara Narayanan Krishna, Khushraj Madnani, Om Swostik Mishra, Georg Zetzsche:
  An efficient quantifier elimination procedure for Presburger arithmetic. CoRR abs/2405.01183 (2024)

skipping 831 more matches