Applied sciences

Theoretical and Applied Informatics

Content

Theoretical and Applied Informatics | 2013 | vol. 25 | No 3-4 |

Download PDF Download RIS Download Bibtex

Abstract

In this work genetic programming is applied to the problem of generating maximum entanglement in multi-qubit systems of different structures. We provide quantum circuits that prepares multipartite entangled states in systems consisting of up to 8 qubits. We present results pertaining to the minimum size of a quantum circuit preparing a maximally entangled multi-qubit state in cases of reduced sets of quantum gates that correspond to spin chain quantum systems.

Go to article

Authors and Affiliations

Przemysław Sadowski
Download PDF Download RIS Download Bibtex

Abstract

A new version of J2TADD - a translator from Java to automatons- is described, which adds support for a translation of Markov processes with non-dcterministic players, that can form coalitions, which in turn strive for different aims. In order to ease the definition of a probabilistic game using a plain Java application, several new constructs, and also a special library, are supported within the input language.

Ranges on variables or on expressions can be defined, what helps in checking the self-consistency of a model, and can also make the solving of the model faster.

Go to article

Authors and Affiliations

Artur Rataj
Download PDF Download RIS Download Bibtex

Abstract

The paper features some aspects of providing information security and business continuity to public administration by means of an integrated computer-aided management system OSCAD. The system is based on international standards ISO/IEC 270001 and BS 25999 (ISO 22301). First, the significance of information security and business continuity issues in public administration was presented along with a short introduction to the applied standards. Then the possibilities of the OSCAD system were discussed together with the examples how the system can solve the problems encountered by public administration.

Go to article

Authors and Affiliations

Andrzej Białas
Download PDF Download RIS Download Bibtex

Abstract

The paper concerns the validation of the selected issues related to the new ontology-based approach to the elaboration and management of evidences prepared by developers for the IT security evaluation process according to the Common Criteria standard. The evidences are implied by the claimed EAL (Evaluation Assurance Level) for a developed IT product or system, called TOE (Target of Evaluation). The evidences envisage the TOE features and its development environment. The validation and use of the author’s elaborated ontology are discussed, including: composing evidences for the given TOE and EAL, expressing details of evidences documents, issuing queries to get given information about model, etc. The paper also shows how the evidences are organized, developed and used. This work is aimed at the development of a prototype of a knowledge base, designed mainly for developers to allow them to compose and manage different kinds of evidences elaborated on the patterns basis. This knowledge base can be used by a software tool aiding developers who produce evaluation evidences.

Go to article

Authors and Affiliations

Andrzej Białas
Download PDF Download RIS Download Bibtex

Abstract

This article gives an introduction to NoSQL movement and how it can help in creating modem application trends of Web 2.0 by its scalability and performance. To achieve the objectives of this work, three types of databases have been tested to see which of them will be the best to work with mobile devices working on Android system. All received results were presented and commented.

Go to article

Authors and Affiliations

Paweł Buchwald
Maciej Rostański
Arkadiusz Jurasz
Download PDF Download RIS Download Bibtex

Abstract

In this article attention is paid to improving the quality of text document classification. The common techniques of analysis of text documents used in classification are shown and the weakness of these methods are stressed. Discussed here is the integration of quantitative and qualitative methods, which is increasing the quality of classification. In the proposed approach the expanded terms, obtained by using information patterns are used in the Latent Semantic Analysis. Finally empirical research is presented and based upon the quality measures of the text document classification, the effectiveness of the proposed approach is proved.

Go to article

Authors and Affiliations

Bożena Śmiałkowska
Marcin Gibert
Download PDF Download RIS Download Bibtex

Abstract

This paper presents the current stage of the development of EA-MOSGWA – a tool for identifying causal genes in Genome Wide Association Studies (GWAS). The main goal of GWAS is to identify chromosomal regions which are associated with a particular disease (e.g. diabetes, cancer) or with some quantitative trait (e.g height or blood pressure). To this end hundreds of thousands of Single Nucleotide Polymorphisms (SNP) are genotyped. One is then interested to identify as many SNPs as possible which are associated with the trait in question, while at the same time minimizing the number of false detections.

The software package MOSGWA allows to detect SNPs via variable selection using the criterion mBIC2, a modified version of the Schwarz Bayesian Information Criterion. MOSGWA tries to minimize mBIC2 using some stepwise selection methods, whereas EA-MOSGWA applies some advanced evolutionary algorithms to achieve the same goal. We present results from an extensive simulation study where we compare the performance of EA-MOSGWA when using different parameter settings. We also consider using a clustering procedure to relax the multiple testing correction in mBIC2. Finally we compare results from EA-MOSGWA with the original stepwise search from MOSGWA, and show that the newly proposed algorithm has good properties in terms of minimizing the mBIC2 criterion, as well as in minimizing the misclassification rate of detected SNPs.

Go to article

Authors and Affiliations

Artur Gola
Małgorzata Bogdan
Florian Frommlet

Editorial office

Editor-in-Chief: Prof. dr hab. inż. Jerzy Klamka

Managing Editor:
dr hab. Jarosław Miszczak

Contact

Theoretical and Applied Informatics Institute of Theoretical and Applied Informatics Polish Academy of Sciences Bałtycka 5, 44-100 Gliwice, Poland https://taai.iitis.pl/ Editorial Office Secretary dr hab. Jarosław Miszczak e-mail: taai.editor@iitis.pl

Instructions for authors

Submissions of a manuscript for publication in TaAI implies that the paper was not previously published (with possible exceptions of selected conference and invited papers) and is not being submitted for publication elsewhere; that permission for publication, if needed, has been granted by appropriate sources; and the first author ensures that other authors have approved the paper for publication.

Manuscripts (in 2 paper copies and electronic copy) should be sent directly to the Editorial Office. All further correspondence, proofs and offprints will be sent to the first author, unless indicated otherwise by the authors.

All papers will be evaluated by one of the Editors and will be reviewed.

Suitability for publication will be judged on the basis of relevance of the paper contents to the overall TaAI aims and scope, its originality, technical quality, importance and readability.

The language of the journal is English (with possible exceptions). The text should be formatted, and appropriate templates (DOC or TeX format) are available at: taai.iitis.gliwice.pl

Author will receive 10 offprints of published paper without charge.

Authors can receive their paper for a galley proof. Extensive changes of the text in galley proofs are unacceptable; in exceptional cases a note added in a proof can be included at the end of paper. If the proofs are not returned promptly, the article will be proof-read against the manuscript by the publisher and printed without author's corrections.

Editorial Office right is to skip galley proof stage in the process of publication.

This page uses 'cookies'. Learn more