Results for Formal Methods Europe

Results for Formal Methods Europe Showing 1 - 50 results of 57 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 57 0 50 RECENT ADVANCES IN PHOTOCHEMICAL SYNTHESIS OF FLUORINE-CONTAINING HETEROCYCLES (review). Thu, 23 Jul 2026 01:14:17 +0000 https://harvester.nas.gov.ua/Record/oai:ojs2.1444248.nisspano.web.hosting-test.net:article-768 https://harvester.nas.gov.ua/Record/oai:ojs2.1444248.nisspano.web.hosting-test.net:article-768 Wzorek, Alicja Article 2026 Wzorek, Alicja 0 Декарбоксилювальне 1,3-протонне переміщення: нетрадиційна стратегія синтезу біологічно значущих аміносполук Mon, 20 Jul 2026 01:00:15 +0000 https://harvester.nas.gov.ua/Record/oai:ojs2.bioorganica.com.ua:article-102 https://harvester.nas.gov.ua/Record/oai:ojs2.bioorganica.com.ua:article-102 Wzorek, Alicja Article 2025 Wzorek, Alicja 0 ANALYSIS OF OPEN LI-ION BATTERY TESTING DATASETS FOR DEGRADATION MODELING AND LIFECYCLE MANAGEMENT Sun, 19 Jul 2026 01:24:09 +0000 https://harvester.nas.gov.ua/Record/systemreorg-article-938 https://harvester.nas.gov.ua/Record/systemreorg-article-938 Kostenko , Ganna Article 2026 Kostenko , Ganna 0 SYSTEM ANALYSIS OF SERVICE-ORIENTED TRANSFORMATION METHODS AND MODELS OF REGIONAL ENERGY SYSTEMS IN THE CONTEXT OF EFFICIENCY, PROFITABILITY, AND RESILIENCE Sun, 19 Jul 2026 01:24:09 +0000 https://harvester.nas.gov.ua/Record/systemreorg-article-940 https://harvester.nas.gov.ua/Record/systemreorg-article-940 Yevtukhova, Tatyana Article 2026 Yevtukhova, Tatyana 0 METHODOLOGY FOR IMPROVING THE RELIABILITY OF 10–35 KV CABLE NETWORKS BASED ON AN INTEGRATED APPROACH Sun, 19 Jul 2026 01:24:03 +0000 https://harvester.nas.gov.ua/Record/systemreorg-article-935 https://harvester.nas.gov.ua/Record/systemreorg-article-935 Tkachenko, Andrii Article 2026 Tkachenko, Andrii 0 JUSTIFICATION OF FEASIBILITY OF THE APPLICATION PHOTOVOLTAIC POWER PLANTS FOR THE DECARBONISATION OF THERMAL POWER PLANTS Sun, 19 Jul 2026 01:23:49 +0000 https://harvester.nas.gov.ua/Record/systemreorg-article-910 https://harvester.nas.gov.ua/Record/systemreorg-article-910 Matushkin, Dmytro Article 2025 Matushkin, Dmytro 0 CLUSTER BASED DEPLOYMENT OF SECOND LIFE EV BATTERIES FOR RELIABLE AND SUSTAINABLE BACKUP POWER SOLUTION IN POWER SYSTEMS Sun, 19 Jul 2026 01:23:27 +0000 https://harvester.nas.gov.ua/Record/systemreorg-article-885 https://harvester.nas.gov.ua/Record/systemreorg-article-885 Kostenko, Ganna Article 2025 Kostenko, Ganna 0 ACCOUNTING CALENDAR AND CYCLIC AGEING FACTORS IN DIAGNOSTIC AND PROGNOSTIC MODELS OF SECOND-LIFE EV BATTERIES APPLICATION IN ENERGY STORAGE SYSTEMS Sun, 19 Jul 2026 01:23:02 +0000 https://harvester.nas.gov.ua/Record/systemreorg-article-856 https://harvester.nas.gov.ua/Record/systemreorg-article-856 Kostenko, Ganna Article 2024 Kostenko, Ganna 0 WORLD EXPERIENCE OF LEGISLATIVE REGULATION FOR LITHIUM-ION ELECTRIC VEHICLE BATTERIES CONSIDERING THEIR SECOND-LIFE APPLICATION IN POWER SECTOR Sun, 19 Jul 2026 01:22:40 +0000 https://harvester.nas.gov.ua/Record/systemreorg-article-836 https://harvester.nas.gov.ua/Record/systemreorg-article-836 Kostenko, Ganna Article 2024 Kostenko, Ganna 0 INNOVATIVE POTENTIAL OF SMALL HYDROPOWER IN UKRAINE FOR ENSURING NATIONAL ENERGY SECURITY Sun, 19 Jul 2026 01:19:03 +0000 https://harvester.nas.gov.ua/Record/veorgua-article-612 https://harvester.nas.gov.ua/Record/veorgua-article-612 Tkach , D. Article 2026 Tkach , D. 0 TECHNICAL AND EXPERIMENTAL ANALYSIS OF FIBER-OPTICAL SOLAR LIGHTNING SYSTEMS Sun, 19 Jul 2026 01:18:53 +0000 https://harvester.nas.gov.ua/Record/veorgua-article-626 https://harvester.nas.gov.ua/Record/veorgua-article-626 Rubanenko , О. Article 2026 Rubanenko , О. 0 APPROACHES TO PLANNING A HYDROGEN REFUELING STATION NETWORK IN UKRAINE BASED ON SCENARIO ANALYSIS AND GIS MODELING Sun, 19 Jul 2026 01:18:46 +0000 https://harvester.nas.gov.ua/Record/veorgua-article-609 https://harvester.nas.gov.ua/Record/veorgua-article-609 Kudria , S. Article 2026 Kudria , S. 0 THE METHOD FOR DETERMINING THE EFFECTIVE TOTAL LOAD SHEDDING FOR UNDER-FREQUENCY LOAD SHEDDING OF THE POWER SYSTEM Sun, 19 Jul 2026 01:14:59 +0000 https://harvester.nas.gov.ua/Record/veorgua-article-501 https://harvester.nas.gov.ua/Record/veorgua-article-501 Lytvynchuk, V. Article 2025 Lytvynchuk, V. 0 Відділ квітниково-декоративних рослин НБС імені М.М. Гришка НАН України як провідний науковий центр в галузі квітникарства в Україні Fri, 17 Jul 2026 01:00:12 +0000 https://harvester.nas.gov.ua/Record/www-plantintroduction-org-article-1705 https://harvester.nas.gov.ua/Record/www-plantintroduction-org-article-1705 Buidin, Yurii Article 2026 Buidin, Yurii 0 ПРО РЕЗУЛЬТАТИ ДОСЛІДЖЕНЬ НАУКОВОЇ ШКОЛИ ПРИ НАЦІОНАЛЬНІЙ АКАДЕМІЇ НАУК УКРАЇНИ «ДИНАМІКА ОБ’ЄКТІВ КОСМІЧНИХ ТЕХНОЛОГІЙ» У 2021–2025 РОКАХ Tue, 14 Jul 2026 01:01:05 +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 Промислова політика України: можливості подолання пастки периферизації Thu, 09 Jul 2026 01:00:22 +0000 https://harvester.nas.gov.ua/Record/oai:ojs.ojs.econindustry.org:article-345 https://harvester.nas.gov.ua/Record/oai:ojs.ojs.econindustry.org:article-345 Pidorycheva, Iryna Yu. Article 2026 Pidorycheva, Iryna Yu. 0 Analysis of Investment Trade-Offs and the Cost of Policy Inaction in the Green Energy Transition Wed, 01 Jul 2026 01:00:38 +0000 https://harvester.nas.gov.ua/Record/oai:ojs2.www.ees-journal.com:article-341 https://harvester.nas.gov.ua/Record/oai:ojs2.www.ees-journal.com:article-341 Mikhno, Inesa Article 2026 Mikhno, Inesa 0 The Impact of Digitalisation and Operational Coordination on Transport Efficiency in Intermodal Logistics Wed, 01 Jul 2026 01:00:35 +0000 https://harvester.nas.gov.ua/Record/oai:ojs2.www.ees-journal.com:article-340 https://harvester.nas.gov.ua/Record/oai:ojs2.www.ees-journal.com:article-340 Angelova, Miglena Article 2026 Angelova, Miglena 0 Assessing the Impact of Hospital Accreditation on Healthcare Quality Management and Provision of Medical Services Wed, 01 Jul 2026 01:00:33 +0000 https://harvester.nas.gov.ua/Record/oai:ojs2.www.ees-journal.com:article-347 https://harvester.nas.gov.ua/Record/oai:ojs2.www.ees-journal.com:article-347 Gognadze, Ketevan Article 2026 Gognadze, Ketevan 0 The Role of Artificial Intelligence in Digital Sustainability and Governance Systems Wed, 01 Jul 2026 01:00:29 +0000 https://harvester.nas.gov.ua/Record/oai:ojs2.www.ees-journal.com:article-345 https://harvester.nas.gov.ua/Record/oai:ojs2.www.ees-journal.com:article-345 Keser, Ivana Article 2026 Keser, Ivana 0 A New Species of Hahnia (Araneae, Hahniidae) from Bulgaria and Crimean Peninsula close to H. nava Tue, 30 Jun 2026 01:00:36 +0000 https://harvester.nas.gov.ua/Record/oai:ojs.akademperiodyka.org.ua:article-936 https://harvester.nas.gov.ua/Record/oai:ojs.akademperiodyka.org.ua:article-936 Indzhov, S. Article 2026 Indzhov, S. 0 Phylogeography of Terricola Voles in the Caucasus and Eastern Anatolia, with a New Southernmost Record of Microtus daghestanicus (Rodentia, Cricetidae, Arvicolinae) Tue, 30 Jun 2026 01:00:32 +0000 https://harvester.nas.gov.ua/Record/oai:ojs.akademperiodyka.org.ua:article-926 https://harvester.nas.gov.ua/Record/oai:ojs.akademperiodyka.org.ua:article-926 Kalkan , K. K. Article 2026 Kalkan , K. K. 0 ОЦІНКА ЗАБЕЗПЕЧЕННЯ КОНКУРСНИХ ВІДБОРІВ ФІНАНСУВАННЯ НАУКОВИХ (НАУКОВО-ТЕХНІЧНИХ) ПРОЄКТІВ НАЦІОНАЛЬНОЮ ЕЛЕКТРОННОЮ НАУКОВО-ІНФОРМАЦІЙНОЮ СИСТЕМОЮ Thu, 18 Jun 2026 01:01:15 +0000 https://harvester.nas.gov.ua/Record/oai:ojs2.scinn-eng.org.ua:article-1110 https://harvester.nas.gov.ua/Record/oai:ojs2.scinn-eng.org.ua:article-1110 ZHARINOVA, A. Article 2026 ZHARINOVA, A. 0 ІННОВАЦІЙНА МОДЕЛЬ РОЗВИТКУ ЕЛЕКТРОННОЇ ТОРГІВЛІ ХАРЧОВИМИ ТОВАРАМИ В УКРАЇНІ Thu, 18 Jun 2026 01:01:10 +0000 https://harvester.nas.gov.ua/Record/oai:ojs2.scinn-eng.org.ua:article-1145 https://harvester.nas.gov.ua/Record/oai:ojs2.scinn-eng.org.ua:article-1145 KYRYCHENKO, A. Article 2026 KYRYCHENKO, A. 0 ВРАХУВАННЯ МЕРЕЖЕВИХ ОБМЕЖЕНЬ ТА МІНІМІЗАЦІЯ РІЗНИЦІ ЦІН МІЖ РИНКАМИ ЕЛЕКТРОЕНЕРГІЇ Tue, 16 Jun 2026 01:16:03 +0000 https://harvester.nas.gov.ua/Record/techned_org_ua-article-940 https://harvester.nas.gov.ua/Record/techned_org_ua-article-940 Блінов , І.В. Article 2015 Блінов , І.В. 0 МЕТОДИЧНИЙ ПІДХІД ДО ОЦІНЮВАННЯ ЯКОСТІ ОБЛІКУ ТА РОЗКРИТТЯ ФІНАНСОВИХ ІНСТРУМЕНТІВ УКРАЇНСЬКИХ ПІДПРИЄМСТВ Tue, 09 Jun 2026 01:02:13 +0000 https://harvester.nas.gov.ua/Record/www_nayka_com_ua-article-10346 https://harvester.nas.gov.ua/Record/www_nayka_com_ua-article-10346 Фаріон, В. Я. Article 2026 Фаріон, В. Я. 0 Критичний аналіз таксономічного складу рідкісних судинних рослин у флорі Кіровоградської області Fri, 08 May 2026 01:00:20 +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 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 Відділ акліматизації плодових рослин: історія, наукові здобутки та перспективи 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 Моделювання впливу міжцивілізаційних розломів на інтенсивність конфліктів у світі Thu, 17 Jul 2025 10:27:42 +0000 https://harvester.nas.gov.ua/Record/journaliasakpiua-article-251997 https://harvester.nas.gov.ua/Record/journaliasakpiua-article-251997 Zgurovsky, Michael Article 2021 Zgurovsky, Michael 0 Платформа сценарного аналізу як основа методології національної програми передбачення в Україні Thu, 17 Jul 2025 10:25:56 +0000 https://harvester.nas.gov.ua/Record/journaliasakpiua-article-175035 https://harvester.nas.gov.ua/Record/journaliasakpiua-article-175035 Zgurovsky, M. Z. Article 2019 Zgurovsky, M. Z. 0 Інформаційні теорії та можливі математичні описи економічних і суспільних систем, заснованих на фізичних явищах Thu, 17 Jul 2025 10:24:56 +0000 https://harvester.nas.gov.ua/Record/journaliasakpiua-article-165554 https://harvester.nas.gov.ua/Record/journaliasakpiua-article-165554 Gaeta, M. Article 2019 Gaeta, M. 0 Підхід на основі асоціативної пам’яті до моделювання фондової біржі Thu, 17 Jul 2025 10:23:34 +0000 https://harvester.nas.gov.ua/Record/journaliasakpiua-article-127327 https://harvester.nas.gov.ua/Record/journaliasakpiua-article-127327 Makarenko, A. Article 2018 Makarenko, A. 0 Дослідження переривистого характеру глобалізації в контексті соціального розвитку та безпеки країн світу. Частина 1. Аналіз докризового періоду (до другої половини 2008 р.) Thu, 17 Jul 2025 10:22:40 +0000 https://harvester.nas.gov.ua/Record/journaliasakpiua-article-108440 https://harvester.nas.gov.ua/Record/journaliasakpiua-article-108440 Zgurovsky, A. Article 2009 Zgurovsky, A. 0