Fundamenta Informaticae - researchr journal

303	--	313	Igor Bocharov, Pavel Lukin. Information Divergence Criterion in Speech Signal Recognition
315	--	331	Chih-Yang Lin, Chin-Chen Chang, Chia-Chen Lin. A New Density-Based Scheme for Clustering Based on Genetic Algorithm
333	--	356	Timo Poranen. A Genetic Hillclimbing Algorithm for the Optimal Linear Arrangement Problem
357	--	378	Guilin Qi, Peter Milligan, Paul Sage. Incidence Calculus on Lukasiewicz s Three-valued Logic
379	--	398	Marcin Sydow. Random Surfer with Back Step
399	--	406	Hsien-Chu Wu, Min-Shiang Hwang, Chia-Hsin Liu. A Secure Strong-Password Authentication Protocol

207	--	220	Chin-Chen Chang, Chi-Shiang Chan. An Inverse Halftoning Technique Using Modified Look-Up Tables
221	--	230	Ewa Palka. On Finite Model Property of the Equational Theory of Kleene Algebras
231	--	247	Michael Stay. Very Simple Chaitin Machines for Concrete AIT
249	--	288	Mark-Oliver Stehr. The Open Calculus of Constructions (Part II): An Equational Type Theory with Dependent Types for Programming, Specification, and Interactive Theorem Proving
289	--	301	Guoyin Wang, Jun Zhao, Jiu-Jiang An, Yu Wu. A Comparative Study of Algebra Viewpoint and Information Viewpoint in Attribute Reduction

1	--	19	Mariusz Boryczka. Eliminating Introns in Ant Colony Programming
21	--	46	Alfredo Burrieza, Manuel Ojeda-Aciego. A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning with Comparability and Negligibility Relations
47	--	102	Eugene Eberbach. -Calculus of Bounded Rational Agents: Flexible Optimization as Search under Bounded Resources in Interactive Systems
103	--	130	Harald Fecher, Mila E. Majster-Cederbaum. Event Structures for Arbitrary Disruption
131	--	174	Mark-Oliver Stehr. The Open Calculus of Constructions (Part I): An Equational Type Theory with Dependent Types for Programming, Specification, and Interactive Theorem Proving
175	--	206	Józef Winkowski. Towards a Framework for Modelling Systems with Rich Internal Structures of States and Processes

External Links