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

• 2023
• 
  Simeon Craig Calvert, Stig Johnsen, Ashwin George:
  Designing Automated Vehicle and Traffic Systems towards Meaningful Human Control. CoRR abs/2303.05091 (2023)
• 2021
• 
  Robert Mzungu Runya, Chris McGonigle, Rory Quinn, John Howe, Jenny Collier, Clive Fox, James Dooley, Rory O'Loughlin, Jay Calvert, Louise Scott, Colin D. Abernethy, Will Evans:
  Examining the Links between Multi-Frequency Multibeam Backscatter Data and Sediment Grain Size. Remote. Sens. 13(8): 1539 (2021)
• 2020
• 
  Gareth Calvert, Luís C. Neves, John Andrews, Matthew Hamer:
  Multi-defect modelling of bridge deterioration using truncated inspection records. Reliab. Eng. Syst. Saf. 200: 106962 (2020)
• 
  Ye Li, Hong Xie, John C. S. Lui, Kenneth L. Calvert:
  Quantifying Deployability and Evolvability of Future Internet Architectures via Economic Models. IEEE/ACM Trans. Netw. 28(5): 1995-2008 (2020)
• 2018
• 
  Alex Olsen, Dmitry A. Konovalov, Bronson Philippa, Peter Ridd, Jake C. Wood, Jamie Johns, Wesley Banks, Benjamin Girgenti, Owen Kenny, James Whinney, Brendan Calvert, Mostafa Rahimi Azghadi, Ronald D. White:
  DeepWeeds: A Multiclass Weed Species Image Dataset for Deep Learning. CoRR abs/1810.05726 (2018)
• 2017
• 
  John A. Kunze, Scout Calvert, Jeremy D. DeBarry, Matthew R. Hanlon, Greg Janée, Sandra Sweat:
  Persistence Statements: Describing Digital Stickiness. Data Sci. J. 16: 39 (2017)
• 
  Matt Johnson, Brandon Shrewsbury, Sylvain Bertrand, Duncan Calvert, Tingfan Wu, Daniel Duran, Douglas Stephen, Nathan Mertins, John Carff, William Rifenburgh, Jesper Smith, Christopher Schmidt-Wetekam, Davide Faconti, Alex Graber-Tilton, Nicolas Eyssette, Tobias Meier, Igor Kalkov, Travis Craig, Nick Payton, Stephen McCrory, Georg Wiedebach, Brooke Layton, Peter D. Neuhaus, Jerry E. Pratt:
  Team IHMC's Lessons Learned from the DARPA Robotics Challenge: Finding Data in the Rubble. J. Field Robotics 34(2): 241-261 (2017)
• 2008
• 
  Wesley Calvert, John E. Porter:
  Infinitary Queries in Spatial Databases. CoRR abs/0803.3404 (2008)
• 2006
• 
  Thomas J. Lee, Yannick Pouliot, Valerie Wagner, Priyanka Gupta, David W. J. Stringer-Calvert, Jessica D. Tenenbaum, Peter D. Karp:
  BioWarehouse: a bioinformatics database warehouse toolkit. BMC Bioinform. 7: 170 (2006)
• 
  Janaina Mourão Miranda, Emanuelle Reynaud, Francis McGlone, Gemma A. Calvert, Michael J. Brammer:
  The impact of temporal compression and space selection on SVM analysis of single-subject and multi-subject fMRI data. NeuroImage 33(4): 1055-1065 (2006)
• 
  Konstantin Borisov, Thomas E. Calvert, John A. Kleppe, Elaine Martin, Andrzej M. Trzynadlowski:
  Experimental investigation of a naval propulsion drive model with the PWM-based attenuation of the acoustic and electromagnetic noise. IEEE Trans. Ind. Electron. 53(2): 450-457 (2006)
• 2005
• 
  Taeho Kim, David W. J. Stringer-Calvert, Sung Deok Cha:
  Formal verification of functional properties of a SCR-style software requirements specification using PVS. Reliab. Eng. Syst. Saf. 87(3): 351-363 (2005)
