Результати для

Результати для Показ 350501 - 350550 результатів із 351829 Laminas_Feed_Writer 2 (https://getlaminas.org) https://harvester.nas.gov.ua/Search/Results?sort=last_indexed+desc&limit=50&page=7011&type=AllFields&lng=uk 351829 350500 50 Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании Thu, 17 Jul 2025 09:38:11 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-114 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-114 Lvov, M.S. Стаття 2017 Lvov, M.S. 0 The Formal method of Component Basic Programming Thu, 17 Jul 2025 09:38:08 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-11 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-11 Grischenko, V.N. Стаття 2015 Grischenko, V.N. 0 Survey on modern tools and methods of formal models verification Thu, 17 Jul 2025 09:38:07 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-109 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-109 Kolchin, A.V. Стаття 2015 Kolchin, A.V. 0 Принципи створення інтелектуального інтерфейсу для розв’язування систем лінійних алгебраїчних рівнянь на комп’ютерах гібридної архітектури Thu, 17 Jul 2025 09:38:04 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-100 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-100 HImIch, O.M. Стаття 2015 HImIch, O.M. 0 Formalization for sign units creation based on 3d human model for Ukrainian sign language Thu, 17 Jul 2025 09:38:01 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-95 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-95 Krivonos, Yu.G. Стаття 2015 Krivonos, Yu.G. 0 The implementation of legal electronic documents Thu, 17 Jul 2025 09:37:58 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-90 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-90 Melaschenko, A.O. Стаття 2015 Melaschenko, A.O. 0 Logics of local equitone predicates: semantic properties and sequential calculuses Thu, 17 Jul 2025 09:37:55 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-9 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-9 Nikitchenko, M.S. Стаття 2015 Nikitchenko, M.S. 0 Information technology for the development and analysis of models of subject areas for their study Thu, 17 Jul 2025 09:37:52 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-86 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-86 Lyubchenko, V.V. Стаття 2015 Lyubchenko, V.V. 0 Models and methods of analytical support for strategic management decision-making Thu, 17 Jul 2025 09:37:49 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-80 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-80 Ilina, E.P. Стаття 2015 Ilina, E.P. 0 Software model of genetic optimizer for regular neural networks in LabVIEW Thu, 17 Jul 2025 09:37:41 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-757 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-757 Zherebko, V.A. Стаття 2025 Zherebko, V.A. 0 Numerical Methods for Solving the Pursuit Optimization Problems Thu, 17 Jul 2025 09:37:35 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-743 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-743 Pashko, C.V. Стаття 2025 Pashko, C.V. 0 The formal basic developing and testing the distributed program systems Thu, 17 Jul 2025 09:37:32 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-739 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-739 Lavrischeva, K.M. Стаття 2025 Lavrischeva, K.M. 0 A software simulator of an aerobic cell responses to energy disbalance Thu, 17 Jul 2025 09:37:29 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-734 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-734 Grygoryan, R.D. Стаття 2025 Grygoryan, R.D. 0 Specialized search engine system of scientific materials in Ukrainian language with social aspects Thu, 17 Jul 2025 09:37:26 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-725 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-725 Glybovets, A.M. Стаття 2025 Glybovets, A.M. 0 Mathematical foundations for designing and development of intelligent systems of information analysis Thu, 17 Jul 2025 09:37:22 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-716 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-716 Terletskyi, D.O. Стаття 2025 Terletskyi, D.O. 0 Matching data between electronic documents and database tables with automated SQL-query generation Thu, 17 Jul 2025 09:37:19 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-707 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-707 Marulin, S.Yu. Стаття 2025 Marulin, S.Yu. 0 Cluster solution the problem of the diffraction elastic waves by a system of rigid cylindrical inclusions of arbitrary cross section Thu, 17 Jul 2025 09:37:16 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-698 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-698 Panchenko, B.E. Стаття 2025 Panchenko, B.E. 0 Research of the synchronization patterns and their use in GPGPU Thu, 17 Jul 2025 09:37:13 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-693 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-693 Pogorilyy, S.D. Стаття 2025 Pogorilyy, S.D. 0 Method of calibration of the СOCOMO model by reduction of the basic equation Thu, 17 Jul 2025 09:37:09 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-69 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-69 Batsenko, D.V. Стаття 2015 Batsenko, D.V. 0 Information system for hostilities mechanized forces modelling based on ontology Thu, 17 Jul 2025 09:37:08 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-684 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-684 Oborska, O.V. Стаття 2019 Oborska, O.V. 0 Development of a module of sociopsychophysiological support for modern IT as a means of increasing the efficiency of individual and collective activities while preserving their biosocial health Thu, 17 Jul 2025 09:37:05 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-674 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-674 Kuzmina, K.I. Стаття 2025 Kuzmina, K.I. 0 Video-based visualization of debugging process Thu, 17 Jul 2025 09:37:01 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-665 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-665 Shynkarenko, V.I. Стаття 2024 Shynkarenko, V.I. 0 Use of artificial intelligence sn the application for working with musical notes Thu, 17 Jul 2025 09:36:58 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-660 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-660 Popereshnyak, S.V. Стаття 2024 Popereshnyak, S.V. 0 Comparative analysis of height-based vegetation segmentation methods: evaluating efficiency and accuracy Thu, 17 Jul 2025 09:36:55 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-651 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-651 Tsaryniuk, O.V. Стаття 2024 Tsaryniuk, O.V. 0 Method of managing the execution of tasks of a multithreaded program according to a given dependency graph Thu, 17 Jul 2025 09:36:52 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-642 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-642 Nesterenko, K.P. Стаття 2024 Nesterenko, K.P. 0 Software framework for satellite spatial resolution enhancement Thu, 17 Jul 2025 09:36:48 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-633 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-633 Stankevich, S.A. Стаття 2024 Stankevich, S.A. 0 Towards ecosystem research in the software engineering Thu, 17 Jul 2025 09:36:44 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-628 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-628 Sydorov, M.O. Стаття 2024 Sydorov, M.O. 0 Design methodology of multimedia applications for gaming engines with a component-oriented architectural stile Thu, 17 Jul 2025 09:36:40 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-624 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-624 Bezditnyi, V.M. Стаття 2024 Bezditnyi, V.M. 0 The problem of distribution and merging of discrete correspondence flows in individual zones of a hierarchical communication network Thu, 17 Jul 2025 09:36:37 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-619 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-619 Vasyanin, V.O. Стаття 2024 Vasyanin, V.O. 0 Development of a methodology for the implementation of transactions in distributed systems with microservice architectura Thu, 17 Jul 2025 09:36:34 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-608 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-608 Glybovets, A.M. Стаття 2024 Glybovets, A.M. 0 Оптимізація алгоритму побудови невід’ємної матричної факторизації у задачах обробки текстів природною мовою із вико-ристанням графічних процесорів Thu, 17 Jul 2025 09:36:31 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-60 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-60 Marchenko, O.O. Стаття 2015 Marchenko, O.O. 0 Recurrent neural networks for the problem of improving numerical meteorological forecasts Thu, 17 Jul 2025 09:36:28 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-596 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-596 Doroshenko, А.Yu. Стаття 2023 Doroshenko, А.Yu. 0 Scientific documents metadata as a component of the system of the “open science” information resources Thu, 17 Jul 2025 09:36:25 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-591 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-591 Zakharova, O.V. Стаття 2023 Zakharova, O.V. 0 Creating a digital twin in meteorological forecasting for a smart city on a mobile platform Thu, 17 Jul 2025 09:36:22 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-579 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-579 Haidukevych, V.O. Стаття 2023 Haidukevych, V.O. 0 About the implementation of meteorological forecast interfaces for mobile platforms Thu, 17 Jul 2025 09:36:19 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-566 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-566 Haydukevich, Y.O. Стаття 2023 Haydukevich, Y.O. 0 Simulations of human hemodynamic responses to blood temperature and volume changes Thu, 17 Jul 2025 09:36:16 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-555 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-555 Grygoryan, R.D. Стаття 2023 Grygoryan, R.D. 0 Один підхід до вирішення проблеми універсального використання мови програмування OPENCL на різних GPU Thu, 17 Jul 2025 09:36:12 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-55 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-55 Lavrenyuk, A.M. Стаття 2015 Lavrenyuk, A.M. 0 Simulation of optimal pursuit strategies with simple motion Thu, 17 Jul 2025 09:36:09 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-549 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-549 Pashko, S.V. Стаття 2023 Pashko, S.V. 0 Method of detection of http attacks on a smart home using the algebraic matching method Thu, 17 Jul 2025 09:36:06 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-540 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-540 Gorbatiuk, V.O. Стаття 2023 Gorbatiuk, V.O. 0 Automated generation of programs for a class of parametric neuroevolution algorithms Thu, 17 Jul 2025 09:36:03 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-531 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-531 Doroshenko, A.Yu. Стаття 2023 Doroshenko, A.Yu. 0 Applying Description Logics with Concrete Domains to Solve the Problems of Semantic Web Services Discovery and Composition Thu, 17 Jul 2025 09:35:58 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-522 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-522 Zakharova, O.V. Стаття 2023 Zakharova, O.V. 0 Extracting structure from text documents based on machine learning Thu, 17 Jul 2025 09:35:54 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-517 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-517 Kudim, K.A. Стаття 2023 Kudim, K.A. 0 Technological trends & software engineering education: a systematic review study Thu, 17 Jul 2025 09:35:51 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-513 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-513 Nesterenko, O.V. Стаття 2023 Nesterenko, O.V. 0 Software engineering and big data software Thu, 17 Jul 2025 09:35:47 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-508 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-508 Sydorov, N.O. Стаття 2023 Sydorov, N.O. 0 Integration and service composition based on model Thu, 17 Jul 2025 09:35:44 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-498 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-498 Dyvak, Yu. Стаття 2022 Dyvak, Yu. 0 Automated inventory management system on Android using barcodes and QR-codes Thu, 17 Jul 2025 09:35:41 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-486 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-486 Haidukevych, Y.O. Стаття 2022 Haidukevych, Y.O. 0 Peculiarities of Computer Modeling of Thought Dissemination in Society on the Example of Student Society Thu, 17 Jul 2025 09:35:38 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-476 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-476 Shevchenko, V.V. Стаття 2022 Shevchenko, V.V. 0 Methods and techniques for management of ontolodgy-based knowledge representation models in the context of BIG data Thu, 17 Jul 2025 09:35:35 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-472 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-472 Novitsky, A.V. Стаття 2022 Novitsky, A.V. 0 Distributed implementation of neuroevolution of augmenting topologies method Thu, 17 Jul 2025 09:35:32 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-467 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-467 Achour, I.Z. Стаття 2021 Achour, I.Z. 0 Extended performance accounting using Valgrind tool Thu, 17 Jul 2025 09:35:29 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-461 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-461 Rahozin, D.V. Стаття 2021 Rahozin, D.V. 0