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 P0-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 update Mon May 20 17:05:27 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
