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

• 2024
• 
  Rod Downey:
  Computability and Complexity - Foundations and Tools for Pursuing Scientific Applications. Undergraduate Topics in Computer Science, Springer 2024, ISBN 978-3-031-53743-1, pp. 3-326
• 
  Kyle Lo, Joseph Chee Chang, Andrew Head, Jonathan Bragg, Amy X. Zhang, Cassidy Trier, Chloe Anastasiades, Tal August, Russell Authur, Danielle Bragg, Erin Bransom, Isabel Cachola, Stefan Candra, Yoganand Chandrasekhar, Yen-Sung Chen, Evie Yu-Yen Cheng, Yvonne Chou, Doug Downey, Rob Evans, Raymond Fok, Fangzhou Hu, Regan Huff, Dongyeop Kang, Tae Soo Kim, Rodney Kinney, Aniket Kittur, Hyeonsu B. Kang, Egor Klevak, Bailey Kuehl, Michael Langan, Matt Latzke, Jaron Lochner, Kelsey MacMillan, Eric Marsh, Tyler Murray, Aakanksha Naik, Ngoc-Uyen Nguyen, Srishti Palani, Soya Park, Caroline Paulic, Napol Rachatasumrit, Smita Rao, Paul Sayre, Zejiang Shen, Pao Siangliulue, Luca Soldaini, Huy Tran, Madeleine van Zuylen, Lucy Lu Wang, Chris Wilhelm, Caroline Wu, Jiangjiang Yang, Angele Zamarron, Marti A. Hearst, Daniel S. Weld:
  The Semantic Reader Project. Commun. ACM 67(10): 50-61 (2024)
• 
  Klaus Ambos-Spies, Rod Downey, Martin Monath:
  Lowness properties for strong reducibilities and the computational power of maximal sets. Comput. 13(1): 1-56 (2024)
• 
  Rod Downey, Noam Greenberg, Long Qian:
  Some Open Questions and Recent Results on Computable Banach Spaces. CiE 2024: 10-26
• 2023
• 
  Rodney G. Downey, Alexander G. Melnikov:
  Computably Compact Metric Spaces. Bull. Symb. Log. 29(2): 170-263 (2023)
• 
  Matthew Askes, Rod Downey:
  Online, computable and punctual structure theory. Log. J. IGPL 31(6): 1251-1293 (2023)
• 
  Rodney Kinney, Chloe Anastasiades, Russell Authur, Iz Beltagy, Jonathan Bragg, Alexandra Buraczynski, Isabel Cachola, Stefan Candra, Yoganand Chandrasekhar, Arman Cohan, Miles Crawford, Doug Downey, Jason Dunkelberger, Oren Etzioni, Rob Evans, Sergey Feldman, Joseph Gorney, David Graham, Fangzhou Hu, Regan Huff, Daniel King, Sebastian Kohlmeier, Bailey Kuehl, Michael Langan, Daniel Lin, Haokun Liu, Kyle Lo, Jaron Lochner, Kelsey MacMillan, Tyler Murray, Chris Newell, Smita Rao, Shaurya Rohatgi, Paul Sayre, Zejiang Shen, Amanpreet Singh, Luca Soldaini, Shivashankar Subramanian, Amber Tanaka, Alex D. Wade, Linda Wagner, Lucy Lu Wang, Chris Wilhelm, Caroline Wu, Jiangjiang Yang, Angele Zamarron, Madeleine van Zuylen, Daniel S. Weld:
  The Semantic Scholar Open Data Platform. CoRR abs/2301.10140 (2023)
• 
  Kyle Lo, Joseph Chee Chang, Andrew Head, Jonathan Bragg, Amy X. Zhang, Cassidy Trier, Chloe Anastasiades, Tal August, Russell Authur, Danielle Bragg, Erin Bransom, Isabel Cachola, Stefan Candra, Yoganand Chandrasekhar, Yen-Sung Chen, Evie Yu-Yen Cheng, Yvonne Chou, Doug Downey, Rob Evans, Raymond Fok, Fangzhou Hu, Regan Huff, Dongyeop Kang, Tae Soo Kim, Rodney Kinney, Aniket Kittur, Hyeonsu B. Kang, Egor Klevak, Bailey Kuehl, Michael Langan, Matt Latzke, Jaron Lochner, Kelsey MacMillan, Eric Marsh, Tyler Murray, Aakanksha Naik, Ngoc-Uyen Nguyen, Srishti Palani, Soya Park, Caroline Paulic, Napol Rachatasumrit, Smita Rao, Paul Sayre, Zejiang Shen, Pao Siangliulue, Luca Soldaini, Huy Tran, Madeleine van Zuylen, Lucy Lu Wang, Chris Wilhelm, Caroline Wu, Jiangjiang Yang, Angele Zamarron, Marti A. Hearst, Daniel S. Weld:
  The Semantic Reader Project: Augmenting Scholarly Documents through AI-Powered Interactive Reading Interfaces. CoRR abs/2303.14334 (2023)
