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

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

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

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

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

  • Extracting structure from text documents based on machine learning 
    Kudim, K.A.; Proskudina, G.Yu. (Проблеми програмування, 2022)
    This study is devoted to a method that facilitates the task of extracting structure from the text documents using an artificial neural network. The method consists of data preparation, building and training the model and ...
  • Features of building recommendation systems based on neural network technology using multithreading 
    Komleva, N.O.; Zinovatna, S.L.; Liubchenko, V.V.; Komlevoi, O.M. (Проблеми програмування, 2022)
    The article is devoted to the creation of a recommendation system for tourists regarding hotels using a neural network based on a multilayer perceptron. The work uses the mechanism of parallelization of the training sample ...
  • First experience of using INTSPEI P-Modeling Framework in software development projects 
    Pavlov, V.L.; Boyko, N.I.; Babich, A.V. (2007)
    INTSPEI P-Modeling Framework - це набір принципів, методів та інструментів, який має на меті розширення існуючих методологій розробки програмного забезпечення, що дозволяє зробити командну працю розробників більш ефективною ...
  • Formal foundations for software model to model transformation operation 
    Chebanyuk O.V. (Проблеми програмування, 2018)
    Software model transformation operations are central operations in Model-Driven approaches. In order to represent software models, graphical modeling notations, for example UML, are used. Quality of software model, obtained ...
  • Formal semantics and analysis of tokenomics properties 
    Letychevskyi, O.O.; Peschanenko, V.S.; Poltorackiy, M.Yu.; Tarasich, Yu.H.; Vinnyk, M.O. (Проблеми програмування, 2022)
    Today we are witnessing the rapid development of products and services based on blockchain technology. Cryptocurrencies and tokens are becoming an integral part of a person’s daily life. One of the main and, at the same ...
  • Formal specifications and decomposition of logic systems for purposes of analysis, synthesis and diagnostics 
    Bača, J.; Giertl, J.; Chladný, V. (2004)
    The contribution deals with different formal specifications of logic system that are used for solving of analysis, synthesis and diagnostics tasks. Particular attention is given to analysis of applicability of separate ...
  • Friend-or-Foe Recognition Algorithm Development for the Corresponding Software Building 
    Ogurtsov, M.I. (Проблеми програмування, 2022)
    2022 рік показав нагальну необхідність вдосконалення існуючих систем впізнавання об’єктів типу «свій-чужий», що викликає на зростанням кількості технічних засобів (особливо – безпілотних) на полі бою. Таке різке зростання ...
  • A functional analytic method for the analysis of general partial differential equations 
    Sikolya, E. (2006)
    In this paper we give a short overview of operator semigroups. These objects are widely used for proving well-posedness of partial differential equations and for investigating qualitative properties of the solutions.
  • Game theoretic modeling of AIMD network equilibrium 
    Ignatenkо, O.P. (Проблеми програмування, 2016)
    This paper deals with modeling of network’s dynamic using game theory approach. The process of interaction among players (network users), trying to maximize their payoffs (e.g. throughput) could be analyzed using game-based ...
  • GRID-Infrastructure simulation 
    Shelestov, A.Ju.; Kussul, N.N.; Skakun, S.V. (2006)
    In a paper simulation modelling of Grid infrastructure is carried out in order to investigate and analyze its productivity. For this purpose, GridSim modelling package is used. An approach based on the operational analysis ...
  • GRID ресурси Інформаційно-обчислювального центру Київського національного університету імені Тараса Шевченка 
    Судаков, О.О.; Бойко, Ю.В. (2006)
    GRID – це форма розподілених обчислень, що передбачає спільне використання та керування обчислювальними ресурсами, та ресурсами збереження даних в організаціях, які можуть бути географічно розподіленими та динамічно ...
  • Impact of climate changes in Europe on European pollution levels 
    Zlatev, Z. (2006)
    Changes in climate variability and extreme weather and climate events in the 20th century, especially in the last two-three decades of the 20th century, have been discussed in many recent scientific publications. Attempts ...
  • Implementation of mappings between the description logic and the binary relational data model on the RDF level 
    Chystiakova, I.S. (Проблеми програмування, 2020)
    This paper is dedicated to the data integration problem. In article the task of practical implementation of mappings between description logic and a binary relational data model is discussed. This method was formulated ...
  • Information resources distribution between automated workstations in local corporative networks 
    Pursky, O.I.; Kozlov, V.V.; Tomashevska, T.V.; Dyvak, V.V.; Hordiiko, N.O.; Sinitsky, M.Y. (Проблеми програмування, 2022)
    This article focuses on the problem of optimal distribution of related information resources between automated workstations in local corporate networks. In this work we present a mathematical description of the algorithm ...
  • Insertion modeling in distributed system design 
    Letichevsky, A.A.; Kapitonova, J.V.; Letichevsky Jr, A.A.; Kotlyarov, V.P.; Nikitchenko, N.S.; Volkov, V.A.; Weigert, T. (2008)
    The paper describes insertion modeling methodology, its implementation and applications. Insertion modeling is a methodology of model driven distributed system design. It is based on the model of interaction of agents and ...
  • Interactive assessment of simulated service qualities by business stakeholders: principles and research issues 
    Shekhovtsov, A. (2010)
    We present the principles of an approach supporting the stakeholder involvement in a software process for service-oriented systems in a form of assessing the perceived quality of the software under development in its usage ...
  • Interactive method for cumulative analysis of software formal models behavior 
    Kolchin, A. (Проблеми програмування, 2018)
    The aim of the proposed method is to simplify and improve the process of models debugging and to increase efficiency of model-based test cases generation. Unlike existing methods of models behavior analysis, which produce ...
  • Interoperability Issues of Earth Observation Grid Systems 
    Shelestov, A.; Skakun, S.; Korbakov, M. (2008)
    In this paper we review issues of Earth observation Grid systems integration. We describe different approaches for the solution of problems of certificate trust, data transfer, geospatial data access, task management, etc. ...
  • Intonation expressiveness of the text at program sounding 
    Shevchenko, V.L.; Lazorenko, Y.S.; Borovska, O.M. (Проблеми програмування, 2021)
    As the amount of media content increases, there is a need for its automated sounding with the most accessible built-in and mobile means. The factors influencing the formation of different intonations were analyzed in the ...
  • I/O benchmarking of data intensive applications 
    Mordvinova, Olga; Ludwig, Thomas; Bartholomä, Christian (2010)
    Abstract. The increasing computerization of the society over the last decade led to the increased data volumes stored over the world. The need to handle and store these massive amounts of data, arising from diverse sources ...

Пошук


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

Перегляд

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