Sākumlapa

Šajā vietnē Latvijas Universitātes Datorikas fakultātes docents un Matemātikas un informātikas institūta vadošais pētnieks Agris Šostaks apkopo dažādas interesantas ar datorzinātnēm saistītas tēmas, kas galvenokārt varētu tikt attīstītas studiju darbu (kvalifikācijas, kursa, bakalaura, maģistra) veidā.

2017. gada rudens semestrī kopā ar docenti Elīnu Kalniņu tika organizēts Specseminārs par Grafisko Domēna Specifisko Valodu atbalsta rīku būvi.

Tēmas

Šeit ir vispārīgs tēmu uzskaitījums, kuru lēnā garā taisos detalizēt. Augstāk ir aktuālākās tēmas. Ieskatam arī piedāvāju iepazīties ar darbiem, kas aizstāvēti manā vadībā par zemāk apskatāmajām tēmām.

Kombinatoriskās Optimizācijas Problēmas

1. Kombinatoriskās optimizācija universālo risinātāju (solveru) ietvari. Piemēram, Optaplanner, OR Tools.
2. Vehicle Routing Problem With Time Windows - klasiskie risinājumi
3. Vehicle Routing Problem With Time Windows - vai iespējams risināt ar mašīnmācīšanās metodēm?
4. Optaplanner rīka lietošana stundu saraksta izveidošanai un optimizēšanai
5. Grafiska domēnspecifiska valoda Optaplanner solveru definēšanai.

Domēnspecifiskas valodas

1. Valoda likumu (juridiskā nozīmē), kas ietver sevī precīzus aprēķinus, atkļūdošanai.
2. Valoda kāršu spēļu noteikumu aprakstīšanai

Bakalaura darbs, Matīss Lulle, Domēnspecifiskas valodas izstrāde kāršu spēļu noteikumu aprakstīšanai, 2014

Bakalaura darbs, Sandis Krutovs, Domēnspecifiskā valoda tīmekļa programmēšanai, 2012

Flexible Modeling

1. Diagrammu zīmēšanas rīks (~ Powerpoint vai Visio)
2. Diagrammu zīmēšanas rīks ar manuālu semantikas pievienošanu
3. Diagrammu zīmēšanas rīks ar pusautomātisku semantikas pievienošanu (semantikas inference)
4. Ne-grafu diagrammu formalizācija
5. Diagrammas elementu formas vispārināšana, izmantojot superformulu
6. Diagrammatiskas valodas kognitīvās efektivitātes novērtēšana

Bakalaura darbs, Ralfs Sedlenieks, Ar superformulu ģenerētu objektu īpašības un pielietojumi, 2019

Bakalaura darbs, Zane Siliņa, Grafisko valodu kognitīvās efektivitātes novērtēšana, 2013

Automātu Teorija un Formālās Gramatikas

1. Magazīnas automātu "normālformas"
2. Tīmekļa rīks galīgu automātu (determinētu, nedeterminētu, magazīnas) būvei, darbināšanai un pārveidei.
3. Automātiska risinājuma pārbaude un novērtēšana
4. Problēmu ģenerēšana

Bakalaura darbs, Artūrs Jānis Pētersons, Galīgu determinētu automātu būves uzdevumu automātiska vērtēšana, 2018

Šahs

1. Šaha uzdevumu MATS X GĀJIENOS ģenerēšana
2. Šaha uzdevumu Skaistuma novērtēšana
3. Vai cilvēks + dators spēlē labāk nekā tikai dators?
4. Automātiska pozīcijas atpazīšana no foto

Bakalaura darbs, Dāvids Miezāks, Šaha uzdevumu ģenerēšana, 2020

Bakalaura darbs, Olafs Eglājs, Galda spēļu stāvokļu automātiska atpazīšana, 2018

Ģenerēšana

1. Regulāro izteiksmju ģenerēšana no piemēriem
2. Bezkonteksta gramatiku ģenerēšana no piemēriem
3. Regulāro izteiksmju krustvārdu mīklu automātiska ģenerēšana
4. Dotajiem datiem līdzīgu datu ģenerēšana
5. Ainavu ģenerēšana
6. Induktīvā programmēšana

Bakalaura darbs, Agnese Rumkovska, Algoritmiski ģenerēta mūzika, 2020

Bakalaura darbs, Dmitrijs Arkašarins, Lietotāja vadīts reljefa ģenerēšanas algoritms, 2020

Bakalaura darbs, Inta Kovaļenko, L-sistēmu pielietojums augu 3D modeļu ģenerēšanai, 2017

Bakalaura darbs, Māris Jankovskis, Datu jaukšanas tehnikas datu anonimizācijai, 2016

Spēles

1. Procedural Content Generation (PCG) in Games
2. General Game Playing
3. Model Driven Engineering (MDE) spēļu izstrādē
4. Galda spēļu botu izstrāde ar mašīnmācīšanās metodēm
5. Domeina specifisku valodu (DSL) izstrāde spēļu aprakstīšanai
6. Galīgu automātu, regulāru izteiksmju, gramatiku pielietojums spēļu izstrādē

Bakalaura darbs, Mārtiņš Kurmis, Procedurāla trīsdimensionāla labirinta ģenerēšana, 2019

Bakalaura darbs, Emīls Kadiķis, Dažādu galda spēļu spēlēšana ar vispārīgu mašīnmācīšanās algoritmu, 2018

Bakalaura darbs, Uvis Zviedris, Datorspēļu līmeņu ar adaptīvu sarežģītības pakāpi procedurāla ģenerēšana, 2016

Sporta analītika

1. Sporta rezultātu prognozēšana

Bakalaura darbs, Madars Zvaigzne, Mašīnmācīšanās pielietojums sporta notikumu prognozēšanā

Bakalaura darbs, Linards Solovjevs, Mašīnmācīšanās metožu izmantošana hokeja spēlētāju individuālās statistikas prognozēšanā

Vaicājumu valodas

1. Grafiskas vaicājumu valodas izstrāde
2. Grafiskas vaicājumu valodas rīka izstrāde
3. Uz dabīgo valodu balstītas vaicājumu valodas izmantojamo konstrukciju sarežģītība
4. Vaicājumu žurnāla izmantošana datu shēmas uzlabošanai
5. GADBMS (GPU-accelerated Database Management Systems) un vaicājumu valodas priekš tām.