• 
  Vive Kumar, Philip H. Winne, Allyson Hadwin, John C. Nesbit, Dianne Jamieson-Noel, Tom Calvert, Behzad Samin:
  Effects of Self-Regulated Learning In Programming. ICALT 2005: 383-387
• 2004
• 
  Mairéad MacSweeney, Ruth Campbell, Bencie Woll, Vincent Giampietro, Anthony S. David, Philip K. McGuire, Gemma A. Calvert, Michael J. Brammer:
  Dissociating linguistic and nonlinguistic gestural communication in the brain. NeuroImage 22(4): 1605-1618 (2004)
• 2003
• 
  Kenneth L. Calvert, James Eagan, Shashidhar Merugu, A. Namjoshi, John T. Stasko, Ellen Zegura:
  Extending and enhancing GT-ITM. MoMeTools@SIGCOMM 2003: 23-27
• 2002
• 
  David W. J. Stringer-Calvert:
  Digital Evidence. Commun. ACM 45(4): 128 (2002)
• 
  Ajay Chander, Steven Dawson, Patrick Lincoln, David W. J. Stringer-Calvert:
  NEVRLATE: Scalable Resource Discovery. CCGRID 2002: 382-388
• 
  Taeho Kim, David W. J. Stringer-Calvert, Sung Deok Cha:
  Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS. TACAS 2002: 205-220
• 2001
• 
  Gemma A. Calvert, Peter C. Hansen, Susan Iversen, Michael J. Brammer:
  Detection of Audio-Visual Integration Sites in Humans by Application of Electrophysiological Criteria to the BOLD Effect. NeuroImage 14(2): 427-438 (2001)
• 
  Gemma A. Calvert, Michael J. Brammer, Ruth Campbell:
  Cortical substrates of seeing speech: still and moving faces. AVSP 2001: 199
• 
  Mark Mizuguchi, John Buchanan, Tom Calvert:
  Data driven motion transitions for interactive games. Eurographics (Short Presentations) 2001
• 1999
• 
  Ruth Campbell, Gemma A. Calvert, Michael J. Brammer, Mairéad MacSweeney, Simon A. Surguladze, Philip K. McGuire, Bencie Woll, Steve Williams, Edson Amaro Jr., Anthony S. David:
  Activation in auditory cortex by speechreading in hearing people: FMRI studies. AVSP 1999: 7
• 1998
• 
  David William John Stringer-Calvert:
  Mechanical verification of compiler correctness. University of York, UK, 1998
• 
  Sam Owre, John M. Rushby, Natarajan Shankar, David W. J. Stringer-Calvert:
  PVS: An Experience Report. FM-Trends 1998: 338-345
• 
  Gary Johnson, John Calvert, Kelly J. Hayhurst, John Janeri, Herbert Hecht:
  System Requirements and Analysis Issues for High Assurance Systems. HASE 1998: 60-
• 1997
• 
  David W. J. Stringer-Calvert, Susan Stepney, Ian Wand:
  Using PVS to Prove a Z Refinement: A Case Study. FME 1997: 573-588
• 1993
• 
  Tom Calvert, Armin Bruderlin, John Dill, Thecla Schiphorst, Chris Weilman:
  Desktop animation of multiple human figures. IEEE Computer Graphics and Applications 13(3): 18-26 (1993)
• 1991
• 
  John Shunen Shieh, Thomas W. Calvert:
  View and route planning for patrol and exploring robots. Adv. Robotics 6(4): 399-430 (1991)
• 
  Selim G. Akl, John M. Calvert, Ivan Stojmenovic:
  Systolic generation of derangements. Algorithms and Parallel VLSI Architectures 1991: 59-70
• 1980
• 
  Thomas W. Calvert, John Chapman, Aftab E. Patla:
  The integration of subjective and objective data in the animation of human movement. SIGGRAPH 1980: 198-203

skipping 1 more match