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

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

Репозиторій 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 ...
  • Kovalchuk, L.; Oliynykov, R.; Rodinko, M. (Кібернетика та системний аналіз, 2021)
    In this work we build the security estimations of Poseidon hash function against non-binary linear and differential attacks. We adduce the general parameters for the Poseidon hash function that allow using this hash function ...
  • 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 ...
  • Manziuk, E.A.; Barmak, O.V.; Krak, Iu.V.; Pasichnyk, O.A.; Radiuk, P.M.; Mazurets, O.V. (Проблеми програмування, 2022)
    The presented work addresses the issue of semantic alignment of ontology components with a generalized structured corpus. The field of research refers to the sphere of determining the features of trust in artificial ...
  • 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 ...
  • Grygoryan, R.D.; Degoda, A.G.; Lyudovyk, T.V.; Yurchak, O.I. (Проблеми програмування, 2023)
    An advanced version (AV) of special software based on modified quantitative models of mechanisms that provide the overall control of human circulation is proposed. AV essentially expands the range of tasks concerning the ...
  • 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 ...

Пошук


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

Перегляд

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