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

• 2009
• 
  Anthony Karel Seda, Menouer Boubekeur, Ted Hurley, Mícheál Mac an Airchinnigh, Michel P. Schellekens, Glenn Strong:
  Proceedings of the Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, MFCSIT 2006, Cork, Ireland, August 1-5, 2006. Electronic Notes in Theoretical Computer Science 225, Elsevier 2009 [contents]
• 2006
• 
  Adam Antonik, Nathaniel Charlton, Michael Huth:
  Polynomial-Time Under-Approximation of Winning Regions in Parity Games. MFCSIT 2006: 115-139
• 
  David B. Bracewell, Jiajun Yan, Fuji Ren, Shingo Kuroiwa:
  Category Classification and Topic Discovery of Japanese and English News Articles. MFCSIT 2006: 51-65
• 
  Shane Ó Conchúir:
  Kind Bigraphs. MFCSIT 2006: 361-377
• 
  Patrik Eklund, Maria A. Galán, Werner Gähler:
  Partially Ordered Monads for Monadic Topologies, Rough Sets and Kleene Algebras. MFCSIT 2006: 67-81
• 
  Hugh Gibbons:
  Definite Descriptions and Dijkstra's Odd Powers of Odd Integers Problem. MFCSIT 2006: 83-98
• 
  Michaela Heyer:
  Randomness Preserving Deletions on Special Binary Search Trees. MFCSIT 2006: 99-113
• 
  Michael Johnson, David A. Naumann, John Power:
  Category Theoretic Models of Data Refinement. MFCSIT 2006: 21-38
• 
  Ekaterina Komendantskaya, Anthony Karel Seda:
  Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs. MFCSIT 2006: 141-159
• 
  Vladimir Komendantsky:
  Denotational Semantics of Call-by-name Normalization in Lambda-mu Calculus. MFCSIT 2006: 161-179
• 
  Máire Lane, Anthony Karel Seda:
  Properties of General Semantic Operators Determined by Logic-Based Systems. MFCSIT 2006: 181-194
• 
  Lei Li, Koya Hattori:
  An Asymptotic Approach for Testing P₀-Matrices. MFCSIT 2006: 195-200
• 
  Grant Malcolm:
  Sheaves, Objects, and Distributed Systems. MFCSIT 2006: 3-19
• 
  Maurice Margenstern:
  Surprising Areas in the Quest for Small Universal Devices. MFCSIT 2006: 201-220
• 
  Kazuyuki Matsumoto, Tetsuya Tanioka, Kyoko Osaka, Ai Kawamura, Syu-ichi Ueno, Fuji Ren, Yoichiro Takasaka, Alan Barnard, Rozzano C. Locsin, Mitsuko Omori:
  Developing the Method of Server Controlled Outcomes Management and Variance Analysis. MFCSIT 2006: 221-237
• 
  Tsuyako Miyakoda:
  Discretized Fractional Calculus with a Series of Chebyshev Polynomial. MFCSIT 2006: 239-244
• 
  Colm Ó'Dúnlaing:
  A Simple Criterion for Nodal 3-connectivity in Planar Graphs. MFCSIT 2006: 245-253
• 
  John Power, Miki Tanaka:
  Axiomatics for Data Refinement in Call by Value Programming Languages. MFCSIT 2006: 281-302
• 
  Fuji Ren:
  Affective Information Processing and Recognizing Human Emotion. MFCSIT 2006: 39-50
• 
  Fuji Ren, David B. Bracewell:
  Advanced Information Retrieval. MFCSIT 2006: 303-317
• 
  Agustin Riscos-Núñez:
  A Framework for Complexity Classes in Membrane Computing. MFCSIT 2006: 319-328
• 
  Salvador Romaguera, Pedro Tirado:
  Contraction Maps on Ifqm-spaces with Application to Recurrence Equations of Quicksort. MFCSIT 2006: 269-279
• 
  Manabu Sasayama, Fuji Ren, Shingo Kuroiwa:
  Automatic Extraction of Super-Function From Bilingual Corpus. MFCSIT 2006: 329-340
• 
  Michel P. Schellekens:
  A Random Bag Preserving Product Operation. MFCSIT 2006: 341-360
• 
  Anthony Karel Seda, Menouer Boubekeur, Ted Hurley, Mícheál Mac an Airchinnigh, Michel P. Schellekens, Glenn Strong:
  Preface. MFCSIT 2006: 1-2
• 
  Hiroyuki Takizawa, Tatsuya Chida, Hiroaki Kobayashi:
  Evaluating Computational Performance of Backpropagation Learning on Graphics Hardware. MFCSIT 2006: 379-389
• 
  Jacinta Townley, Joseph Manning, Michel P. Schellekens:
  Sorting Algorithms in MOQA. MFCSIT 2006: 391-404
• 
  Cillian Ó Tuama, James P. Gleeson:
  Combined Effects of Frequency Quantization and Additive Input Noise in a First-order Digital PLL. MFCSIT 2006: 255-268
• 
  Olga Tveretina, Wieger Wesselink:
  EufDpll - A Tool to Check Satisfiability of Equality Logic Formulas. MFCSIT 2006: 405-420
• 
  Thierry Vallée:
  Functionally-Generalised MOQA Operations. MFCSIT 2006: 421-439

skipping 2 more matches