Results for Formal Methods Europe Showing 1 - 27 results of 27 Laminas_Feed_Writer 2 (https://getlaminas.org) https://harvester.nas.gov.ua/Search/Results?sort=last_indexed+desc&limit=50&lookfor=Formal+Methods+Europe&type=AllFields&lng=en 27 0 50 ПРО РЕЗУЛЬТАТИ ДОСЛІДЖЕНЬ НАУКОВОЇ ШКОЛИ ПРИ НАЦІОНАЛЬНІЙ АКАДЕМІЇ НАУК УКРАЇНИ «ДИНАМІКА ОБ’ЄКТІВ КОСМІЧНИХ ТЕХНОЛОГІЙ» У 2021–2025 РОКАХ Mon, 20 Apr 2026 01:00:19 +0000 https://harvester.nas.gov.ua/Record/oai:ojs2.journal-itm.dp.ua:article-168 https://harvester.nas.gov.ua/Record/oai:ojs2.journal-itm.dp.ua:article-168 ALPATOV, A. P. Article 2026 ALPATOV, A. P. 0 Organisational Ethics and Corporate Social Responsibility in European Business: Regional Variations and Strategic Impacts on Sustainability Sun, 29 Mar 2026 01:00:53 +0000 https://harvester.nas.gov.ua/Record/oai:ojs2.www.ees-journal.com:article-329 https://harvester.nas.gov.ua/Record/oai:ojs2.www.ees-journal.com:article-329 Feraru-Prepeliță, Andreea Article 2026 Feraru-Prepeliță, Andreea 0 Критичний аналіз таксономічного складу рідкісних судинних рослин у флорі Кіровоградської області Thu, 12 Mar 2026 15:49:12 +0000 https://harvester.nas.gov.ua/Record/oai:ojs2.plantintroduction.org:article-1691 https://harvester.nas.gov.ua/Record/oai:ojs2.plantintroduction.org:article-1691 Shynder, Oleksandr Article 2026 Shynder, Oleksandr 0 Відділ акліматизації плодових рослин: історія, наукові здобутки та перспективи Sun, 08 Feb 2026 08:11:58 +0000 https://harvester.nas.gov.ua/Record/oai:ojs2.plantintroduction.org:article-1674 https://harvester.nas.gov.ua/Record/oai:ojs2.plantintroduction.org:article-1674 Grygorieva, Olga Article 2025 Grygorieva, Olga 0 Пошук можливостей адаптації зеленої інфраструктури для організації безбар’єрного середовища на об’єктах живої природи Sun, 08 Feb 2026 08:11:57 +0000 https://harvester.nas.gov.ua/Record/oai:ojs2.plantintroduction.org:article-1669 https://harvester.nas.gov.ua/Record/oai:ojs2.plantintroduction.org:article-1669 Matiashuk, Rаisa Article 2025 Matiashuk, Rаisa 0 Geometry of Spectral Curves and All Order Dispersive Integrable System Sun, 07 Dec 2025 21:07:28 +0000 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-149186 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-149186 Borot, G. Article 2012 Borot, G. 0 Європейська міграційна криза 2015–2018 рр.: досвід Болгарії Sun, 07 Dec 2025 19:03:04 +0000 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-181628 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-181628 Білоусов, Ю.В. Article 2021 Білоусов, Ю.В. 0 Українсько-швейцарські відносини в 1918–1926 рр.: особливості дипломатичної присутності Sun, 07 Dec 2025 15:34:10 +0000 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-179748 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-179748 Матяш, І. Article 2020 Матяш, І. 0 Інтер’єр в архітектурі культурного комплексу Трипілля-Кукутень (проблеми вивчення, інтерпретації та реконструкції) Sun, 07 Dec 2025 13:36:29 +0000 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-187385 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-187385 Бурдо, Н.Б. Article 2020 Бурдо, Н.Б. 0 OMNIDIRECTIONAL MILLIMETER-WAVELENGTH ANTENNAS BASED ON SEGMENTAL DIELECTRIC RESONATORS WHICH SUPPORT WHISPERING GALLERY MODES Tue, 02 Dec 2025 15:25:52 +0000 https://harvester.nas.gov.ua/Record/rpra-journalorgua-article-1408 https://harvester.nas.gov.ua/Record/rpra-journalorgua-article-1408 Kogut, A. E. Article 2023 Kogut, A. E. 0 FRACTAL RADIOPHYSICS. Part 2. FRACTAL AND MULTIFRACTAL ANALYSIS METHODS OF SIGNALS AND PROCESSES Tue, 02 Dec 2025 15:25:49 +0000 https://harvester.nas.gov.ua/Record/rpra-journalorgua-article-1407 https://harvester.nas.gov.ua/Record/rpra-journalorgua-article-1407 Lazorenko, O. V. Article 2023 Lazorenko, O. V. 0 Semantic alignment of ontologies meaningful categories with the generalization of descriptive structures Fri, 21 Nov 2025 02:19:27 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-536 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-536 Manziuk, E.A. Article 2023 Manziuk, E.A. 0 Algebraic approach to the analysis of legal documents Fri, 21 Nov 2025 02:19:17 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-514 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-514 Letychevskyi, O.O. Article 2023 Letychevskyi, O.O. 0 Декоративні багаторічники у квітникарстві Центральної України: таксономічне різноманіття, структурний аналіз, успішність натуралізації чужорідних видів Mon, 28 Jul 2025 04:16:14 +0000 https://harvester.nas.gov.ua/Record/oai:ojs2.plantintroduction.org:article-1652 https://harvester.nas.gov.ua/Record/oai:ojs2.plantintroduction.org:article-1652 Shynder, Oleksandr Article 2025 Shynder, Oleksandr 0 Діброва дендропарку “Олександрія”. Частина 2. Моделі занепаду діброви Thu, 17 Jul 2025 12:54:25 +0000 https://harvester.nas.gov.ua/Record/oai:ojs2.plantintroduction.org:article-1650 https://harvester.nas.gov.ua/Record/oai:ojs2.plantintroduction.org:article-1650 Dragan, Nina Article 2024 Dragan, Nina 0 Проєкт оптимізації колекційно-експозиційної ділянки “Сирінгарій” Державного дендрологічного парку “Олександрія” НАН України Thu, 17 Jul 2025 12:54:24 +0000 https://harvester.nas.gov.ua/Record/oai:ojs2.plantintroduction.org:article-1647 https://harvester.nas.gov.ua/Record/oai:ojs2.plantintroduction.org:article-1647 Doiko, Nataliia Article 2024 Doiko, Nataliia 0 Перший прогрес у виділенні та ампліфікації ДНК з матеріалу, що зберігається у гербарії LWS Thu, 17 Jul 2025 12:54:24 +0000 https://harvester.nas.gov.ua/Record/oai:ojs2.plantintroduction.org:article-1649 https://harvester.nas.gov.ua/Record/oai:ojs2.plantintroduction.org:article-1649 Novikov, Andriy Article 2024 Novikov, Andriy 0 Діброва Дендропарку “Олександрія”. Частина 1. Від корінного до антропогенно трансформованого насадження Thu, 17 Jul 2025 12:54:18 +0000 https://harvester.nas.gov.ua/Record/oai:ojs2.plantintroduction.org:article-1632 https://harvester.nas.gov.ua/Record/oai:ojs2.plantintroduction.org:article-1632 Boiko, Nataliia Article 2023 Boiko, Nataliia 0 Флора фітогеографічної ділянки “Середня Азія” у Національному ботанічному саду імені М.М. Гришка НАН України Thu, 17 Jul 2025 12:54:09 +0000 https://harvester.nas.gov.ua/Record/oai:ojs2.plantintroduction.org:article-1616 https://harvester.nas.gov.ua/Record/oai:ojs2.plantintroduction.org:article-1616 Shynder, Oleksandr Article 2022 Shynder, Oleksandr 0 Флористична характеристика деяких синантропних рослинних угруповань низовини Кобулеті (Аджарія, Грузія) Thu, 17 Jul 2025 12:53:57 +0000 https://harvester.nas.gov.ua/Record/oai:ojs2.plantintroduction.org:article-1590 https://harvester.nas.gov.ua/Record/oai:ojs2.plantintroduction.org:article-1590 Mikeladze, Irakli Article 2021 Mikeladze, Irakli 0 Use of semantic technologies for dialogue between labor market subjects Thu, 17 Jul 2025 10:05:16 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-286 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-286 Pryima, S.M. Article 2018 Pryima, S.M. 0 Functional stability of intelligent systems in decision-making Thu, 17 Jul 2025 09:53:08 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-677 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-677 Shuklin, G.V. Article 2025 Shuklin, G.V. 0 60 Years of Databases (part four) Thu, 17 Jul 2025 09:51:36 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-500 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-500 Reznichenko, V.A. Article 2022 Reznichenko, V.A. 0 Constructive-synthesizing model of text graph representation Thu, 17 Jul 2025 09:49:14 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-181 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-181 Shynkarenko, V.I. Article 2018 Shynkarenko, V.I. 0 Principles and models of expert-analytical methodology for adaptive organizational decisions forming under deep uncertainty Thu, 17 Jul 2025 09:46:47 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-537 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-537 Illina, O.P. Article 2023 Illina, O.P. 0 Digital health systems: SMART-system for remote support of hybrid E-rehabilitation services and activities Thu, 17 Jul 2025 09:46:42 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-532 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-532 Palagin, O.V. Article 2023 Palagin, O.V. 0 Defining and resolving Web-services discovery problems using description logics formalism Thu, 17 Jul 2025 09:44:52 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-311 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-311 Zakharova, O.V. Article 2018 Zakharova, O.V. 0