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

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

Репозиторій 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 ...
  • Rodin, Y.S.; Sinitsyn, I.P. (Проблеми програмування, 2021)
    The tasks of modelling and the components of the basic model of applied task protection of a distributed information system have been considered. The measurement and relationship of security parameters, protection, new and ...
  • 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 ...
  • Sulema, Ye.; Glinskii, V. (Проблеми програмування, 2020)
    This paper presents semantics and practical implementation of the domain-specific programming language ASAMPL. This programming language has been developed to support the efficient processing of multimodal data processing, ...
  • Андон, Ф.И.; Гришанова, И.Ю.; Резниченко, В.А. (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 ...
  • Zakhozhay, O.I. (Математичне моделювання в економіці, 2019)
    In the article represented the new situational-event model of hybrid patterns recognition. This model based on representation a heterogeneous data of a complex system in the form of patterns set, sets of external conditions ...
  • 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 ...
  • Meytus, V.Yu.; Morozova, G.I.; Kozlova, V.P.; Taran, L.Yu. (Control systems & computers, 2020)
    In this article, the existing range of publications about the smart enterprise as a basis for the digital economy is analyzed. The principles of creating a smart enterprise as a way of adapting traditional enterprise to ...
  • Balanchuk, I.S. (Наука, технології, інновації, 2019)
    Коли ми чуємо, як хтось каже “Норвегія”, то в уяві одразу постають картини ідеального світу: казкові будиночки, яскраво зелена трава, мальовнича природа, неймовірні фіорди і заможні та щасливі люди. Загалом усе вищеперераховане ...
  • 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 ...

Пошук


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

Перегляд

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