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

Перегляд Відділення інформатики за назвою

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

Перегляд Відділення інформатики за назвою

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

  • Letichevsky, A.; Letichevskyi, A.; Weigert, T.; Peschanenko, V. (Управляющие системы и машины, 2013)
    Рассмотрены использование логики первого порядка в символьной верификации спецификаций требований программного обеспечения, символьные модели систем, которые есть транзиционными системами с символьными состояниями ...
  • Turchenko, V. (2009)
    The development of parallel batch pattern back propagation training algorithm of multilayer perceptron and its scalability research on general-purpose parallel computer are presented in this paper. The model of ...
  • Kiryukhin, M.M.; Parkhomenko, V.D. (Наука, технології, інновації, 2019)
    The objective of this article is to create background for providing research in science literacy area. Authors suggest ideas for extension of science literacy with the aim to save Ukrainian leading position for this direction ...
  • Kostenko, L.; Zhabin, A.; Kuznetsov, A.; Lukashevich, T.; Kukharchuk, E.; Simonenko, T. (Наука та наукознавство, 2015)
    The origins of scientometrics (research metrics) are discussed. The approaches to research evaluation are reviewed, and the tendency to replacing formal quantitative indicators by expert review based on bibliometric ...
  • Ustun, O.; Yilmaz, M.; Ali Zada, P.; Fedorchuk, V. (Математичне та комп'ютерне моделювання. Серія: Технічні науки, 2012)
    Here in the paper, an analog signal processing implementation was searched for the detection the most efficient adaptive noise cancellation filters among dozens of recognized ones for telemetry control systems of oil ...
  • Berezsky, O.; Batko, Yu.; Melnyk, G.; Verbovyy, S.; Pitsun, O. (Штучний інтелект, 2016)
    The article presents the comparative analysis of the biomedical image segmentation methods. The work discusses segmentation methods on the basis of previous labeling and spatial moments. The experimental results show that ...
  • Kalmykov, V.G.; Sharypanov, A.V. (Управляющие системы и машины, 2018)
    While processing (e.g. spline approximation) of experimental curves that supposed to be implementations of piecewise smooth functions distorted by noise, the task of determining the boundary points of the pieces arises. A ...
  • Marchenko, O.O. (Штучний інтелект, 2012)
    The article is dedicated to modern algorithm of pronominal anaphora resolution. Anaphora resolution should be considered in a wider range of problems related with language ambiguity resolution, for instance: entity ...
  • Андон, Ф.И.; Гришанова, И.Ю.; Резниченко, В.А. (2008)
    Описаны базовые концепции и архитектура Semantic Web, а также положение дел по разработке данного проекта по состоянию на конец 2007 года. Выделены проблемы, которые стоят перед мировым сообществом для дальнейшего развития ...
  • Deng-Shan Shiau; Halford, J.J.; Kelly, K.M.; Kern, R.T.; Inman, M.; Jui-Hong Chien; Pardalos, P.M.; Yang, M.C.K.; Sackellares, J.Ch. (Кибернетика и системный анализ, 2010)
    Розглянуто роботу автоматизованої системи реєстрації ЕЕГ головного мозку для раннього виявлення епілептичних нападів. Розроблено комп’ютерний алгоритм для перетворення складних багатоканальних сигналів ЕЕГ мозку на кілька ...
  • Rytsar, B.Ye. (Управляющие системы и машины, 2017)
    A new minimization method of the variables number in complete and incomplete logic functions, based on the procedure of conjuncterms splitting is proposed. The advantages of the proposed method are illustrated by examples ...
  • Letichevsky, A.; Peschanenko, V. (2010)
    Abstract. We discuss the non-deterministic rewriting in application for engine functions of Verification of Formal Specification (VFS) system in this paper. VFS – are tools to prove properties of systems described as formal ...
  • Shahmaliyev, Mammad (Управляющие системы и машины, 2018)
    Perishable Queuing Inventory system with positive service time and customer feedback is considered. The system applies Variable Size Order policy for the inventory replenishment. Stochastic simulation method is used to ...
  • Knopova, V.P. (Кибернетика и системный анализ, 2016)
    In the paper, we find analytically the upper and lower limits (as the time parameter tends to zero) of the probability that the Lévy process staring at 0 stays positive. We confine ourselves to the situation where the real ...
  • Tutova, О. (Економіко-математичне моделювання соціально-економічних систем, 2017)
    An overview of contemporary economical concepts of sustainable capital, human-resource capitalism, sustainable development, sustainable society, and socially responsible investment is made. The main features of a sustainable ...
  • Lysetskyi, Yu.M.; Seredovich, Ye.P. (Управляющие системы и машины, 2019)
    The paper considers software-defined storages, their essential requirements, features, as well as advantages and disadvantages of solutions by the different vendors. The most widely spread OpenSource products used to build ...
  • Sydorov, N.A.; Sydorova, N.N.; Mendzebrovsky, I.B. (Проблеми програмування, 2018)
    Software engineering is an own scientific and practice aria with an own structure, terminology, products, processes and resources. The software product is a knowledge-based product and it is the result of the knowledge-based ...
  • Zberovsky, A.V.; Goman, O.G.; Zadornova, V.V.; Kharytonov, M.M. (2006)
    The local meteorological elements are connected with technical, economic and social parameters of the opencast atmosphere. The goal of this paper is the realization of methods and the developing of software for the ...
  • Favier, A.; de Givry, S.; Jégou, P. (Управляющие системы и машины, 2011)
    Рассмотрена проблема подсчета количества решений задачи совместимости ограничений (Constraint Satisfaction Problem). Для ее решения был адаптирован метод обратного прослеживания с ацикличным представлением графа ограничений ...
  • Zhiteckii, L.S.; Azarskov, V.N.; Solovchuk, K.Yu. (Кибернетика и вычислительная техника, 2019)
    The purpose of the paper is to show that it is possible to stabilize any uncertain multivariable static plant which gain matrix may be either square or nonsquare and may have an arbitrary rank remaining unknown for the ...

Пошук


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

Перегляд

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