Journal: Annales UMCS, Informatica

Volume 2, Issue 1

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