• 2022
• 
  Rod Downey, Noam Greenberg, Matthew Harrison-Trainor, Ludovic Patey, Dan Turetsky:
  Relationships between Computability-Theoretic Properties of Problems. J. Symb. Log. 87(1): 47-71 (2022)
• 
  Rod Downey, Matthew Harrison-Trainor:
  A Minimal Set Low for Speed. J. Symb. Log. 87(4): 1693-1728 (2022)
• 2021
• 
  Katherine Arthur, Rod Downey, Noam Greenberg:
  Maximality and collapse in the hierarchy of α-c.a. degrees. Comput. 10(3): 181-214 (2021)
• 
  Klaus Ambos-Spies, Rodney G. Downey, Martin Monath:
  On Supersets of non-low 22_2 Sets. J. Symb. Log. 86(3): 1282-1292 (2021)
• 
  Rod Downey, Alexander G. Melnikov, Keng Meng Ng:
  Foundations of Online Structure Theory II: The Operator Approach. Log. Methods Comput. Sci. 17(3) (2021)
• 2020
• 
  Laurent Bienvenu, Rod Downey:
  On low for speed oracles. J. Comput. Syst. Sci. 108: 49-63 (2020)
• 
  Rodney G. Downey, Matthew Harrison-Trainor, Iskander Sh. Kalimullin, Alexander G. Melnikov, Daniel Turetsky:
  Graphs are not universal for online computability. J. Comput. Syst. Sci. 112: 1-12 (2020)
• 
  Rod Downey, Noam Greenberg, Alexander G. Melnikov, Keng Meng Ng, Daniel Turetsky:
  Punctual Categoricity and Universality. J. Symb. Log. 85(4): 1427-1466 (2020)
• 
  Rodney G. Downey, Alexander G. Melnikov:
  Computable Analysis and Classification Problems. CiE 2020: 100-111
• 2019
• 
  Rod Downey, Alexander G. Melnikov, Keng Meng Ng:
  Categorical linearly ordered structures. Ann. Pure Appl. Log. 170(10): 1243-1255 (2019)
• 
  Nikolay Bazhenov, Rod Downey, Iskander Sh. Kalimullin, Alexander G. Melnikov:
  Foundations of Online Structure Theory. Bull. Symb. Log. 25(2): 141-181 (2019)
• 
  Rod Downey, Denis R. Hirschfeldt:
  Algorithmic randomness. Commun. ACM 62(5): 70-80 (2019)
• 
  Vasco Brattka, Rod Downey, Julia F. Knight, Steffen Lempp:
  Preface of the special issue for the Oberwolfach Workshop on Computability Theory 2018. Comput. 8(3-4): 191 (2019)
• 
  Ellen Chih, Rod Downey:
  Splitting theorems and low degrees. Comput. 8(3-4): 243-252 (2019)
• 
  Rodney G. Downey, Satyadev Nandakumar:
  A Weakly 2-Generic which Bounds a Minimal degree. J. Symb. Log. 84(4): 1326-1347 (2019)
• 
  Rodney G. Downey, Satyadev Nandakumar, André Nies:
  Martin-Löf Randomness Implies Multiple Recurrence in Effectively Closed Sets. Notre Dame J. Formal Log. 60(3): 491-502 (2019)
• 2018
• 
  Rod Downey, Keng Meng Ng:
  Splitting into degrees with low computational strength. Ann. Pure Appl. Log. 169(8): 803-834 (2018)
• 
  Rod Downey, Noam Greenberg:
  A Hierarchy of computably Enumerable Degrees. Bull. Symb. Log. 24(1): 53-89 (2018)
• 
  Rodney G. Downey, Guohua Wu, Yue Yang:
  Degrees containing members of thin Π10 classes are dense and co-dense. J. Math. Log. 18(1): 1850001:1-1850001:47 (2018)
• 
  Rod Downey, Jonathan Stephenson:
  Avoiding Effective Packing Dimension 1 below array Noncomputable C.E. Degrees. J. Symb. Log. 83(2): 717-739 (2018)
• 
  Rod Downey, Denis R. Hirschfeldt, Bjørn Kjos-Hanssen:
  Preface. Theory Comput. Syst. 62(7): 1553-1554 (2018)
• 
  Waleed Ammar, Dirk Groeneveld, Chandra Bhagavatula, Iz Beltagy, Miles Crawford, Doug Downey, Jason Dunkelberger, Ahmed Elgohary, Sergey Feldman, Vu Ha, Rodney Kinney, Sebastian Kohlmeier, Kyle Lo, Tyler Murray, Hsu-Han Ooi, Matthew E. Peters, Joanna Power, Sam Skjonsberg, Lucy Lu Wang, Chris Wilhelm, Zheng Yuan, Madeleine van Zuylen, Oren Etzioni:
  Construction of the Literature Graph in Semantic Scholar. NAACL-HLT (3) 2018: 84-91

skipping 211 more matches