• 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 5,340 matches

• 2025
• 
  Daichi Hayashi:
  Theories of Frege structure equivalent to Feferman's system T0. Ann. Pure Appl. Log. 176(1): 103510 (2025)
• 2024
• 
  Min Han, Dekun Zhu, Xintong Wen, Liang Shu, Zhiwei Yao:
  Research on Dialect Protection: Interaction Design of Chinese Dialects Based on BLSTM-CRF and FBM Theories. IEEE Access 12: 22059-22071 (2024)
• 
  Fiona Torzewska:
  Topological Quantum Field Theories and Homotopy Cobordisms. Appl. Categorical Struct. 32(4): 22 (2024)
• 
  Paolo Maffezioli:
  Cut elimination for coherent theories in negation normal form. Arch. Math. Log. 63(3-4): 427-445 (2024)
• 
  Juvenal Murwanashyaka:
  Weak essentially undecidable theories of concatenation, part II. Arch. Math. Log. 63(3-4): 353-390 (2024)
• 
  M. Malliaris, Saharon Shelah:
  Some simple theories from a Boolean algebra point of view. Ann. Pure Appl. Log. 175(Issue 1, Part B): 103345 (2024)
• 
  Kentaro Sato:
  A new model construction by making a detour via intuitionistic theories IV: A closer connection between KPω and BI. Ann. Pure Appl. Log. 175(7): 103422 (2024)
• 
  Ming Liu, Hongjun Zhang, Zeshui Xu, Kun Ding:
  The fusion of fuzzy theories and natural language processing: A state-of-the-art survey. Appl. Soft Comput. 162: 111818 (2024)
• 
  Esteban Induráin, Ana Munárriz, M. Sergio Sara:
  Extensions of Orders to a Power Set vs. Scores of Hesitant Fuzzy Elements: Points in Common of Two Parallel Theories. Axioms 13(8): 549 (2024)
• 
  Zaihang Su, Yisong Wang, Renyan Feng, Chan Zhou:
  Satisfiability Threshold of Random Propositional S5 Theories. Axioms 13(4): 241 (2024)
• 
  Kenneth David Strang:
  Cybercrime Risk Found in Employee Behavior Big Data Using Semi-Supervised Machine Learning with Personality Theories. Big Data Cogn. Comput. 8(4): 37 (2024)
• 
  Massimo Di Giulio:
  Theories of the origin of the genetic code: Strong corroboration for the coevolution theory. Biosyst. 239: 105217 (2024)
• 
  Sun Qiao, Wu Feng:
  The effect of novel linguistic-based review features on review helpfulness through information ecosystem and ELM theories: Heterogeneity analysis across platforms. Comput. Hum. Behav. 160: 108357 (2024)
• 
  David Mortimore, Mustafa Canan, Raymond R. Buettner:
  Two probability theories and a garbage can. Comput. Math. Organ. Theory 30(2): 148-160 (2024)
• 
  Vasily E. Tarasov:
  Generalization of Noether Theorem and action principle for non-Lagrangian theories. Commun. Nonlinear Sci. Numer. Simul. 128: 107601 (2024)
• 
  Andreas Fischer, Alexey F. Izmailov, Mikhail V. Solodov:
  The Levenberg-Marquardt method: an overview of modern convergence theories and more. Comput. Optim. Appl. 89(1): 33-67 (2024)
• 
  Asim Roy, Ali A. Minai, Jean-Philippe Thivierge, Tsvi Achler, Juyang Weng:
  Editorial: What AI and Neuroscience Can Learn from Each Other - Open Problems in Models and Theories. Cogn. Comput. 16(5): 2331-2333 (2024)
• 
  Erratum for "Chunking Versus Transitional Probabilities: Differentiating Between Theories of Statistical Learning". Cogn. Sci. 48(6) (2024)
• 
  A. Germán Márquez, Ángel Jesús Varela-Vaca, María Teresa Gómez-López, José A. Galindo, David Benavides:
  Vulnerability impact analysis in software project dependencies based on Satisfiability Modulo Theories (SMT). Comput. Secur. 139: 103669 (2024)
• 
  Nikolaos Sergis, Christos Troussas, Akrivi Krouska, Christina Tzortzi, Georgios Bardis, Cleo Sgouropoulou:
  ADHD Dog: A Virtual Reality Intervention Incorporating Behavioral and Sociocultural Theories with Gamification for Enhanced Regulation in Individuals with Attention Deficit Hyperactivity Disorder. Comput. 13(2): 46 (2024)
• 
  Robert V. Harlander, Magnus C. Schaaf:
  AutoEFT: Automated operator construction for effective field theories. Comput. Phys. Commun. 300: 109198 (2024)
• 
  Sergio Sevillano Muñoz, Edmund J. Copeland, Peter Millington, Michael Spannowsky:
  FeynMG: A FeynRules extension for scalar-tensor theories of gravity. Comput. Phys. Commun. 296: 109035 (2024)
• 
  Gabriel S. Rocha, David Wagner, Gabriel S. Denicol, Jorge Noronha, Dirk H. Rischke:
  Theories of Relativistic Dissipative Fluid Dynamics. Entropy 26(3): 189 (2024)
• 
  Vijay M. Tangde, Anil A. Bhalekar, Bjarne Andresen:
  Thermodynamic Stability Theories of Irreversible Processes and the Fourth Law of Thermodynamics. Entropy 26(6): 442 (2024)
• 
  Mohsen Ghasemizade, Jeremiah Onaolapo:
  Developing a hierarchical model for unraveling conspiracy theories. EPJ Data Sci. 13(1): 31 (2024)
• 
  Xiaohao Cai, Youwei Wen, Jianming Liang:
  Editorial: Segmentation and classification: theories, algorithms and applications. Frontiers Comput. Sci. 6 (2024)
• 
  Annette Kluge, Uta Wilkens, Verena Nitsch, Corinna Peifer:
  Editorial: Human-centered AI at work: common ground in theories and methods. Frontiers Artif. Intell. 7 (2024)
• 
  María José Casany Guerrero, Marc Alier Forment:
  Case Studies About Moral Dilemas to Apply Ethical Theories in Engineering Education. Rev. Iberoam. de Tecnol. del Aprendiz. 19: 1-6 (2024)
• 
  Jean-Pierre Aubin, Pierre-Cyril Aubin-Frankowski, Vladimir Lozève:
  Reintroducing Time, Money and Constraints: Viability to Bridge the Economic and Monetary Theories. IGTR 26(2): 2440001:1-2440001:29 (2024)
• 
  Jasper De Bock, Gert De Cooman, Cassio P. de Campos:
  Extended papers from the 11th International Symposium on Imprecise Probabilities: Theories and Applications. Int. J. Approx. Reason. 168: 109150 (2024)

skipping 5,310 more matches