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

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

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

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

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

  • Robust physiological mappings: from non-invasive to invasive 
    Syed, M.N.; Georgiev, P.G.; Pardalos, P.M. (Кибернетика и системный анализ, 2015)
    The goal of this paper is to highlight the challenges on the three methods of data analysis, namely: robust, component, and dynamical analysis with respect to the epilepsey. A forward and inverse mapping model for the human ...
  • RSB блочный криптографический алгоритм 
    Белецкий, А.Я.; Белецкий, А.А. (2008)
    Несмотря на многообразие существующих промышленных образцов блочных криптографических систем, все еще сохраняет актуальность разработка новых более гибких алгоритмов шифрования. Один из возможных вариантов построения ...
  • R-функции в математическом моделировании геометрических объектов, обладающих симметрией 
    Максименко-Шейко, К.В.; Шейко, Т.И. (Кибернетика и системный анализ, 2008)
    Цель статьи — совершенствование конструктивных средств теории R-функций, основанных на преобразованиях координат, для построения нормализованных уравнений правильных многоугольников с последующей их трансляцией, в том числе ...
  • Satisfiability For Symbolic Verification in VRS 
    Letichevsky, A.; Letichevskyi, A.; Weigert, T.; Peschanenko, V. (Управляющие системы и машины, 2013)
    Рассмотрены использование логики первого порядка в символьной верификации спецификаций требований программного обеспечения, символьные модели систем, которые есть транзиционными системами с символьными состояниями ...
  • Scalability of Parallel Batch Pattern Neural Network Training Algorithm 
    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 ...
  • Science literacy as the tool for surviving in the changing world 
    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 ...
  • Scientometrics: A Tool for Monitoring and Support of Research 
    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 ...
  • Search for adaptive methods immunizing from high-noise, application on oil industry power complexes control telemetry model 
    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 ...
  • Security basic model for applied tasks of the distributed information system 
    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 ...
  • Security of Poseidon hash function against non-binary differential and linear attacks 
    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 ...
  • Segmentation algorithms of biomedical images: development and quantitative evaluation 
    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 ...
  • Segmentation of the Experimental Curves as the Implementation of Unknown Piecewise Smooth Function 
    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 ...
  • Semantic alignment of ontologies meaningful categories with the generalization of descriptive structures 
    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 ...
  • Semantic Modification of the Mitkov Algorithm for Anaphora Resolution 
    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 ...
  • Semantics and pragmatics of programming language ASAMPL 
    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, ...
  • Semantic web как новая модель информационного пространства интернет 
    Андон, Ф.И.; Гришанова, И.Ю.; Резниченко, В.А. (2008)
    Описаны базовые концепции и архитектура Semantic Web, а также положение дел по разработке данного проекта по состоянию на конец 2007 года. Выделены проблемы, которые стоят перед мировым сообществом для дальнейшего развития ...
  • Signal regularity-based automated seizure detection system for scalp EEG monitoring 
    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)
    Розглянуто роботу автоматизованої системи реєстрації ЕЕГ головного мозку для раннього виявлення епілептичних нападів. Розроблено комп’ютерний алгоритм для перетворення складних багатоканальних сигналів ЕЕГ мозку на кілька ...
  • Simple Minimization Method of the Variables Number in Complete and Incomplete Logic Functions. Part 1 
    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 ...
  • Simple non-deterministic rewriting in verification 
    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 ...
  • Simulation Model of Infinite Perishable Queueing Inventory System with Feedback 
    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 ...

Пошук


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

Перегляд

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