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

• 2023
• 
  Jason Belt, John Hatcliff, Robby, John Shackleton, Jim Carciofini, Todd Carpenter, Eric Mercer, Isaac Amundson, Junaid Babar, Darren D. Cofer, David S. Hardin, Karl Hoech, Konrad Slind, Ihor Kuz, Kent McLeod:
  Model-driven development for the seL4 microkernel using the HAMR framework. J. Syst. Archit. 134: 102789 (2023)
• 2021
• 
  John McLeod, Fergus Simpson:
  Validating Gaussian Process Models with Simulation-Based Calibration. AITest 2021: 101-102
• 
  John McLeod, Hrvoje Stojic, Vincent Adam, Dongho Kim, Jordi Grau-Moya, Peter Vrancx, Felix Leibfried:
  Bellman: A Toolbox for Model-Based Reinforcement Learning in TensorFlow. CoRR abs/2103.14407 (2021)
• 
  Vincent Dutordoir, Hugh Salimbeni, Eric Hambro, John McLeod, Felix Leibfried, Artem Artemev, Mark van der Wilk, James Hensman, Marc Peter Deisenroth, S. T. John:
  GPflux: A Library for Deep Gaussian Processes. CoRR abs/2104.05674 (2021)
• 
  John McLeod, Fergus Simpson:
  Validating Gaussian Process Models with Simulation-Based Calibration. CoRR abs/2110.15049 (2021)
• 2017
• 
  John S. H. Baxter, Martin Rajchl, A. Jonathan McLeod, Jing Yuan, Terry M. Peters:
  Directed Acyclic Graph Continuous Max-Flow Image Segmentation for Unconstrained Label Orderings. Int. J. Comput. Vis. 123(3): 415-434 (2017)
• 
  A. Jonathan McLeod, Dante P. I. Capaldi, John S. H. Baxter, Grace Parraga, Xiongbiao Luo, Terry M. Peters:
  Analysis of Periodicity in Video Sequences Through Dynamic Linear Modeling. MICCAI (2) 2017: 386-393
• 2016
• 
  A. Jonathan McLeod, Maria Currie, John T. Moore, Daniel Bainbridge, Bob Kiaii, Michael W. A. Chu, Terry M. Peters:
  Phantom study of an ultrasound guidance system for transcatheter aortic valve implantation. Comput. Medical Imaging Graph. 50: 24-30 (2016)
• 
  Alexander J. McLeod Jr., Mark G. Simkin, John M. Week:
  Toward the user-commitment continuum: establishing the importance of realisation. Int. J. Learn. Technol. 11(2): 134-155 (2016)
• 
  Martin Rajchl, John S. H. Baxter, A. Jonathan McLeod, Jing Yuan, Wu Qiu, Terry M. Peters, Ali R. Khan:
  Hierarchical max-flow segmentation framework for multi-atlas segmentation with Kohonen self-organizing map based Gaussian mixture modeling. Medical Image Anal. 27: 45-56 (2016)
• 
  Konstantinos Tsakalozos, Cory Johns, Kevin Monroe, Pete VanderGiessen, Andrew Mcleod, Antonio Rosales:
  Open big data infrastructures to everyone. IEEE BigData 2016: 2127-2129
• 2015
• 
  Elvis C. S. Chen, A. Jonathan McLeod, John S. H. Baxter, Terry M. Peters:
  Registration of 3D shapes under anisotropic scaling. Int. J. Comput. Assist. Radiol. Surg. 10(6): 867-878 (2015)
• 
  A. Jonathan McLeod, John S. H. Baxter, Golafsoun Ameri, Sugantha Ganapathy, Terry M. Peters, Elvis C. S. Chen:
  Detection and visualization of dural pulsation for spine needle interventions. Int. J. Comput. Assist. Radiol. Surg. 10(6): 947-958 (2015)
• 
  Golafsoun Ameri, John S. H. Baxter, A. Jonathan McLeod, Terry M. Peters, Elvis C. S. Chen:
  Augmented Reality Ultrasound Guidance for Central Line Procedures: Preliminary Results. AE-CAI 2015: 11-20
• 
  Elvis C. S. Chen, A. Jonathan McLeod, John S. H. Baxter, Terry M. Peters:
  An Iterative Closest Point Framework for Ultrasound Calibration. AE-CAI 2015: 69-79
