Computer Science
Loading...
ISSN 1508-2806
e-ISSN: 2300-7036
Call number
Volume
Vol. 6
Date
2004
Description
Journal
Computer Science
AGH University Press (2004-)
ISSN: 1508-2806 e-ISSN: 2300-7036
ISSN: 1508-2806 e-ISSN: 2300-7036
journal.volume.project
Contains
Journal Issues
Articles
Funkcje normalne jako nowy model definiowania funkcji obliczalnych
(2004) Dubiel, Leszek
Report sets new method of defining computable functions. This is formalization of traditional function descriptions, so it allows to define functions in very intuitive way. Discovery of Ackermann function proved that not all functions that can be easily computed can be so easily described with Hilbert’s system of recursive functions. Normal functions lack this disadvantage.
Information retrieval using association lists
(2004) Gajęcki, Marek
The paper presents the main models of information retrieval in text. The idea of association list and its use for information retrieval is introduced. The paper contains the evaluation results of the algorithms under discussion.
Oparta na koncepcji rywalizacji metoda analizy ryzyka systemów informatycznych
(2004) Ryba, Mirosław
Publikacja prezentuje opracowana przez autora metodę oceny poziomu ryzyka informatycznego z perspektywy ludzkich zachowań. Stanowi ona alternatywę dla powszechnie stosowanych podejść do analizy ryzyka, polegających na identyfikacji podatności i zagrożeń oraz szacowaniu prawdopodobieństw ich wystąpienia. Metoda ta uwzględnia wpływ na ryzyko systemu informatycznego takich czynników, jak kwalifikacje administratorów i użytkowników tego systemu, wiedze i determinacje atakującego czy zastosowane przez niego techniki ataku. Kluczowym elementem metody analizy ryzyka, proponowanej w niniejszej pracy, jest formuła matematyczna pozwalająca na ilościowe określenie poziomu tego ryzyka.
Modelowanie efektu elektrohydrodynamicznego przy użyciu sieci neuronowych
(2004) Wajs, Wiesław; Gancarz, Jolanta
This paper presents currently achieved results concerning methods of electrohydrodynamiceffect used in geophysics simulated with feedforward networks trained with backpropagation algorithm, radial basis function networks and generalized regression networks.
A new approach to the rule-based systems design and implementation process
(2004) Nalepa, Grzegorz J.
The paper discusses selected problems encountered in practical rule-based systems (RBS) design and implementation. To solve them XTT, a new visual knowledge representation is introduced. Then a complete, integrated RBS design, implementation and analysis methodology is presented. This methodology is supported by a visual CASE tool called Mirella.The main goal is to move the design procedure to a more abstract, logical level, where knowledge specification is based on use of abstract rule representation. The design specification is automatically translated into Prolog code, so the designer can focus on logical specification of safety and reliability. On the other hand, system formal aspects are automatically verified on-line during the design, so that its verifiable characteristics are preserved.