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

last updated on Sat May 18 06:06:45 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page