86 documents found
Oleksandr Frankiv. Automated Analysis and Augmented Reality Visualization of Software Module Architecture for Anti-Pattern Detection : Доктор філософії : spec.. 122 - Комп’ютерні науки : presented. 2026-09-12; popup.evolution: o; National University of Kyiv-Mohyla Academy. – Київ, 0826U005230.
Trokhym Babych. Methods and Tools for Building an Automated Educational Software System for Cybersecurity (Cyber Range) : Доктор філософії : spec.. 122 - Комп’ютерні науки : presented. 2026-09-11; popup.evolution: o; National University of Kyiv-Mohyla Academy. – Київ, 0826U005220.
Maksym Androshchuk. Methods for verification and reliable updating of external memory in RAG systems under knowledge modification and feedback distortion : Доктор філософії : spec.. 122 - Комп’ютерні науки : presented. 2026-09-05; popup.evolution: o; National University of Kyiv-Mohyla Academy. – Київ, 0826U005106.
Yevhen V. Ivanov. Generalized abstract rewriting theory : Доктор фізико-математичних наук : spec.. 01.05.01 - Теоретичні основи інформатики та кібернетики : presented. 2026-05-28; popup.evolution: e; Taras Shevchenko National University of Kyiv. – Київ, 0526U000115.
Oksana Melashchenko. Mathematical model and solution method for solving the optimization layout problem of geometric objects considering stretch and shrink transformations. : Доктор філософії : spec.. 113 - Прикладна математика : presented. 2025-05-14; popup.evolution: o; Anatolii Pidhornyi Institute of Power Machines and Systems of the National Academy of Sciences of Ukraine. – Харків, 0825U001318.
Valeriia Karieva. The Problem of Finding an Upper Optimality Estimate for Liver Regeneration Strategies Using Adaptive Dynamic Programming Methods : Доктор філософії : spec.. 113 - Прикладна математика : presented. 2025-05-19; popup.evolution: o; V.N. Karazin Kharkiv National University. – Харків, 0825U001311.
Bohdan V. Uhrynovskyi. Methods and tools of software reliability improvement considering software aging : Доктор філософії : spec.. 121 - Інженерія програмного забезпечення : presented. 2022-07-05; popup.evolution: o; Lviv Polytechnic National University. – Львів, 0825U000590.
Oleksandr Deineha. Optimization of Functional Programming Languages Based on Artificial Intelligence Methods : Доктор філософії : spec.. 122 - Комп’ютерні науки : presented. 2024-12-04; popup.evolution: o; V.N. Karazin Kharkiv National University. – Харків, 0824U003335.
Artem Panchenko. Coalgebraic methods of specification and analysis statistical limitations of distributed systems behavior : Доктор філософії : spec.. 122 - Комп’ютерні науки : presented. 2024-08-27; popup.evolution: o; V.N. Karazin Kharkiv National University. – Харків, 0824U002855.
Tovstokorenko Oleh Yuriyovych. Models and tools for the development and maintenance of variable software components in "Smart-home" systems : Доктор філософії : spec.. 122 - Комп’ютерні науки : presented. 2022-02-23; popup.evolution: .; National Technical University "Kharkiv Polytechnic Institute". – Харків, 0822U100756.
86 documents found

Updated: 2026-10-27