Abstract: This paper presents a project, aimed to create an information analytic system to solve the problem of
organizing collective work of researchers, supporting their efficient cooperation on on
Abstract: Researching simulation/implementation of membranes systems is very recent. Present literature
gathers new publications frequently about software/hardware, data structures and algorithms f
Abstract: The idea of Reservoir Computing has become so popular recently due to its computational efficiency
and the fact that just only a linear output layer must be taught. In this paper a reservoi
Abstract: In the presented paper is considered resource approach to intellectual data analyses based on
network traffic. A model for calculation of loading on different segments of the network in the
Abstract. Two approaches to solution of the task of restoring of dependence between a vector of independent
variables and a dependent scalar according to training sampling are considered. The first (
Abstract: An introduction to the problems considering complexity of simultaneous divisibilities of values
of linear polynomials is presented. Some history facts, recent results and open questions tha
Abstract: Description of software solutions for logistic tasks and their comparative analysis are
considered in the article. The selection of the functionality of Logistics Information System, which
Abstract: Problem comparing alternatives under interval uncertainty is studied. It is assumed that the
compared alternatives have indicators of quality in the form of interval estimates. It is shown
Abstract: Reproducing Kernel Hilbert Space (RKHS) and Reproducing Transformation Methods for Series
Summation that allow analytically obtaining alternative representations for series in the finite fo
Abstract: The paper deals with a problem of intelligent system’s design for complex environments. There is
discussed a possibility to integrate several technologies into one basic structure that co
Abstract: The safety operations of the complex engineering objects on the basis of system control is realized. The essence of such control is systemically coordinated evaluation and adjustment of the
Abstract: The problem under discussion is to check whether a given combinational network realizes a system of
incompletely specified Boolean functions. SAT-based procedure is discussed that formulate
Abstract: The problem under discussion is to check whether a given combinational network realizes a system of
incompletely specified Boolean functions. SAT-based procedure is discussed that formulate
Abstract: An approach to the optimum switching scheme’s choice is proposed. It is based on the scalar
choice criteria. Problem of the multistage switching system's structure's determination is solv
Abstract: The paper describes a first supercomputer cluster project in Ukraine, its hardware, software and
characteristics. The paper shows the performance results received on systems that were built
Abstract: The problem under consideration is to find a synchronizing sequence for a logic network with memory. A novel method is proposed that is based on formulation of the task as the Boolean satisf
Abstract: Today there are a large number of digital archives, libraries and museums with rich digital collections
representing the European cultural and historical heritage. The new challenge shifts
Abstract: We analyze an approach to a similarity preserving coding of symbol sequences based on neural
distributed representations and show that it can be viewed as a metric embedding process.
Key
Abstract: We want to make a program which can play any game or in other words we want to make AI. It is
impossible to include in this program the rules of all games and that is why our program should
Abstract: This paper presents an analysis of different techniques that is designed to aid a researcher in
determining which of the classification techniques would be most appropriate to choose the ri
Abstract: The paper describes an approach to multicriteria choice of computing complex using a multi-stage
technology for sequential reducing the dimension of the criteria space. Several hierarchical