Наукова електронна бібліотека
періодичних видань НАН України

Перегляд Проблеми програмування за назвою

Репозиторій DSpace/Manakin

Перегляд Проблеми програмування за назвою

Сортувати за: Порядок: Результатів:

  • About complex intelligent technologies for techno-ecological events control in the water area 
    Pisarenko, V.G.; Nogin, N.V.; Kryachok, A.S.; Pisarenko, J.V.; Varava, I.A.; Koval, A.S. (Проблеми програмування, 2022)
    Aspects of the important task solution of creating complex intelligent decision-making support technologies for the identification of techno-ecological event (TEE) and the optimal selection of the sequence of available ...
  • A dialogue system based on ontology automatically built through a natural language text analysis 
    Litvin, A.A.; Velychko, V.Yu.; Kaverynskyi, V.V. (Проблеми програмування, 2022)
    An integrated approach is created to the development of natural-language dialogue systems driven by an ontological graph database. Ontology here has a defined regular structure that contains typed semantic relationships ...
  • Algebraic approach to the analysis of legal documents 
    Letychevskyi, O.O.; Peschanenko, V.S.; Poltorackiy, M.Yu. (Проблеми програмування, 2022)
    In this study, problems regarding the analysis of law articles and their conformance to legal documents are considered. The algebraic approach is used for the formal verification of legal texts that is presented as ...
  • Algorithm and software for determining a musical genre by lyrics to create a song hit 
    Triantafillu, A.A.; Mateshko, M.A.; Shevchenko, V.L.; Sinitsyn, І.P. (Проблеми програмування, 2021)
    One of the needs of music business is a quick classification of the song genre by means of widely available tools. This work focuses on improving the accuracy of the song genre determination based on its lyrics through the ...
  • A model of a convolutional neural network and software for typical insect pests recognition 
    Bezliudnyi, Y.S.; Shymkovysh, V.M.; Doroshenko, A.Yu. (Проблеми програмування, 2021)
    A model of a convolutional neural network, a dataset for neural network training, and a software tool for the classification of typical insect pests have been developed, which allows recognizing the class of insect pests ...
  • An approach of intelligent searching of information in texts 
    Chebanuyk, O.V. (Проблеми програмування, 2022)
    Paper proposes an approach aimed at question oriented searching of information in texts. Texts are parsed, keywords and extra features of questions are marked, and sentences in text with the most relevant information to ...
  • A peer-to-peer topology and multicasting algorithm with guaranteed quality of experience 
    Hordiichuk, O.V.; Bychkov, O.S. (Проблеми програмування, 2015)
    Peer-to-peer applications such as BitTorrent solved a load problem of file distributing, but unfortunately these approaches are not suitable for video streaming due to a real-time data generation nature, heterogeneous ...
  • Application of deep learning and computer vision frameworks for solving video context prediction problem 
    Voloshyn, D. (Проблеми програмування, 2016)
    У роботі описано програмний продукт для вирішення задачі прогнозування змісту відеопотоку. Архітектура розробки використовує інфраструктуру програмних рішень TensorFlow для глибинного навчання разом з бібліотекою комп’ютерного ...
  • APS C++ User's Library 
    Letichevsky, A.; Letichevsky, A.Jr.; Peschanenko, V. (2008)
    The general information about the APS algebraic programming system (terms rewriting system) is briefly described in the present article. It is justified practical necessity of creation of APS C++ User’s Library, its ...
  • A resource limited parallel program model 
    Rahozin, D.V. (Проблеми програмування, 2019)
    Modern parallel programs run in a complex, resource-limited environment, and this raises the new requirements for resource consumption and execution stability of long running processes. In order to help with checking ...
  • CASE-инструментарий UFO-toolkit. Автоматизация построения УФО-моделей 
    Маторин, В.С.; Маторин, С.И.; Попов, А.С. (2004)
    The development and perfection questions of the original knowledge oriented program CASE-tool “UFO-toolkit” are considered. The algorithm of the business-systems and business-processes models automatic building with the ...
  • Checking spanning trees optimality using associative parallel processors and its visualization 
    Nepomniaschaya, A.S.; Borets, T.V. (2004)
    In this paper, by means of an abstract model of the SIMD type with vertical data processing (the STAR-machine), we present a simple associative parallel algorithm for implementing the criterion of Chin and Houck to verify ...
  • Cloud service for authentication of a person based on their electrocardiogram 
    Luhovskyi, Yu.O. (Проблеми програмування, 2022)
    Telemedicine grows faster with each year. In scope of it new technologies have been created to solve information communication problems. One of them is distance monitoring which requires electrocardiogram analysis. In this ...
  • The Conception and Application of PFL: a Process Functional Programming Language 
    Kollar, Jan (2004)
    A new process functional programming paradigm and its application in PFL – a process functional programming language is introduced in the paper. This paradigm is based on affecting the state represented by the values of ...
  • C# program verification problems: solution by a three-level method 
    Promsky, A.V. (2008)
    The evolution of formal methods allowed us to overcome many obstacles in verification of procedural programs. However, wide spreading of object-oriented languages has brought new challenges, even in the case of sequential ...
  • Creation and test of applied software of network of wireless sensors for agriculture 
    Romanov, V.O.; Antonova, H.V.; Galelyuka, I.B.; Hrusha, V.M.; Kedych, A.V.; Voronenko, O.V. (Проблеми програмування, 2022)
    The article describes applied software of units of such complex hardware-software system, as plants` state monitoring system for application in agriculture and ecological monitoring. The mentioned system consists of data ...
  • Data assimilation using kalman filter techniques 
    Dimitriu, G.; Cuciureanu, R. (2006)
    Kalman filtering represents a powerful framework for solving data assimilation problems. Of interest here are the low-rank filters which are computationally efficient to solve large scale data assimilation problems. The ...
  • Decompositional Extraction and Retrieval of Conceptual Knowledge 
    Terletskyi, D.O.; Yershov, S.V. (Проблеми програмування, 2022)
    An ability to extract hidden and implicit knowledge, their integration into a knowledge base, and then retrieval of required knowledge items are important features of knowledge processing for many modern knowledge-based ...
  • Deductive verification of requirements for event-driven architecture 
    Letichevsky, A.; Letychevskyi, О.; Peschanenko, V.; Guba, A. (Проблеми програмування, 2013)
    The current paper presents the technology of processing of requirements for systems with event-driven architecture. The technology consists of the stages of formalization, formal verification and conversion to design ...
  • Defining degree of semantic similarity using description logic tools 
    Zakharova, O.V. (Проблеми програмування, 2021)
    Establishing the semantic similarity of information is an integral part of the process of solving any information retrieval tasks, including tasks related to big data processing, discovery of semantic web services, ...

Пошук


Розширений пошук

Перегляд

Мій обліковий запис