Shared SAT Solvers and SAT Memory in Distributed Business Applications

Autor: Kozlovičs, Sergejs

Publikováno v: CCIS vol. 1598, "Digital Business and Intelligent Systems: 15th International Baltic Conference" (proceedings), pp.201-216, Riga, Latvia, July 4-6, 2022

We propose a software architecture where SAT solvers act as a shared network resource for distributed business applications. There can be multiple parallel SAT solvers running either on dedicated hardware (a multi-processor system or a system with a

Externí odkaz: http://arxiv.org/abs/2302.00635

Goal-Aware Neural SAT Solver

Autor: Ozolins, Emils, Freivalds, Karlis, Draguns, Andis, Gaile, Eliza, Zakovskis, Ronalds, Kozlovics, Sergejs

Modern neural networks obtain information about the problem and calculate the output solely from the input values. We argue that it is not always optimal, and the network's performance can be significantly improved by augmenting it with a query mecha

Externí odkaz: http://arxiv.org/abs/2106.07162

The transformation-driven architecture and its graphical presentation engines

Autor: Kozlovičs, Sergejs

Promocijas darbā piedāvāta transformāciju vadītā arhitektūra (TDA) --- modeļbāzēta programmatūras arhitektūra interaktīvām sistēmām, kuras sastāv no vairākām komponentēm, kas sadarbojas. TDA attīsta tālāk OMG modeļu vadītās

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______2360::3f965d9c937a25f1f0ec2cd482d3a2fc
https://dspace.lu.lv/dspace/handle/7/4775

Fundamentālie algoritmi un to efektīva realizācija

Autor: Kozlovičs, Sergejs

Šajā darbā tiek aprakstīta atšķirība starp algoritma jēdzienu un tā realizāciju. Lasītāja uzmanībai tiek piedāvāta plaši atzītu metožu un algoritmu klasifikācija. Šos algoritmus un metodes var nosaukt par fundamentāliem. Tie veid

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______2360::386c5eec1b85857018e057c1b0cf9ae8
https://dspace.lu.lv/dspace/handle/7/19725

Python moduļa izstrāde un integrācija tīmekļa operētājsistēmā webAppOS drošības funkcionalitātes nodrošināšanai

Autor: Repko, Iļja

Tīmekļa operētājsistēma webAppOS ir infrastruktūra, kas ietver sevī vairākus tīmekļa procesorus jeb moduļus, kas ļauj vienā tīmekļa lietotnē izsaukt klašu metodes, kas ir realizētas dažādas programmēšanas valodās. Šī darba m�

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::84988e920f1ec23f084bf7796a5bcfc2
https://dspace.lu.lv/dspace/handle/7/58704