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

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

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

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

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

  • 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 ...
  • TermWare-3 – система переписування термів, заснована на контекстному численні 
    Шевченко, Р.С.; Дорошенко, А.Ю. (Проблеми програмування, 2019)
    У статті описується конструкція системи переписування термів TermWare-3, що побудована на основі рефлексивного числення контекстних термів, коли структура терму включає до себе, окрім дерева, ще й внутрішній контекст та ...
  • Testing k-value in k-fold Cross Validation of Forecasting Models for Time Series Analysis of G-spreads of Top-quality RUB Bonds 
    Latysh, E.; Koshulko, O. (Індуктивне моделювання складних систем, 2012)
    The paper aims to find the best k-values for k-fold based model validity in a particular problem related to the forecasting of bond yields for pension funds investment strategy. The GS system and results of experiments are ...
  • Testing simple neuron models with dendrites for sparse binary image representation 
    Osaulenko, V.M. (Штучний інтелект, 2017)
    This paper deals with the problem of information representation into a form that allows to make associations, measure similarity and integrate new information with respect to previously stored. Several simple models for ...
  • Tete-A-Tete Project: software engineering tools supporting understanding 
    Hrytsay, V.P.; Zakhariya, L.M. (Проблеми програмування, 2012)
    Software Understanding is necessary and the most important condition of essential reducing of software development cost. In this paper Tete-A-Tete Project is described which offers a radical rethinking of Software Development ...
  • Text analysis: linguistics, Semantics, Pragmatics in the Cognitive Approach 
    Kharlamov, A.A.; Yermolenko, T.V. (Управляющие системы и машины, 2015)
    The cognitive approach to linguistic information analyzed by the human is considered. The processes of information processing are studied at various linguistic levels: morphological, lexical, syntactic and semantic levels ...
  • Text Information Ontological Analysis in the Computer Simulation Systems 
    Bulgakova, O. (Індуктивне моделювання складних систем, 2014)
    The paper proposes an approach for automation ontological analysis of text information using generalized iterative algorithm (GIA) of inductive modeling. The technology for the information collecting and sorting, which ...
  • Thank You, Alexei Grigorievich! 
    Lemke, F. (Індуктивне моделювання складних систем, 2013)
  • The 20th IFAC World Congress 
    Zhiteckii, L.S. (Кибернетика и вычислительная техника, 2017)
    The 20th World Congress of the International Federation of Automatic Control (IFAC) was held in Toulouse, France, from 9 July to 14 July 2017. More than 3200 attendees from 68 countries of Europe, Asia, America, Africa, ...
  • The 3D Mapping Preparation using 2D/3D Cameras for Mobile Robot Control 
    Roth, H.; Sachenko, A.; Koval, V.; Chanin, J.; Adamiv, O.; Kapura, V. (2008)
    The generalized frame of autonomous robot control system is represented and the data preparation for the simultaneous localization and mapping (SLAM) by using new type of 3D sensor is described. Also the developed data ...
  • The algorithm of syntactic analysis based on grammatical rules 
    Dorokhina, G.V. (Искусственный интеллект, 2014)
    The developed algorithm is called upon to build a dependency tree by the simple expanded Russian sentence. The algorithm finds the words pairs between which the syntactic connection is possible. The algorithm finds these ...
  • The analysis of WIG20 stock index in R: a case study 
    Kotyra, B.; Krajka, A. (Математичне моделювання в економіці, 2014)
    In this short note we would like to show the basic methods of analyzing time series. This methods leads us to the different models of time series (decomposition, ARIMA, Fourier techniques, exponentially smoothing and GARCH). ...

Пошук


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

Перегляд

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