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

• 2021
• 
  Jeffrey C. Mogul, Priya Mahadevan, Christophe Diot, John Wilkes, Phillipa Gill, Amin Vahdat:
  Data-driven networking research: models for academic collaboration with industry (a Google point of view). Comput. Commun. Rev. 51(4): 47-49 (2021)
• 
  Amitkumar Mahadevan, Doutje T. van Veen, Noriaki Kaneda, Alex Duque, Adriaan J. de Lind van Wijngaarden, Vincent Houtsma:
  Hard-input FEC evaluation using Markov models for equalization-induced correlated errors in 50G PON. JOCN 13(1): A100-A110 (2021)
• 2019
• 
  Michael Philip Oakes:
  Statistical Analysis of the Tables in Mahadevan's Concordance of the Indus Valley Script. J. Quant. Linguistics 26(1): 22-47 (2019)
• 2017
• 
  Ariyur Mahadevan Abirami, Abdulkhader Askarunisa:
  Sentiment analysis model to emphasize the impact of online reviews in healthcare industry. Online Inf. Rev. 41(4): 471-486 (2017)
• 2010
• 
  Rajesh P. N. Rao, Nisha Yadav, Mayank N. Vahia, Hrishikesh Joglekar, Ronojoy Adhikari, Iravatham Mahadevan:
  Entropy, the Indus Script, and Language: A Reply to R. Sproat. Comput. Linguistics 36(4): 795-805 (2010)
• 2009
• 
  Rajesh P. N. Rao, Nisha Yadav, Mayank N. Vahia, Hrishikesh Joglekar, Ronojoy Adhikari, Iravatham Mahadevan:
  A Markov model of the Indus script. Proc. Natl. Acad. Sci. USA 106(33): 13685-13690 (2009)
• 
  Sitabhra Sinha, Raj Kumar Pan, Nisha Yadav, Mayank N. Vahia, Iravatham Mahadevan:
  Network analysis reveals structure indicative of syntax in the corpus of undeciphered Indus civilization inscriptions. Graph-based Methods for Natural Language Processing 2009: 5-13
• 
  Nisha Yadav, Hrishikesh Joglekar, Rajesh P. N. Rao, Mayank N. Vahia, Iravatham Mahadevan, Ronojoy Adhikari:
  Statistical analysis of the Indus script using $n$-grams. CoRR abs/0901.3017 (2009)
• 2003
• 
  Mahadevan Subramaniam:
  Early Error Detection in Industrial Strength Cache Coherence Protocols Using SQL. IPDPS 2003: 290
• 2001
• 
  Indu Mahadevan, Krishna M. Sivalingam:
  Architecture and Experimental Framework for Supporting QoS in Wireless Networks Using Differentiated Services. Mob. Networks Appl. 6(4): 385-395 (2001)
• 2000
• 
  Indu Mahadevan, Krishna M. Sivalingam:
  A Hierarchical Architecture for QoS Guarantees and Routing in Wireless/Mobile Networks. J. Parallel Distributed Comput. 60(4): 510-520 (2000)
• 
  Deepak Kapur, Mahadevan Subramaniam:
  Using an induction prover for verifying arithmetic circuits. Int. J. Softw. Tools Technol. Transf. 3(1): 32-65 (2000)
• 
  Indu Mahadevan, Krishna M. Sivalingam:
  Architecture and experimental results for quality of service in mobile networks using RSVP and CBQ. Wirel. Networks 6(3): 221-234 (2000)
• 
  Deepak Kapur, Mahadevan Subramaniam:
  Extending Decision Procedures with Induction Schemes. CADE 2000: 324-345
• 1999
• 
  Indu Mahadevan, Krishna M. Sivalingam:
  Quality of service in wireless networks based on differentiated services architecture. ICCCN 1999: 548-553
• 
  Indu Mahadevan, Krishna M. Sivalingam:
  Quality of Service Architectures for Wireless Networks: IntServ and DiffServ Models. ISPAN 1999: 420-425
• 1998
• 
  Indu Mahadevan, Krishna M. Sivalingam:
  An experimental architecture for providing QoS guarantees in mobile networks using RSVP. PIMRC 1998: 50-54
• 
  Indu Mahadevan, Krishna M. Sivalingam:
  An Architecture for QoS Guarantees and Routing in Wireless/Mobile Networks. WOWMOM 1998: 11-20
• 1996
• 
  Deepak Kapur, Mahadevan Subramaniam:
  New Uses of Linear Arithmetic in Automated Theorem Proving by Induction. J. Autom. Reason. 16(1-2): 39-78 (1996)
• 
  Deepak Kapur, Mahadevan Subramaniam:
  Automating Induction over Mutually Recursive Functions. AMAST 1996: 117-131
• 
  Deepak Kapur, Mahadevan Subramaniam:
  Lemma Discovery in Automated Induction. CADE 1996: 538-552
• 1994
• 
  Deepak Kapur, Mahadevan Subramaniam:
  Using Linear Arithmetic Procedure for Generating Induction Schemes. FSTTCS 1994: 438-449