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

• 2021
• 
  Matthias Blum, Hsin-Yu Chang, Sara Chuguransky, Tiago Grego, Swaathi Kandasamy, Alex L. Mitchell, Gift Nuka, Typhaine Paysan-Lafosse, Matloob Qureshi, Shriya Raj, Lorna J. Richardson, Gustavo A. Salazar, Lowri Williams, Peer Bork, Alan J. Bridge, Julian Gough, Daniel H. Haft, Ivica Letunic, Aron Marchler-Bauer, Huaiyu Mi, Darren A. Natale, Marco Necci, Christine A. Orengo, Arun Prasad Pandurangan, Catherine Rivoire, Christian J. A. Sigrist, Ian Sillitoe, Narmada Thanki, Paul D. Thomas, Silvio C. E. Tosatto, Cathy H. Wu, Alex Bateman, Robert D. Finn:
  The InterPro protein families and domains database: 20 years on. Nucleic Acids Res. 49(Database-Issue): D344-D354 (2021)
• 2015
• 
  Ankush Varma, William J. Bowhill, Jason Crop, Corey Gough, Brian Griffith, Dan Kingsley, Krishna Sistla:
  Power management in the Intel Xeon E5 v3. ISLPED 2015: 371-376
• 2007
• 
  William Gough:
  A new treatment for back pain? Medical Biol. Eng. Comput. 45(1): 3 (2007)
• 2003
• 
  Mihai Huzmezan, Guy Albert Dumont, William Gough, Sava Kovac:
  Adaptive control of delayed integrating systems: a PVC batch reactor. IEEE Trans. Control. Syst. Technol. 11(3): 390-398 (2003)
• 2002
• 
  Howard Barringer, Donal Fellows, Graham Gough, Alan R. Williams:
  Rainbow: Development, Simulation and Analysis Tools for Asynchronous Micropipeline Hardware Design. Comput. J. 45(1): 2-11 (2002)
• 
  Mihai Huzmezan, William Gough, Sava Kovac:
  Advanced control of batch reactor temperature. ACC 2002: 1156-1161
• 2000
• 
  Quasim H. Mehdi, William Dixon, Ian J. Griffiths, Norman E. Gough:
  A Multimedia Application for Interactive Production of Thermal Error Models. IS 2000: 80-83
• 1997
• 
  Willem Visser, Howard Barringer, Donal Fellows, Graham Gough, Alan R. Williams:
  Efficient CTL* model checking for analysis of rainbow designs. CHARME 1997: 128-145
• 1996
• 
  Howard Barringer, Graham Gough, Brian Monahan, Alan R. Williams:
  A Process Algebra Foundation for Reasoning about Core ELLA. Comput. J. 39(4): 303-324 (1996)
• 
  Kate Barrelle, William Laverty, Ron Henderson, Jon Gough, Michael Wagner, Michael Hiron:
  User verification through pointing characteristics: an exploration examination. Int. J. Hum. Comput. Stud. 45(1): 47-57 (1996)
• 1995
• 
  Howard Barringer, Graham Gough, Brian Monahan, Alan R. Williams:
  Formal support for the ELLA hardwar description language. CHARME 1995: 225-245
• 
  Robin R. Murphy, William A. Hoff, John Blitch, Val Gough, Dale K. Hawkins, James C. Hoffman, Ramon Krosley, Torsten Lyons, Amol Dattatraya Mali, James MacMillan, Steven Warshawsky:
  Colorado School of Mines behavioral approach to the 1995 UGR competition. Mobile Robots 1995: 220-227