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

• 2021
• 
  Pawan Kumar, Ravins Dohare:
  Formalising and Detecting Community Structures in Real World Complex Networks. J. Syst. Sci. Complex. 34(1): 180-205 (2021)
• 
  Sara-Jane Dunn, Hillel Kugler, Boyan Yordanov:
  Formal Analysis of Network Motifs Links Structure to Function in Biological Programs. IEEE ACM Trans. Comput. Biol. Bioinform. 18(1): 261-271 (2021)
• 2020
• 
  Jens Kötters, Peter W. Eklund:
  Conjunctive query pattern structures: A relational database model for Formal Concept Analysis. Discret. Appl. Math. 273: 144-171 (2020)
• 
  Yunli Ren:
  Formal concept attribute partial-order structure diagram and applications. Int. J. Comput. Appl. Technol. 64(1): 57-67 (2020)
• 
  Hugh Kellam:
  Structure and Delivery for Mobile Learning Experiences: Marrying Informal Flexibility With Formal Stability. Int. J. Online Pedagog. Course Des. 10(1): 15-33 (2020)
• 
  Qiang Wu, Yan Dong, Liping Xie:
  Finding the Key Structure of Mechanical Parts with Formal Concept Analysis. Inf. 11(2): 116 (2020)
• 
  John Lowe, Joseph Lovestrand:
  Minimal phrase structure: a new formalized theory of phrase structure. J. Lang. Model. 8(1): 1-52 (2020)
• 
  Marcelo E. Coniglio, Aldo Figallo Orellano, Ana Claudia Golzio:
  First-order swap structures semantics for some logics of formal inconsistency. J. Log. Comput. 30(6): 1257-1290 (2020)
• 
  Tracy Ann Sykes:
  Enterprise System Implementation and Employee Job Outcomes: Understanding the Role of Formal and Informal Support Structures Using the Job Strain Model. MIS Q. 44(4) (2020)
• 
  Michael C. Laskowski, Caroline A. Terry:
  Uniformly Bounded Arrays and Mutually Algebraic Structures. Notre Dame J. Formal Log. 61(2): 265-282 (2020)
• 
  Kezhen Chen, Qiuyuan Huang, Hamid Palangi, Paul Smolensky, Kenneth D. Forbus, Jianfeng Gao:
  Mapping natural-language problems to formal-language solutions using structured neural representations. ICML 2020: 1566-1575
• 
  Yongrui Chen, Huiying Li, Yuncheng Hua, Guilin Qi:
  Formal Query Building with Query Structure Prediction for Complex Question Answering over Knowledge Base. IJCAI 2020: 3751-3758
• 
  Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Johann Schumann:
  Generation of Formal Requirements from Structured Natural Language. REFSQ 2020: 19-35
• 
  Torin Viger, Rick Salay, Gehan M. K. Selim, Marsha Chechik:
  Just Enough Formality in Assurance Argument Structures. SAFECOMP 2020: 34-49
• 
  Zena M. Ariola:
  5th International Conference on Formal Structures for Computation and Deduction, FSCD 2020, June 29-July 6, 2020, Paris, France (Virtual Conference). LIPIcs 167, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-155-9 [contents]
• 
  Huaikou Miao, Cong Tian, Shaoying Liu, Zhenhua Duan:
  Structured Object-Oriented Formal Language and Method - 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers. Lecture Notes in Computer Science 12028, Springer 2020, ISBN 978-3-030-41417-7 [contents]
• 
  Andreas Lochbihler, Ognjen Maric:
  Authenticated Data Structures As Functors. Arch. Formal Proofs 2020 (2020)
• 
  Jake R. Hanson, Sara Imari Walker:
  Formalizing Falsification of Causal Structure Theories for Consciousness Across Computational Hierarchies. CoRR abs/2006.07390 (2020)
• 
  Travis A. Whetsell, Alexander Kroll, Leisha DeHart-Davis:
  Formal Hierarchies and Informal Networks: How Organizational Structure Shapes Information Search in Local Government. CoRR abs/2006.08019 (2020)
• 2019
• 
  Yanhong Huang, Xiangxing Bu, Gang Zhu, Xin Ye, Xiaoran Zhu, Jianqi Shi:
  KST: Executable Formal Semantics of IEC 61131-3 Structured Text for Verification. IEEE Access 7: 14593-14602 (2019)
• 
  Katalin Tunde Janosi-Rancz, Zoltán Kátai, David Iclanzan:
  Linking Formal and Informal Structures based on Members' E-mail Communication Patterns. Aust. J. Intell. Inf. Process. Syst. 17(1): 9-16 (2019)
• 
  Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden:
  Consistency-preserving refactoring of refinement structures in Event-B models. Formal Aspects Comput. 31(3): 287-320 (2019)
• 
  Yanhui Zhai, Deyu Li:
  Knowledge structure preserving fuzzy attribute reduction in fuzzy formal context. Int. J. Approx. Reason. 115: 209-220 (2019)
• 
  Keng Meng Ng, Hongyuan Yu:
  On the Degree Structure of Equivalence Relations Under Computable Reducibility. Notre Dame J. Formal Log. 60(4): 733-761 (2019)
• 
  Pierre Simon, Erik Walsberg:
  Tame Topology over dp-Minimal Structures. Notre Dame J. Formal Log. 60(1): 61-76 (2019)
• 
  Chandan Sharma, Roopak Sinha:
  A Schema-First Formalism for Labeled Property Graph Databases: Enabling Structured Data Loading and Analytics. BDCAT 2019: 71-80
• 
  Semyon V. Grigorev, Polina Lunina:
  The Composition of Dense Neural Networks and Formal Grammars for Secondary Structure Analysis. BIOINFORMATICS 2019: 234-241
• 
  Polina Lunina, Semyon V. Grigorev:
  On Secondary Structure Analysis by Using Formal Grammars and Artificial Neural Networks. CIBB 2019: 193-203
• 
  Nyoman Juniarta, Miguel Couceiro, Amedeo Napoli:
  A Unified Approach to Biclustering Based on Formal Concept Analysis and Interval Pattern Structure. DS 2019: 51-60
• 
  Aniello De Santo, Thomas Graf:
  Structure Sensitive Tier Projection: Applications and Formal Properties. FG 2019: 35-50

skipping 442 more matches