• 
  A. Jonathan McLeod, John S. H. Baxter, Uditha L. Jayarathne, Stephen E. Pautler, Terry M. Peters, Xiongbiao Luo:
  Stereoscopic Motion Magnification in Minimally-Invasive Robotic Prostatectomy. CARE@MICCAI 2015: 35-45
• 
  Golafsoun Ameri, A. Jonathan McLeod, John S. H. Baxter, Elvis C. S. Chen, Terry M. Peters:
  Line fiducial material and thickness considerations for ultrasound calibration. Medical Imaging: Image-Guided Procedures 2015: 941529
• 
  A. Jonathan McLeod, John T. Moore, Terry M. Peters:
  Beating heart mitral valve repair with integrated ultrasound imaging. Medical Imaging: Image-Guided Procedures 2015: 941504
• 
  Claire Vannelli, John Moore, A. Jonathan McLeod, Dennis Ceh, Terry M. Peters:
  Dynamic heart phantom with functional mitral and aortic valves. Medical Imaging: Image-Guided Procedures 2015: 941503
• 
  John S. H. Baxter, A. Jonathan McLeod, Terry M. Peters:
  A Continuous Max-Flow Approach to Cyclic Field Reconstruction. CoRR abs/1511.03629 (2015)
• 2014
• 
  Golafsoun Ameri, John S. H. Baxter, A. Jonathan McLeod, Uditha L. Jayaranthe, Elvis C. S. Chen, Terry M. Peters:
  Synthetic aperture imaging in ultrasound calibration. Medical Imaging: Image-Guided Procedures 2014: 90361I
• 
  A. Jonathan McLeod, John S. H. Baxter, Sandrine de Ribaupierre, Terry M. Peters:
  Motion magnification for endoscopic surgery. Medical Imaging: Image-Guided Procedures 2014: 90360C
• 
  John S. H. Baxter, Martin Rajchl, A. Jonathan McLeod, Ali R. Khan, Jing Yuan, Terry M. Peters:
  Smoothness parameter tuning for generalized hierarchical continuous max-flow segmentation. Medical Imaging: Image Processing 2014: 903410
• 2013
• 
  Rachael Hodder, Michael McLeod, Donnie Johnson Sackey:
  Building a better conference experience through user-centered design. SIGDOC 2013: 187-188
• 2012
• 
  Andrea Donnellan, Jay Parker, Margaret T. Glasscoe, Eric De Jong, Marlon E. Pierce, Geoffrey C. Fox, Dennis McLeod, John B. Rundle, Lisa Grant Ludwig:
  A Distributed Approach to Computational Earthquake Science: Opportunities and Challenges. Comput. Sci. Eng. 14(5): 31-42 (2012)
• 
  Gregory A. Bakken, Andrew Bell, Markus Boehm, Jeremy R. Everett, Rosalia Gonzales, David Hepworth, Jacquelyn L. Klug-McLeod, Jeremy Lanfear, Jens Loesel, John Mathias, Terence P. Wood:
  Shaping a Screening File for Maximal Lead Discovery Efficiency and Effectiveness: Elimination of Molecular Redundancy. J. Chem. Inf. Model. 52(11): 2937-2949 (2012)
• 
  A. Jonathan McLeod, John Moore, Pencilla Lang, Daniel Bainbridge, Gordon Campbell, Douglas L. Jones, Gerard M. Guiraudon, Terry M. Peters:
  Evaluation of mitral valve replacement anchoring in a phantom. Medical Imaging: Image-Guided Procedures 2012: 83162Q
• 2011
• 
  A. Jonathan McLeod, John Moore, Gerard M. Guiraudon, Douglas L. Jones, Gordon Campbell, Terry M. Peters:
  Surgical phantom for off-pump mitral valve replacement. Medical Imaging: Image-Guided Procedures 2011: 796403
• 2010
• 
  John M. Week, Alexander J. McLeod Jr., Mark G. Simkin, Bret Simmons:
  Toward a User Commitment Continuum. AMCIS 2010: 325
• 
  Keith J. Miller, Sarah McLeod, Elizabeth Schroeder, Mark Arehart, Kenneth Samuel, James Finley, Vanesa Jurica, John Polk:
  Improving Personal Name Search in the TIGR System. LREC 2010

skipping 184 more matches