Vol 2, No 1 (2004)

Table of Contents

The four-color theorem and its consequences for the philosophy of mathematics
Izabela Bondecka-Krzykowska
PDF
5-14
The inverse iteration with the WZ factorization used to the Markovian models
Beata Bylina
PDF
15-23
Distributed generation of Markov chains infinitesimal generator matrices for queuing network models
Jarosław Bylina
PDF
25-29
Two modifications of Levenberg-Marquardt's method for fast batch neural network training
Viktor Sobetskyy, Stanisław Grzegórski
PDF
31-36
The application of adaptive algorithm to potential problem
Jan Kucwaj
PDF
37-45
Simulations of quantum systems evolution with quantum-octave package
Piotr Gawron, Jarosław A. Miszczak
PDF
47-56
Church's thesis and its epistemological status
Roman Murawski
PDF
57-70
Mind and information processing: some considerations
Jerzy Mycka
PDF
71-80
The implementation and analysis of parallel algorithm for finding perfect matching in the bipartite graphs
Maciej Chróśniak, Jakub Dworniczak, Karol Ziarko, Marcin Paprzycki
PDF
81-89
Parallel implementation of the k-connectivity test algorithm
Przemysław Sokołowski, Paweł Konieczka, Jakub Sochacki, Marcin Paprzycki
PDF
91-99
Three simulations of Turing machines with the use of real recursive functions
Monika Piekarz
PDF
101-114
An algorithm and case study for the object oriented abstraction
Jakub Ratajczak
PDF
115-124
OpenMP parser for Ada
Rafał Henryk Kartaszyński, Przemysław Stpiczyński
PDF
129-133
The computational power and complexity of discrete feedforward neural networks
Barbara Borowik, Sophie Laird
PDF
135-141
Algorithmical and topological methods of fault tolerance assurance
Mirosław Hajder, Paweł Dymora
PDF
143-151
The project of implementing the expert system to analyse polyp changes in the alimentary canal
Dariusz Gutek
PDF
153-161
Ignoring improper data in decision support system for medical applications
Roman Podraza, Piotr Ryszkowski, Wojciech Podraza
PDF
163-172
Validation of reactive embedded systems against specification requirements
Joanna Strug, Stanisław Deniziak, Krzysztof Sapiecha
PDF
173-182
Automatic recognition of non-fluent stops
Waldemar Suszyński, Wiesława Kuniszyk-Jóźkowiak, Elżbieta Smołka, Mariusz Dzieńkowski
PDF
183-189
Generation of virtual anatomical models from the multimodal medical image data
Michał Chlebiej, Zdzisław Król, Paweł Mikołajczak
PDF
191-199
Histogram analysis of the human brain MR images based on the S-function membership and Shannon's entropy function
Marcin Denkowski, Michał Chlebiej, Paweł Mikołajczak
PDF
201-208
A hybrid approach to segmentation of medical images
Karol Kuczyński, Paweł Mikołajczak
PDF
209-216
Bent beamlets - efficient tool in image coding
Agnieszka Lisowska
PDF
217-225
Multi-class 3D region growing algorithm
Jakub Smółka
PDF
227-236
Superquadraticly convergent methods for minimization fonctions
Stanisław M. Grzegórski, Edyta Łukasik
PDF
238-241
Efficiency of 2-order iterative methods
Stanisław M. Grzegórski, Edyta Łukasik
PDF
243-250
Computer simulation of the potential distribution inside the plasma chamber of negative ion source
Juliusz Sielanko, Marcin Turek, A. Tanga
PDF
251-262
Evaluating linear recursive filters on clusters of workstations
Przemysław Stpiczyński
PDF
263-268
igh-order extremal principles and P-factor penalty function method for solving irregular optimization problems
Ewa Szczepanik, Alexey Tret'yakov
PDF
269-281
A numerical model of MHD waves
Krzysztof Murawski, Małgorzata Selwa
PDF
282-290
FLASH - a tool for surgery of solar plasma
Małgorzata Selwa, Krzysztof Murawski
PDF
291-299
Small clusters - MPI usage for solving MHD equations with the FLASH code
Małgorzata Selwa, Krzysztof Murawski
PDF
301-308
Hebbian encoding in the biological visual system
Grzegorz M. Wójcik, Wiesław A. Kamiński
PDF
309-314
Computer speech echo-corrector
Mariusz Dzieńkowski, Wiesława Kuniszyk-Jóźkowiak, Elżbieta Smołka, Waldemar Suszyński
PDF
315-322
Simple hardware method of data protection
Jerzy Kotliński
PDF
324-329
Embedding as a method to improve multichannel bus topology parameters
Mirosław Mazurek
PDF
331-340
RT-level fast fault simulator
Stanisław Deniziak, Krzysztof Sapiecha
PDF
341-349
The computer controlling of the time delay of the extraction of ions from the ion source of the TOF mass spectrometer
Marcin Smolira, Anna Smolira, Jan Cytawa, Leszek Michalak
PDF
351-355
XML in eBusiness tasks realization
Dariusz Bober
PDF
357-367
Indeterminacy in the systems and networks design
Mirosław Hajder, Andrzej Paszkiewicz
PDF
370-378
Evaluation of possibilities of java cryptography architecture and java mail libraries usage to encrypt e-mail messages
Piotr Kopniak
PDF
379-389
Cryptographic protocol for electronic auctions with extended requirements
Bogdan Księżopolski, Zbigniew Kotulski
PDF
391-400
Documents Clustering techniques
Łukasz Machnik
PDF
401-411
Developing an empirical study of how qualified subjects might be selected for IT system security penetration testing
L.m. Guard, M.d. Crossland, Marcin Paprzycki, J.p. Thomas
PDF
414-424
Application of ColdFusion technology in large educational services
Marcin Albiniak
PDF
425-433
The use of Macromedia MX architecture in projecting the educational rates of exchange
Dariusz Dobrowolski
PDF
435-444
Customer Relationship Management system models application in higher education
Grzegorz Futa
PDF
445-452
Didactic tools for teaching quantum informatics
Piotr Gawron, Jarosław Miszczak
PDF
453-461
Integrated education system
Mirosław Hajder, Marek Bolanowski, Andrzej Paszkiewicz
PDF
463-469