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

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

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

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

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

  • Stability of linear systems of differential equations with random jump linear solutions in Hilbert space 
    Nikitin, A.V. (Математичне та комп'ютерне моделювання. Серія: Фізико-математичні науки, 2013)
    The conditions of stability in the middle and in the mean square solutions of stochastic differential equations with random perturbations in Hilbert spaces are obtained.
  • Standardisation of indicators of quality of products cognitive technologies 
    Antsyferov, S.S. (Искусственный интеллект, 2014)
    The standard set of quality indicators, reflecting the principal features of functioning and development of intellectual systems is proposed. Comparative assessment of some of them is given.
  • Statistical inference for type I multiply left-censored samples from Weibull distribution 
    Fusek, M.; Michalek, J. (Кибернетика и системный анализ, 2019)
    Left-censored data with one or more detection limits occur frequently in many application areas. In this paper, the computational procedure for calculation of maximum likelihood estimates of the parameters for type I ...
  • Steganographic Methods in Information Protection 
    Koziel, G. (Штучний інтелект, 2011)
    New information protection methods are necessary. Steganography seems to be great opportunity to replace or supplement the cryptographic methods. Steganography gives additional possibilities. It allows to keep in secret ...
  • Stochastic approximation procedure with impulsive Markov perturbations 
    Chabanyuk, Ya.M.; Semenyuk, S.A. (Математичне та комп'ютерне моделювання. Серія: Фізико-математичні науки, 2011)
    In this paper we discuss asymptotic behavior of the stochastic approximation procedure in case when the regression function is perturbed by the Markov impulsive process. Also we consider the stochastic approximation procedure ...
  • Stochastic behavioral models. Classification 
    Koroliouk, D.V.; Bertotti, M.L.; Koroliuk V.S. (Кибернетика и системный анализ, 2016)
    Stochastic behavioral models are specified by a difference evolutionary equation for the probabilities of binary alternatives. The classification of stochastic behavioral models is analyzed by the limit comportment of ...
  • Storing JWT Token in Local Variables 
    Bulgakova, O.S.; Zosimov, V.V.; Popravkin, P.D. (Control systems & computers, 2020)
    The article discusses the problem of storing structured information over the Internet (JSON format) in local storage and pieces of information transmitted to the browser from the site visited by the user (cookies), and a ...
  • Subjective entropy maximum principle for preferences functions of alternatives given in the view of logical conditions 
    Goncharenko, A.V. (Искусственный интеллект, 2013)
    In the article the task of finding the optimal combination of objective functions given in the view of a logical conditional system of equations is considered. It is modeled the behavior of an active system controlled by ...
  • Sufficient Condition for Partial Optimality for (max, +)-Labeling Problems and its Usage 
    Kovtun, I. (Управляющие системы и машины, 2011)
    Для (max,+)-задач разметки сформулированы достаточные условия оптимальности метки в каждом пикселе изображения. Описан алгоритм, позволяющий определить оптимальные метки в некоторых пикселах и тем самым существенно снизить ...
  • Super Fibonacci Graceful Graphs and Fibonacci Cubes 
    Semeniuta, M.F. (Control systems & computers, 2020)
    The popularity of Fibonacci cubes is due to their wide range of uses. In mathematical chemistry, this concept is used in the study of hexagonal graphs. In computer science, Fibonacci cubes are interesting from an algorithmic ...
  • A Support tool for the reachability and other petri nets- related problems and formal design and analysis of discrete systems 
    Hudak, S.; Korecko, S.; Simonak, S. (2008)
    Annotation. In this paper we deal with the PNtool - a tool for a design, analysis and development of concurrent and time-critical systems specified using the Petri nets (PN) formalism. The PNtool supports four Petri nets ...
  • Symbolic modeling of basic protocols systems with arbitrary number of agents 
    Potiyenko, S.V. (Искусственный интеллект, 2013)
    A method of symbolic modeling of formal models is considered in the paper. Object of analysis is a domain of multi-component concurrent systems specified in basic protocols language. A problem of dynamic creation and ...
  • System index of articles published in 2019 
    Автор відсутній (Кибернетика и вычислительная техника, 2019)
  • System Index of Articles Published in 2020 
    Автор відсутній (Cybernetics and computer engineering, 2020)
  • Table interpretation of the temporal description logic LTLALC 
    Reznichenko, V.A.; Chystiakova, I.S. (Проблеми програмування, 2022)
    Description logics are widely used to describe and represent knowledge in the Semantic Web. This is a modern and powerful mechanism that provides the possibility of extracting knowledge from already existing ones. Thanks ...
  • Tanker routing problem with fuzzy demands of served ships 
    Werners, B.; Kondratenko, Y.P. (2009)
    The routing problem for tanker-refuellers is considered. The tankers start at the bunkering company and must serve several ships in different ports. In principle the modeling and algorithmic approaches for capacitated ...
  • Teams of global equilibrium search algorithms for solving weighted MAXIMUM CUT problem in parallel 
    Shylo, V.P.; Glover, F.; Sergienko, I.V. (Кибернетика и системный анализ, 2015)
    In this paper, we investigate the impact of communication between optimization algorithms running in parallel. In particular we focus on the weighted maximum cut (WMAXCUT) problem and compare different communication ...
  • Technological trends & software engineering education: a systematic review study 
    Nesterenko, O.V. (Проблеми програмування, 2022)
    The quality of software engineering education is influenced by the consideration of modern industrial trends, IT trends and software development methodologies. The transition to a new level of industry - “Industry 4.0”, ...
  • Technologies of data transmission in video conferencing systems 
    Kazymyr, V.V.; Tevkun, M.V.; Drozd, O.P. (Математичні машини і системи, 2013)
    The methods and technologies, associated with video and audio data transmission in video conferencing systems were discovered. Existing problems in the field of data transmission in conferencing systems via the Internet ...
  • Technology of Intelligent Control of Unmanned Aerial Vehicles Monitoring in the Airspace Using 5G Cellular Networks 
    Odarchenko, R.S.; Volkov, O.Ye.; Simakhin, V.M.; Gospodarchuk, O.Yu. (Cybernetics and computer engineering, 2020)
    The purpose of the paper is to analyze the state of the UAV market and related legislation in the world and Ukraine; to develop the technology for intelligent control of UAV monitoring using cellular networks; to prepare ...

Пошук


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

Перегляд

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