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.
Satura rÄdÄ«tÄjs
TÄ“mas
Å eit ir vispÄrÄ«gs tÄ“mu uzskaitÄ«jums, kuru lÄ“nÄ garÄ taisos detalizÄ“t.
Domēnspecifiskas valodas
- Valoda likumu (juridiskÄ nozÄ«mÄ“), kas ietver sevÄ« precÄ«zus aprÄ“Ä·inus, atkļūdoÅ¡anai.
AutomÄtu Teorija un FormÄlÄs Gramatikas
- MagazÄ«nas automÄtu "normÄlformas"
- TÄ«mekļa rÄ«ks galÄ«gu automÄtu (determinÄ“tu, nedeterminÄ“tu, magazÄ«nas) bÅ«vei, darbinÄÅ¡anai un pÄrveidei.
- AutomÄtiska risinÄjuma pÄrbaude un novÄ“rtÄ“Å¡ana
- 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
Å ahs
- Šaha uzdevumu MATS X GĀJIENOS ģenerēšana
- Šaha uzdevumu Skaistuma novērtēšana
- Vai cilvÄ“ks + dators spÄ“lÄ“ labÄk nekÄ tikai dators?
- AutomÄtiska pozÄ«cijas atpazÄ«Å¡ana no foto
Bakalaura darbs, DÄvids MiezÄks, Å aha uzdevumu Ä£enerÄ“Å¡ana
Flexible Modeling
- Diagrammu zīmēšanas rīks (~ Powerpoint vai Visio)
- Diagrammu zÄ«mÄ“Å¡anas rÄ«ks ar manuÄlu semantikas pievienoÅ¡anu
- Diagrammu zÄ«mÄ“Å¡anas rÄ«ks ar pusautomÄtisku semantikas pievienoÅ¡anu (semantikas inference)
- Ne-grafu diagrammu formalizÄcija
- Diagrammas elementu formas vispÄrinÄÅ¡ana, izmantojot superformulu
- Diagrammatiskas valodas kognitÄ«vÄs efektivitÄtes novÄ“rtÄ“Å¡ana
VaicÄjumu valodas
- Grafiskas vaicÄjumu valodas izstrÄde
- Grafiskas vaicÄjumu valodas rÄ«ka izstrÄde
- Uz dabÄ«go valodu balstÄ«tas vaicÄjumu valodas izmantojamo konstrukciju sarežģītÄ«ba
- VaicÄjumu žurnÄla izmantoÅ¡ana datu shÄ“mas uzlaboÅ¡anai
- GADBMS (GPU-accelerated Database Management Systems) un vaicÄjumu valodas priekÅ¡ tÄm.
Ģenerēšana
- RegulÄro izteiksmju Ä£enerÄ“Å¡ana no piemÄ“riem
- Bezkonteksta gramatiku ģenerēšana no piemēriem
- RegulÄro izteiksmju krustvÄrdu mÄ«klu automÄtiska Ä£enerÄ“Å¡ana
- Dotajiem datiem līdzīgu datu ģenerēšana
- Ainavu ģenerēšana
- 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, MÄrtiņš Kurmis, ProcedurÄla trÄ«sdimensionÄla labirinta Ä£enerÄ“Å¡ana, 2019
Spēles
- Procedural Content Generation (PCG) in Games
- General Game Playing
- Model Driven Engineering (MDE) spēļu izstrÄdÄ“
- Galda spēļu botu izstrÄde ar maÅ¡Ä«nmÄcÄ«Å¡anÄs metodÄ“m
- Domeina specifisku valodu (DSL) izstrÄde spēļu aprakstÄ«Å¡anai
- GalÄ«gu automÄtu, regulÄru izteiksmju, gramatiku pielietojums spēļu izstrÄdÄ“
KombinatoriskÄs OptimizÄcijas ProblÄ“mas
- KombinatoriskÄs optimizÄcija universÄlo risinÄtÄju (solveru) ietvari. PiemÄ“ram, Optaplanner, OR Tools.
- Vehicle Routing Problem With Time Windows - klasiskie risinÄjumi
- Vehicle Routing Problem With Time Windows - vai iespÄ“jams risinÄt ar maÅ¡Ä«nmÄcÄ«Å¡anÄs metodÄ“m?
- Optaplanner rīka lietošana stundu saraksta izveidošanai un optimizēšanai
- Grafiska domēnspecifiska valoda Optaplanner solveru definēšanai.
Sporta analītika
- Sporta rezultÄtu prognozÄ“Å¡ana