Volume 8, Number 2, 2005 (pp. 85–178)

CONTENTS:
 

Virginia NICULESCU
A Refinement Calculus Based on Domain Decomposition of Parallel Programs
pp. 87–98

Jan KOLLAR, Valerie NOVITZKA, Peter VACLAVIK, Jaroslav PORUBAN
Process Functional Form of Imperative Programs
pp. 99–114

Stathis LIVADAS
The phenomenological roots of nonstandard mathematics
pp. 115–136

Cristian LUPU
Spatial Locality of a Network Measured by Contour Patterns – A Topographic Model
pp. 137–152

Dragoş TRINCĂ
Adaptive Codes: A New Class of Non-standard Variable-length Codes
pp. 153–162

Reda ADJOUDJ, Aouad BOUKELIF
Artificial Neural Network & Multilevel 2-D Wavelet Decomposition Code-Based Iris Recognition
pp. 163–177