Electronic Notes in Theoretical Computer Science, Volume 225
Volume 225, January 2009
- Grant Malcolm: Sheaves, Objects, and Distributed Systems. 3-19
- 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
- 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
- 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
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team