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

Перегляд Проблеми програмування за назвою

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

Перегляд Проблеми програмування за назвою

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

  • Photochemical reactions in the atmosphere – a source of secondary pollutants 
    Cuciureanu, R.; Dimitriu, G. (2006)
    In the atmosphere polluting agents are involved in different reactions which lead to secondary pollutants. Secondary pollutants are mainly generated by photochemical and thermal reactions. These reactions occur in the ...
  • Practical issues of sensor web implementation and gridification 
    Kussul, N.; Korbakov, M.; Kravchenko, O. (2008)
    In this paper we provide an overview of emerging Sensor Web paradigm and show several practical issues of using Sensor Web technologies for real-world tasks. Issues under study include sensor description using SensorML and ...
  • Predicting the Probability of Exceeding Critical System Thresholds 
    Krammer, P.; Kvassay, M.; Hluchý, L. (Проблеми програмування, 2018)
    In this paper we show how regression modelling can be combined with a special kind of data transformation technique that improves model precision and produces several “preliminary” estimates of the target value. These ...
  • Preservation of the qualitative properties in the vertical advection-diffusion DEM sub-model of the air pollution process 
    Elshebli, M.A.T. (2006)
    The analysis of the transport of air pollutants is one of the most widely investigated problems and it has great practical importance. The operator splitting method is a widely used tool for the solution of such problems. ...
  • Problem of data analysis and forecasting using decision trees method 
    Lytvynenko, T.I. (Проблеми програмування, 2016)
    Розглянуто застосування методу дерев рішень до проблеми аналізу даних та прогнозування. Обробка даних базується на реальних спостереженнях рівня продажу груп товарів протягом 2006-2009 рр. R (мова програмування та програмне ...
  • Realistic correct systems implementation 
    Goerigk, Wolfgang; Langmaack, Hans (2003)
    Подана перша частина статті і наступна її друга частина присвячені методам коректної побудови і функціонування великих комп'ютерних систем. У центрі уваги – проблема обґрунтування, що подається в сенсі формулювання ...
  • Reputation-based secyrity for heterogtneous structurally complex systems 
    Kussul, O.M. (Проблеми програмування, 2012)
    In this paper we present the service-oriented infrastructure within the Wide Area Grid (WAG) project that was carried out within the Working Group on Information Systems and Services of the Committee on Earth Observation ...
  • Research and development workstation environment: the new class of Current Research Information Systems 
    Palagin, O.V.; Velychko, V.Yu.; Malakhov, K.S.; Shchurov, O.S. (Проблеми програмування, 2018)
    Against the backdrop of the development of modern technologies in the field of scientific research, the new class of Current Research Information Systems (CRIS) and related intelligent information technologies have arisen. ...
  • Research on methods of building an interactive map in a web application 
    Katerynych, L.O.; Sazonov, N.V. (Проблеми програмування, 2022)
    The purpose of this article is to formulate a list of rules for creating an efficient and convenient informational system for vicinity and building navigation and to create a web-app with this functionality. To accomplish ...
  • Research trends in high performance Parallel Input/Output for cluster environments 
    Ludwig, T. (2004)
    Parallel input/output in high performance computing is a field of increasing importance. In particular with compute clusters we see the concept of replicated resources being transferred to I/O issues. Consequently, we ...
  • 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 ...
  • 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 ...
  • 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 года. Выделены проблемы, которые стоят перед мировым сообществом для дальнейшего развития ...
  • 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 ...
  • Simulations of human hemodynamic responses to blood temperature and volume changes 
    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 ...
  • Software engineering and big data software 
    Sydorov, M.O.; Sydorova, N.M. (Проблеми програмування, 2022)
    Software engineering is a mature industry of human activity focused on the creation, deployment, marketing and maintenance of software. The fundamental concepts of engineering are life cycle model; three main components ...
  • Software engineering ontologies categorization 
    Sydorov, N.A.; Sydorova, N.N.; Mendzebrovsky, I.B. (Проблеми програмування, 2018)
    Software engineering is an own scientific and practice aria with an own structure, terminology, products, processes and resources. The software product is a knowledge-based product and it is the result of the knowledge-based ...
  • The software system for modelling gas-dynamic parameters of the opencast atmosphere 
    Zberovsky, A.V.; Goman, O.G.; Zadornova, V.V.; Kharytonov, M.M. (2006)
    The local meteorological elements are connected with technical, economic and social parameters of the opencast atmosphere. The goal of this paper is the realization of methods and the developing of software for the ...
  • Solving contest problems via formal program verification 
    Shilov, N.V.; Shilova, S.O. (2010)
    The interface between mathematics and computer science is many-sided. In particular, E.W. Dijkstra promoted a special “computer science” approach to mathematics problem solving. The approach combines a heuristic algorithm ...

Пошук


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

Перегляд

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