Electronic Notes in Theoretical Computer Science, Volume 225

Volume 225, January 2009

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