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

• 2023
• 
  Richard Schmoetten, Jake E. Palmer, Jacques D. Fleuriot:
  Correction: Towards Formalising Schutz' Axioms for Minkowski Spacetime in Isabelle/HOL. J. Autom. Reason. 67(1): 9 (2023)
• 2022
• 
  Richard Schmoetten, Jake E. Palmer, Jacques D. Fleuriot:
  Towards Formalising Schutz' Axioms for Minkowski Spacetime in Isabelle/HOL. J. Autom. Reason. 66(4): 953-988 (2022)
• 
  Yiwei Liu, Ling Li, Senjian An, Petra Helmholz, Richard Palmer, Gareth Baynam:
  3D Face Reconstruction with Mobile Phone Cameras for Rare Disease Diagnosis. AI 2022: 544-556
• 2021
• 
  Sandra D. Williamson, Richard van Dongen, Lewis Trotter, Russell Palmer, Todd P. Robinson:
  Fishing for Feral Cats in a Naturally Fragmented Rocky Landscape Using Movement Data. Remote. Sens. 13(23): 4925 (2021)
• 
  Richard Schmoetten, Jake E. Palmer, Jacques D. Fleuriot:
  Formalising Geometric Axioms for Minkowski Spacetime and Without-Loss-of-Generality Theorems. ADG 2021: 116-128
• 
  Richard Schmoetten, Jake E. Palmer, Jacques D. Fleuriot:
  Schutz' Independent Axioms for Minkowski Spacetime. Arch. Formal Proofs 2021 (2021)
• 
  Joseph Palmer, Katharine Sherratt, Richard Martin-Nielson, Jonnie Bevan, Hamish Gibbs, LSHTM CMMID COVID-19 Working Group, Sebastian Funk, Sam Abbott:
  covidregionaldata: Subnational data for COVID-19 epidemiology. J. Open Source Softw. 6(63): 3290 (2021)
• 
  Richard Schmoetten, Jake E. Palmer, Jacques D. Fleuriot:
  Towards Formalising Schutz' Axioms for Minkowski Spacetime in Isabelle/HOL. CoRR abs/2108.10868 (2021)
• 
  Arianna Salili-James, Anne Mackay, Emilio Rodriguez-Alvarez, Diana Rodriguez-Perez, Thomas Mannack, Timothy A. Rawlings, A. Richard Palmer, Jonathan Todd, Terhi E. Riutta, Cate Macinnis-Ng, Zhitong Han, Megan Davies, Zinnia Thorpe, Stephen Marsland, Armand M. Leroi:
  Classifying Organisms and Artefacts By Their Shapes. CoRR abs/2109.00920 (2021)
• 2020
• 
  Samson Palmer, Dale Richards, Graham K. Shelton-Rayner, Kurtulus Izzetoglu, David Inch:
  Assessing Variable Levels of Delegated Control - A Novel Measure of Trust. HCI (43) 2020: 202-215
• 
  Tanya Talkar, Sophia Yuditskaya, James R. Williamson, Adam C. Lammert, Hrishikesh Rao, Daniel J. Hannon, Anne T. O'Brien, Gloria Vergara-Diaz, Richard DeLaura, Douglas E. Sturim, Gregory A. Ciccarelli, Ross Zafonte, Jeff Palmer, Paolo Bonato, Thomas F. Quatieri:
  Detection of Subclinical Mild Traumatic Brain Injury (mTBI) Through Speech and Gait. INTERSPEECH 2020: 135-139
• 2019
• 
  Sebastian Köhler, Leigh Carmody, Nicole A. Vasilevsky, Julius O. B. Jacobsen, Daniel Danis, Jean-Philippe F. Gourdine, Michael A. Gargano, Nomi L. Harris, Nicolas Matentzoglu, Julie A. McMurry, David Osumi-Sutherland, Valentina Cipriani, James P. Balhoff, Tom Conlin, Hannah Blau, Gareth Baynam, Richard Palmer, Dylan Gratian, Hugh J. S. Dawkins, Michael Segal, Anna C. Jansen, Ahmed Muaz, Willie H. Chang, Jenna Bergerson, Stanley J. F. Laulederkind, Zafer Yüksel, Sergi Beltran, Alexandra F. Freeman, Panagiotis I. Sergouniotis, Daniel Durkin, Andrea L. Storm, Marc Hanauer, Michael Brudno, Susan M. Bello, Murat Sincan, Kayli Rageth, Matthew T. Wheeler, Renske Oegema, Halima Lourghi, Maria G. Della Rocca, Rachel Thompson, Francisco Castellanos, James Priest, Charlotte Cunningham-Rundles, Ayushi Hegde, Ruth C. Lovering, Catherine Hajek, Annie Olry, Luigi Notarangelo, Morgan Similuk, Xingmin Aaron Zhang, David Gómez-Andrés, Hanns Lochmüller, Hélène Dollfus, Sergio Rosenzweig, Shruti Marwaha, Ana Rath, Kathleen Sullivan, Cynthia L. Smith, Joshua D. Milner, Dorothée Leroux, Cornelius F. Boerkoel, Amy Klion, Melody C. Carter, Tudor Groza, Damian Smedley, Melissa A. Haendel, Chris Mungall, Peter N. Robinson:
  Expansion of the Human Phenotype Ontology (HPO) knowledge base and resources. Nucleic Acids Res. 47(Database-Issue): D1018-D1027 (2019)
