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

• 2023
• 
  Crescent Jicol, Christopher Clarke, Emilia Tor, Rebecca M. Dakin, Tom Charlie Lancaster, Sze Tung Chang, Karin Petrini, Eamonn O'Neill, Michael J. Proulx, Christof Lutteroth:
  Realism and Field of View Affect Presence in VR but Not the Way You Think. CHI 2023: 399:1-399:17
• 
  Christof Lutteroth, Crescent Jicol, Christopher Clarke, Michael J. Proulx, Eamonn O'Neill, Karin Petrini, Isabel Sophie Fitton, Emilia Tor, Jinha Yoon:
  REVEAL: REal and Virtual Environments Augmentation Lab @ Bath. CHI Extended Abstracts 2023: 470:1-470:4
• 
  Madeleine S. Durkee, Nevaeh Petrie, Kyle Lleras, Junting Ai, Rebecca Abraham, J. Cy Chittenden, Chasity Kasir, Fiona Clark, Gabriel Casella, Marcus R. Clark, Maryellen L. Giger:
  Convolutional neural networks detect cells in densely packed images at performance levels similar to human readers. Medical Imaging: Image Perception, Observer Performance, and Technology Assessment 2023
• 
  Edgar Arguello, Sam Carter, Cristina Grieg, Michael Hammer, Chris Prather, Clark Petri, Anamaria Berea:
  An Exploration of Mars Colonization with Agent-Based Modeling. CoRR abs/2308.05916 (2023)
• 2021
• 
  Mostafa Hussein, Brendan Crowe, Madison Clark-Turner, Paul Gesel, Marek Petrik, Momotaz Begum:
  Robust Behavior Cloning with Adversarial Demonstration Detection. IROS 2021: 7858-7864
• 2017
• 
  Petros Lameras, Sylvester Arnab, Ian Dunwell, Craig D. Stewart, Samantha Clarke, Panagiotis Petridis:
  Essential features of serious games design in higher education: Linking learning attributes to game mechanics. Br. J. Educ. Technol. 48(4): 972-994 (2017)
• 2014
• 
  Ye Tian, Sean S. Wang, Zhen Zhang, Olga C. Rodriguez, Emanuel Petricoin III, Ie-Ming Shih, Daniel Chan, Maria Avantaggiati, Guoqiang Yu, Shaozhen Ye, Robert Clarke, Chao Wang, Bai Zhang, Yue Joseph Wang, Chris Albanese:
  Integration of Network Biology and Imaging to Study Cancer Phenotypes and Responses. IEEE ACM Trans. Comput. Biol. Bioinform. 11(6): 1009-1019 (2014)
• 
  Richard S. Schwerdtfeger, Gregg C. Vanderheiden, Jutta Treviranus, Colin B. D. Clark, Jess Mitchell, Lisa Petrides, Lisa McLaughlin, Cynthia Jimes, Jim Tobias, Shari Trewin, Michelle Brennan:
  PGA: Preferences for Global Access. HCI (7) 2014: 325-336
• 2012
• 
  Andrew Trotman, Charles L. A. Clarke, Iadh Ounis, J. Shane Culpepper, Marc-Allen Cartright, Shlomo Geva:
  Open source information petrieval: a report on the SIGIR 2012 workshop. SIGIR Forum 46(2): 95-101 (2012)
• 2011
• 
  Barnaby Clark, Juha Suomalainen, Petri Pellikka:
  An historical empirical line method for the retrieval of surface reflectance factor from multi-temporal SPOT HRV, HRVIR and HRG multispectral satellite imagery. Int. J. Appl. Earth Obs. Geoinformation 13(2): 292-307 (2011)
• 
  Mark Blythe, Helen Petrie, John A. Clark:
  F for fake: four studies on how we fall for phish. CHI 2011: 3469-3478
• 2010
• 
  Radu Muschevici, Dave Clarke, José Proença:
  Feature Petri Nets. SPLC Workshops 2010: 99-106
• 2008
• 
  Bengt Carlsson, K. Ingemar Jönsson, Keith L. Clark:
  Describing Cryptobiosis as a Time Based Protection System Using Petri Nets. BIOSIGNALS (1) 2008: 281-285
• 
  Junhua Ding, Gonzalo Argote-Garcia, Peter J. Clarke, Xudong He:
  Evaluating Test Adequacy Coverage of High Level Petri Nets Using Spin. AST 2008: 71-78
• 2007
• 
  Barnaby Clark, Petri Pellikka:
  Mapping land cover change in the Taita Hills, Kenya, utilizing multi-scale segmentation and object-oriented classification of SPOT imagery. IGARSS 2007: 1918-1921
• 2002
• 
  Tony Mileman, Brian Knight, Miltos Petridis, Don Cowell, John Ewer:
  Case-based retrieval of 3-dimensional shapes for the design of metal castings. J. Intell. Manuf. 13(1): 39-45 (2002)
• 2001
• 
  Stephen Taylor, Brian Knight, Miltos Petridis, John Ewer, Edwin Galea:
  A Case Based Reasoning System Capturing Fire Modelling Expertise. Comput. Artif. Intell. 20(3): 269-288 (2001)
• 1996
• 
  Matthew B. Dwyer, Lori A. Clarke:
  A Compact Petri Net Representation and Its Implications for Analysis. IEEE Trans. Software Eng. 22(11): 794-811 (1996)
• 
  A. T. Chamillard, Lori A. Clarke:
  Improving the Accuracy of Petri Net-Based Analysis of Concurrent Programs. ISSTA 1996: 24-38
• 1995
• 
  Matthew B. Dwyer, Lori A. Clarke, Kari A. Nies:
  A Compact Petri Net Representation for Concurrent Programs. ICSE 1995: 147-157
• 1994
• 
  Edmund M. Clarke:
  Automatic Verification of Finite-state Concurrent Systems. Application and Theory of Petri Nets 1994: 1