Number 1-2,
Summer 2005Number 3,
Summer - Autumn 2005Number
4, Autumn 2005Number 1-2,
Summer 2005Number 3,
Summer - Autumn 2005Number
4, Autumn 2005Eliminating Introns in Ant Colony Programming
Mariusz Boryczka
A Multimodal Logic Approach to Order of Magnitude
Qualitative Reasoning with Comparability and Negligibility Relations
Alfredo Burrieza and Manuel Ojeda-Aciego
$-Calculus of Bounded Rational Agents:
Flexible Optimization as Search under Bounded Resources in Interactive Systems
Eugene Eberbach
Event Structures for Arbitrary Disruption
Harald Fecher and Mila Majster-Cederbaum
The Open Calculus of Constructions (Part I): An Equational Type
Theory with Dependent Types for Programming, Specification, and
Interactive Theorem Proving
Mark-Oliver Stehr
Towards a Framework for Modelling Systems with Rich Internal Structures of States and Processes
Józef Winkowski
An Inverse Halftoning Technique Using Modified Look-Up
Tables
Chin-Chen Chang and Chi-Shiang Chan
On Finite Model Property of the Equational Theory of Kleene Algebras
Ewa Palka
Very Simple Chaitin Machines for Concrete AIT
Michael Stay
The Open Calculus of Constructions (Part II):
An Equational Type
Theory with Dependent Types for Programming, Specification, and
Interactive Theorem Proving
Mark-Oliver Stehr
A Comparative Study of Algebra Viewpoint
and Information Viewpoint in Attribute Reduction
Guoyin Y. Wang, Jun Zhao, Jiujiang An, Yu Wu
Information Divergence Criterion in Speech Signal Recognition
Igor Bocharov and Pavel Lukin
A New Density-Based Scheme for Clustering Based on Genetic Algorithm
Chih-Yang Lin, Chin-Chen Chang and Chia-Chen Lin
A Genetic Hillclimbing Algorithm for the Optimal Linear Arrangement Problem
Timo Poranen
Incidence Calculus on
Łukasiewicz's Three-valued Logic
Guilin Qi, Peter Milligan and Paul Sage
Random Surfer with Back Step
Marcin Sydow
A Secure Strong-Password Authentication Protocol
Hsien-Chu Wu, Min-Shiang Hwang and Chia-Hsin Liu