![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
4th MFCSIT 2006: Cork, Ireland
- 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 - 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.