• 2017
• 
  Caleb Fulton, Jorge L. Salazar, Yan Zhang, Guifu Zhang, Redmond Kelley, John Meier, Matt McCord, Damon Schmidt, Andrew D. Byrd, Lal Mohan Bhowmik, Shaya Karimkashi, Dusan S. Zrnic, Richard J. Doviak, Allen Zahrai, Mark Yeary, Robert D. Palmer:
  Cylindrical Polarimetric Phased Array Radar: Beamforming and Calibration for Weather Applications. IEEE Trans. Geosci. Remote. Sens. 55(5): 2827-2841 (2017)
• 
  Angie Wang, Brian C. Richards, Daniel Palmer Dabbelt, Howard Mao, Stevo Bailey, Jaeduk Han, Eric Chang, James Dunn, Elad Alon, Borivoje Nikolic:
  A 0.37mm² LTE/Wi-Fi compatible, memory-based, runtime-reconfigurable 2ⁿ3^m5^k FFT accelerator integrated with a RISC-V core in 16nm FinFET. A-SSCC 2017: 305-308
• 
  Richard Palmer, Kheeran Dharmawardena, Hamish Holewa:
  Adapting Enterprise Architecture for eScience. eScience 2017: 413-422
• 
  Jonathan Bachrach, Albert Magyar, Daniel Palmer Dabbelt, Patrick Li, Richard Lin, Krste Asanovic:
  Cyclist: Accelerating hardware development. ICCAD 2017: 1011-1018
• 
  Adrienne Porter Felt, Richard Barnes, April King, Chris Palmer, Chris Bentzel, Parisa Tabriz:
  Measuring HTTPS Adoption on the Web. USENIX Security Symposium 2017: 1323-1338
• 2015
• 
  Jeffrey T. Palmer, Steven M. Gallo, Thomas R. Furlani, Matthew D. Jones, Robert L. DeLeon, Joseph P. White, Nikolay Simakov, Abani K. Patra, Jeanette M. Sperhac, Thomas Yearke, Ryan Rathsam, Martins Innus, Cynthia D. Cornelius, James C. Browne, William L. Barth, Richard Todd Evans:
  Open XDMoD: A Tool for the Comprehensive Management of High-Performance Computing Resources. Comput. Sci. Eng. 17(4): 52-62 (2015)
• 
  Dusan S. Zrnic, Valery M. Melnikov, Richard Doviak, Robert D. Palmer:
  Scanning Strategy for the Multifunction Phased-Array Radar to Satisfy Aviation and Meteorological Needs. IEEE Geosci. Remote. Sens. Lett. 12(6): 1204-1208 (2015)
• 2014
• 
  Ting Grace Lin, Richard Palmer, Jianhong (Cecilia) Xia, David A. McMeekin:
  Automatic generation of station catchment areas: A comparison of Euclidean distance transform algorithm and location-allocation methods. FSKD 2014: 963-967
• 
  Steven Feiner, Henry Fuchs, Palmer Luckey, Jeri Ellsworth, Richard Marks, Jason Jerald:
  The future is here: augmented and virtual reality. SIGGRAPH Panels 2014: 2:1
• 2013
• 
  Siddhartha Bagaria, Richard Palmer, Jacob Spoelstra:
  HPCC systems and opera solutions deliver a comprehensive suite of tools to support Travel Agents identify and capture new-sell/cross-sell/up-sell opportunities A case study. CTS 2013: 67-68
• 
  Richard Palmer, Geoff A. W. West, Tele Tan:
  Using Depth to Extend Randomised Hough Forests for Object Detection and Localisation. DICTA 2013: 1-8
• 2012
• 
  Mark B. Yeary, Gerald Crain, Allen Zahrai, Christopher D. Curtis, John Meier, Redmond Kelley, Igor R. Ivic, Robert D. Palmer, Richard Doviak, Guifu Zhang, Tian-You Yu:
  Multichannel Receiver Design, Instrumentation, and First Results at the National Weather Radar Testbed. IEEE Trans. Instrum. Meas. 61(7): 2022-2033 (2012)
• 
  Richard Palmer, Geoff A. W. West, Tele Tan:
  Scale Proportionate Histograms of Oriented Gradients for Object Detection in Co-Registered Visual and Range Data. DICTA 2012: 1-8
• 2011
• 
  Gregory A. Landrum, Richard Lewis, Andrew Palmer, Nikolaus Stiefl, Anna Vulpetti:
  Making sure there's a "give" associated with the "take": producing and using open-source software in big pharma. J. Cheminformatics 3(S-1): 3 (2011)
• 2010
• 
  Michael Bryant, Tobias Blanke, Mark Hedges, Richard Palmer:
  Open Source Historical OCR: The OCRopodium Project. ECDL 2010: 522-525
• 2008
• 
  Richard D. Johnson, George M. Marakas, Jonathan W. Palmer:
  Beliefs about the social roles and capabilities of computing technology: development of the computing technology continuum of perspective. Behav. Inf. Technol. 27(2): 169-181 (2008)
• 
  Edward K. Walters II, J. Eliot B. Moss, Trek S. Palmer, Timothy Richards, Charles C. Weems:
  CASL: A rapid-prototyping language for modern micro-architectures. Comput. Lang. Syst. Struct. 34(4): 195-211 (2008)
• 
  Timothy Richards, Edward K. Walters II, J. Eliot B. Moss, Trek S. Palmer, Charles C. Weems:
  Towards universal code generator generation. IPDPS 2008: 1-8

skipping 29 more matches