Annales Universitatis Mariae Curie-Skłodowska, sectio AI – Informatica
Nowadays the process of surgical planning is a crucial point of every operation in the craniofacial region. In this work we focus on the planning of graft reconstructive surgery for autologous osseous grafts. The planning method consists of two stages. The non-automatic graft design step is followed by a fully automatic procedure to find the best harvesting site in the predefined donor region. The...
The shortest path problem is solved and applied to the calculations of half lives with respect to spontaneous fission of heavy nuclei. The dynamical programming method of Bellman and Kalaba is used to find the fission path in the i-dimensional space of deformation parameters. Fission half lives of heavy isotopes (Z in [100, 110]) are shown and compared to the experimental data.
The paper analyses possibilities of episodic multi-winner multi-directional associative memory taught by evolutionary algorithm. This kind of memory allows to store and recall more complex associations, like episode-to-episode.
In the paper we present the short description of physical phenomena related to the motion of ion inside the crystal. The form of this description makes it possible and easy to construct the calculation procedures. The final results are the simulation and experimental data for the Si(001)-Si02-Si(001 (SIMOX) structure. The comparison of the results obtained shows that the problem of energy losses of...
In this document we describe how to use PHP and HTML languages to create graphical interfaces to any program. The interface is used to send data and parameters to the program from a web page. We can choose different kinds of data and the format of received data. We show an example, in which a graphical interface controls a program written in Fortran 77.
This paper is reports several Radiological and Oncological Information Systems integrated by a very efficient medical network system. The system covers the entire image flowpath in the Diagnostic Radiology Department (i.e. image acquisition, processing, archiving, long term storage) and allows for transmitting medical images through Municipal Area Network. The system has been working reliably since...
In the paper some aspects of complexity of R-recursive functions are considered. The limit hierarchy of i^-recursive functions is introduced by the analogy to the ji-hierarchy. Then its properties and relations to the ji-hierarchy are analysed.
The critical properties of one-dimensional, probabilistic cellular automata with two absorbing states are presented. Size dependent values of critical exponents related to order parameter and its susceptibility is analyzed and some inconsistencies in classification of this model into universality class are discussed.
There exists a large number of theoretical results concerning parallel algorithms for the graph problems. One of them is an algorithm for the perfect matching problem, which is also the central part of the algorithm for finding a maximum flow in a net. We have attempted at implementing it on a parallel computer with 12 processors (instead of the theoretical 0(n^3.5m) processors). When pursuing this...
The paper is devoted to the problem of relations between abilities of human mind and automatical information processing. Here we can use the notion of artificial inteligence as the abbrevation of information processing realized by mechanical devices. For the purpose of an analysis of the mentioned problem some classical notions and arguments from computer science are presented.
There exists a large number of theoretical results concerning fast parallel algorithms for graph problems, however, scarcely one finds reports of their practical implementation. In an attempt at partial filling this gap we discuss implementation of an algorithm performing the pretest for k-connectivity. This test is based, first, on the Scan-First Search algorithm introduced in [1]. Utilizing this...
The aim of this paper is to present the origin of Church's thesis and the main arguments in favour of it as well as arguments against it. Further the general problem of the epistemological status of the thesis will be considered, in particular the problem whether it can be treated as a definition and whether it is provable or has a definite truth-value.
The development in Internet Technologies created new possibilities and prospects in education. With the idea of large educational service in secondary schools there arose the necessity of choosing the most suitable Internet Technology. The analysis of various technologies resulted in the choice of ColdFusion which proved to be the best for the realization of this project. ColdFusion technology displays...
In this paper we present a cryptographic protocol which is the realization of an electronic auction being the component of the e-government system. This cryptographic protocol fulfils all the functions of the classic auction and additionally, by use of cryptographic primitives, enhances the protection of information. The characteristic features of the protocol are: the incontrovertibility of participants...
The paper present a short description of Customer Relationship Management models that can be applied in the university environment. It focuses on evolution of the models and their approximation to real-life situations.
Documents Clustering is a technique in which relationships between sets of documents are being automatically discovered and documents are divided into groups of similar specimens. The groups that are created during the process of clustering should be specified by the high degree of similarity between the elements that belong to the same group and low degree of similarity between the elements that...
Development of quantum informatics as a new field of computer science poses new challenges to teachers and students of computer science. Among others, very dynamic branches of quantum informatics are quantum programming languages and simulation of quantum systems.This article presents the program of the lecture: Quantum systems of informatics that is proposed to students of last semesters of computer...
In the paper ways in which computers are applied in mathematics are considered. An example of mathematical truth which possesses only computer-assisted proof is the four-color theorem. Based on the example of this theorem we discuss some philosophy connected with admitting computer proofs in mathematics, in particular the status of mathematical knowledge as a pattern of science whose truths are known...
Article presents package of functions for GNU Octave computer algebra system. Those functions were designed to perform simple but not necessary efficient simulations of quantum systems, especially quantum computers. The most important feature of this package is the ability to perform calculations with mixed states.We describe application of quantum-octave package for simulation of Grovers algorithm,...
In this paper the Macromedia MX software application for training and lectures preparation is presented. On the basis of earlier experiences short characteristics and new possibilities of this tool kit are also discussed. Macromedia MX software is used all over the word coming up to current standards and specifications.