Contents of Fundamenta Informaticae Volume 68


Number 1-2, Summer 2005
Number 3, Summer - Autumn 2005
Number 4, Autumn 2005

Contents of Volume 68, Number 1-2, Summer 2005

Click on title for abstract


Eliminating 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


Contents of Volume 68, Number 3, Summer-Autumn 2005

Click on title for abstract


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


Contents of Volume 68, Number 4, Autumn 2005

Click on title for abstract


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