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

• 2024
• 
  Wesley Calvert, Valentina S. Harizanov, Eugenio G. Omodeo, Alberto Policriti, Alexandra Shlapentokh:
  In Memory of Martin Davis. CoRR abs/2401.10154 (2024)
• 2023
• 
  Wesley Calvert, Johanna N. Y. Franklin, Dan Turetsky:
  Structural Highness Notions. J. Symb. Log. 88(4): 1692-1724 (2023)
• 
  Wesley Calvert, Douglas Cenzer, Valentina S. Harizanov:
  Generically Computable Abelian Groups. UCNC 2023: 32-45
• 
  Wesley Calvert, Emma Grunner, Elvira Mayordomo, Daniel Turetsky, Java Darleen Villano:
  Normality, Relativization, and Randomness. CoRR abs/2312.10204 (2023)
• 2022
• 
  Wesley Calvert, Douglas Cenzer, Valentina S. Harizanov:
  Generically and coarsely computable isomorphisms. Comput. 11(3-4): 223-239 (2022)
• 
  Rachael Alvir, Wesley Calvert, Grant Goodman, Valentina S. Harizanov, Julia F. Knight, Russell G. Miller, Andrey S. Morozov, Alexandra A. Soskova, Rose Weisshaar:
  Interpreting a field in its Heisenberg Group. J. Symb. Log. 87(3): 1215-1230 (2022)
• 
  Wesley Calvert, Douglas Cenzer, Valentina S. Harizanov:
  Densely computable structures. J. Log. Comput. 32(3): 581-607 (2022)
• 
  Alexander Calvert, Wesley P. Chan, Tin Tran, Sara Sheikholeslami, Rhys Newbury, Akansel Cosgun, Elizabeth A. Croft:
  Comparing Subjective Perceptions of Robot-to-Human Handover Trajectories. CoRR abs/2211.08733 (2022)
• 2018
• 
  Wesley Calvert, Andrey N. Frolov, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy, Alexandra A. Soskova, Stefan V. Vatev:
  Strong jump inversion. J. Log. Comput. 28(7): 1499-1522 (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)
• 2016
• 
  Nawrin Sultana, Alexander Calvert, Jeffrey L. Overbey, Galen Wesley Arnold:
  From OpenACC to OpenMP 4: Toward Automatic Translation. XSEDE 2016: 44:1-44:8
• 2015
• 
  Wesley Calvert:
  PAC learning, VC dimension, and the arithmetic hierarchy. Arch. Math. Log. 54(7-8): 871-883 (2015)
• 
  Wesley Calvert, Johanna N. Y. Franklin:
  Genericity and UD-random reals. J. Log. Anal. 7 (2015)
• 2014
• 
  Wesley Calvert, Valentina S. Harizanov, Alexandra Shlapentokh:
  Turing Degrees of Isomorphism Types of Geometric Objects. Comput. 3(2): 105-134 (2014)
• 
  Wesley Calvert:
  PAC Learning, VC Dimension, and the Arithmetic Hierarchy. CoRR abs/1406.1111 (2014)
• 2013
• 
  Wesley Calvert:
  Review of universal semantic communication by B. Juba. SIGACT News 44(3): 12-15 (2013)
• 
  Elham Sahebkar Khorasani, Shahram Rahimi, Wesley Calvert:
  Formalization of Generalized Constraint Language: A Crucial Prelude to Computing With Words. IEEE Trans. Cybern. 43(1): 246-258 (2013)
• 2012
• 
  Wesley Calvert:
  Review of process algebra: equational theories of communicating processes by J. C. M. Baeten, T. Basten, and M. A. Reniers. SIGACT News 43(2): 36-38 (2012)
• 2011
• 
  Wesley Calvert, Ken Kramer, Russell G. Miller:
  Noncomputable functions in the Blum-Shub-Smale model. Log. Methods Comput. Sci. 7(2) (2011)
• 
  Wesley Calvert:
  Metric structures and probabilistic computation. Theor. Comput. Sci. 412(25): 2766-2775 (2011)
• 
  Wesley Calvert, Russell G. Miller, Jennifer Chubb Reimann:
  The Distance Function on a Computable Graph. CoRR abs/1111.2480 (2011)
• 2010
• 
  Wesley Calvert:
  Computability of julia sets by Mark Braverman and Michael Yampolsky, Publisher: Springer, 2009. SIGACT News 41(1): 51-53 (2010)
• 
  Wesley Calvert, Ken Kramer, Russell G. Miller:
  The Cardinality of an Oracle in Blum-Shub-Smale Computation. CCA 2010: 56-66
• 2009
• 
  Wesley Calvert, Sergei S. Goncharov, Julia F. Knight, Jessica Millar:
  Categoricity of computable infinitary theories. Arch. Math. Log. 48(1): 25-38 (2009)
• 
  Wesley Calvert, Douglas A. Cenzer, Valentina S. Harizanov, Andrei S. Morozov:
  Effective categoricity of Abelian p-groups. Ann. Pure Appl. Log. 159(1-2): 187-197 (2009)
• 
  Wesley Calvert, Russell G. Miller:
  Real Computable Manifolds and Homotopy Groups. UC 2009: 98-109
• 2008
• 
  Wesley Calvert, John E. Porter:
  Infinitary Queries in Spatial Databases. CoRR abs/0803.3404 (2008)
• 
  Wesley Calvert:
  Metric Structures and Probabilistic Computation. CoRR abs/0806.0398 (2008)
• 2007
• 
  Wesley Calvert, Ekaterina B. Fokina, Sergei S. Goncharov, Julia F. Knight, Oleg V. Kudinov, Andrei S. Morozov, Vadim Puzarenko:
  Index sets for classes of high rank structures. J. Symb. Log. 72(4): 1418-1432 (2007)
• 2006
• 
  Wesley Calvert, Douglas Cenzer, Valentina S. Harizanov, Andrei S. Morozov:
  Effective categoricity of equivalence structures. Ann. Pure Appl. Log. 141(1-2): 61-78 (2006)

skipping 4 more matches