Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDUkrPROG 2018: Kyiv, Ukraine
- Ivan Sergienko, Philip Andon:
Proceedings of the 11th International Conference of Programming UkrPROG 2018, Kyiv, Ukraine, May 22-24, 2018. CEUR Workshop Proceedings 2139, CEUR-WS.org 2018
Theory and Methodology of Programming
- Sergii Kryvyi, Sergii Porogilyy, Maksym Slynko:
Формалізований метод проектування застосувань в технології GPGPU Transition systems as method of designing applications in GPGPU technology. 12-20 - Ruslan Shevchenko:
Числення контекстних термів для систем переписування Context term calculus for rewriting systems. 21-30 - Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak:
Логіки загальних недетермінованих предикатів: cемантичні аспекти Logics of general non-deterministic predicates: semantic aspects. 31-45
Parallel Programming. Distributed Systems and Networks
- Anatoliy Doroshenko, Pavlo A. Ivanenko, Oleksandr Novak, Olena Yatsenko:
Автотюнінг паралельних програм із використанням статистичного моделювання та машинного навчання Parallel software auto-tuning using statistical modeling and machine learning. 46-53 - Tetyana Gerasimova, Alla Nesterenko:
Паралельні алгоритми розв'язування систем нелінійних рівнянь та задач Коші для систем звичайних диференціальних рівнянь на багатоядерних комп'ютерах з процесорами Intel Xeon Phi Parallel algorithms for the solving both of non-linear systems and initial-value problems for systems of ordinary differential equations on multi-core computers with processors Intel Xeon Phi. 54-60 - Mykola sovets, Ihor Shchetynin, Lilija Tovstenko:
Системные аспекты проектирования гарантоспособных облачных вычислений System aspects of design guaranteased cloud calculations. 61-67 - Olga Ovdii:
Розширення системи синтезу програм з метою аналізу великих наборів даних Extension of the program synthesis system to analyze large data sets. 68-74 - Oleksii Ignatenko, Vladislav Odobesku:
Теоретико-ігровий аналіз планувальників у багатопроцесорних системах. Імітаційна модель Game-theory analysis of multi-processor schedulers. Simulation model. 75-82 - Oleksandr Popov, Olga Rudich, Oleksii Chystiakov:
Багаторівнева модель паралельних обчислень для задач лінійної алгебри Multi-level Model of Parallel Computing for Linear Algebra Problems. 83-92 - Taras Panchenko, Sunmade Fabunmi:
Еквівалентність двох систем паралельного виконання Equivalence of two parallel execution systems. 93-98 - Sergey Yershov, Roman Ponomarenko:
Архітектура програмної системи ієрархічного нечіткого логічного виведення Architecture of softwаre system for hierarhical fuzzy inference. 99-108
Methods and Facilities of Software Engineering
- Volodymyr Peschanenko, Maksym Poltorackiy:
Use of metods of algebraic programming for the formal verification of legal acts. 109-114 - Alexander Kolchin:
Interactive method for cumulative analysis of software formal models behavior. 115-123 - Olena Chebanyuk:
Formal foundations for software model to model transformation operation. 124-131
Models and Facilities for Data and Knowledge Bases
- Sergii Kryvyi, Nataliia Darchuk, Aleksandr Provotar:
Онтологоподібні системи аналізу природномовних текстів Ontological similar systems for analysis of texts of natural language. 132-139 - Serhei Pashko:
Оптимальне розміщення багатосенсорної системи Optimal placement of a multi-sensor system. 140-148 - Sergiy Pogorilyy, Artem Kramov:
Автоматизована екстракція структурованої інформації з множини веб сторінок Automated extraction of structured information from a variety of web pages. 149-158 - Iryna Glushko:
Про зв'язок між табличною алгеброю нескінченних таблиць та мультимножинною табличною алгеброю About relationship between table algebra of infinite tables and multiset table algebra. 159-163 - Olexander I. Provotar, Olexander O. Provotar:
Достовірність нечіткості: теорія та застосування Credibility of fuzziness: theory and application. 164-170 - Olexander Barmak, Yuri Krak, Eduard Manziuk:
Характеристика для вибору моделей у ансамблі класифікаторів Characteristics for choice of models in the ansables classification. 171-179 - Olexandr Balabanov:
Класи каузальних структур, що ідентифікуються тестами простого формату On the classes of causal networks, identifiable by simple independence tests. 180-188 - Peter Krammer, Marcel Kvassay, Ladislav Hluchý:
Predicting the Probability of Exceeding Critical System Thresholds. 189-196 - Julia Rogushina:
Моделі та методи використання онтологій у семантичному пошуку у web Models and Methods of Ontology Use for the Web Semantic search. 197-203 - Olga Zakharova:
Специфікація процесу семантичної анотації Веб-сервісів Specification of the process of the semantic annotation the web services. 204-213 - Inna Chystiakova:
Отображение реляционной алгебры в дескриптивную логику Mapping of the relational algebra to the description logic. 214-225 - Serhii M. Pryima, Julia V. Rogushina, Oksana V. Strokan:
Use of semantic technologies in the process of recognizing the outcomes of non-formal and informal learning. 226-235
Education and Learning Aspects of Programming
- Yevhen Morentsov:
Система моделей предметної області «Метатехнологія програмування» The system of models of domain «Software Metatechnology». 236-244 - Yuri Krak, Olexander Barmak, Olexander Mazurets:
Практична реалізація інформаційної технології автоматизованого визначення множини семантичних термінів в контенті навчальних матеріалів The practice implementation of the information technology for automated definition of semantic terms sets in the content of educational materials. 245-254
Information Systems
- Oleksandr Palagin, Vitalii Velychko, Kyrylo Malakhov, Oleksandr Shchurov:
Research and development workstation environment: the new class of Current Research Information Systems. 255-269
Software Environment and Tools
- Viktor Shynkarenko, Petro Ilchenko, Hennadii Zabula:
Інструментальні засоби дослідження часової та функціональної ефективності біонічних алгоритмів розв'язку екстремальних задач Tools of investigation of time and functional efficiency of bionic algorithms for function optimization problems. 270-279
Applied Software
- Rafik Grygoryan, Tetiana Aksenova, Anna Degoda:
Специализированный компьютерный симулятор «SimEnPhysiol» Specialised computer simulator "SimEnPhysiol". 280-287 - Valerii Zherebko, Oleg Pisarenko, Vitalii Drabynko:
Імітаційне моделювання та генетична оптимізація систем керування засобами програмування LabVIEW Simulation and genetic optimization of control systems by LabVIEW programming. 288-295 - Anatoliy Doroshenko, Volodymyr Shymkovych, Vladyslav Fedorenko:
Програмні засоби моделювання системи управління векторною тягою реактивного двигуна Software means of modeling of the vector type of reactive engine control system. 296-304 - Iurii Kryvonos, Iurii Krak, Miroslav Lisniak, Anton Ternov:
Розробка архітектури програмного забезпечення для інтерактивного навчання жестовій мові (Software architectural design for the interactive learning of sign language). 295-302
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-26 18:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
