Now showing items 1-4 of 4

    • Kvantu skaitļošanas konstrukcijas 

      Ščeguļnaja-Dubrovska, Oksana (Latvijas Universitāte, 2011)
      Kvantu modelis ar pēcatlasi tiek definēts Scott Aaronson darbā. Beigu stāvokļu kopa, kas parasti sastāv no akceptējošiem un noraidošiem stāvokļiem, tiek papildināta ar parametru, kas norāda, vai dotais beigu stāvoklis ...
    • Relational Database information availability to Semantic Web technologies 

      Būmans, Guntars (Latvijas Universitāte, 2012)
      Promocijas darba „Relāciju datu bāzu informācijas pieejamība semantiskā tīmekļa tehnoloģijām” Anotācija Atslēgas vārdi: relāciju datu bāze, RDF, OWL, ontoloģijas, attēlojums Semantiskā tīmekļa uzdevums ir pārvērst tīmekli ...
    • Sarežģītību ietekmēta programmatūras testēšana 

      Arnicāne, Vineta (Latvijas Universitāte, 2013)
      Promocijas darbs ir veltīts programmatūras testēšanas metodoloģisko, tehnoloģisko un organizatorisko aspektu izpētei ar mērķi nodrošināt uzticamas programmatūras izveidi, akcentējot sarežģītības ietekmi uz programmatūras ...
    • Unconventional Finite Automata and Algorithms 

      Balodis, Kaspars (Latvijas Universitāte, 2016)
      Šajā disertācijā tiek apskatīti vairāki netradicionāli galīgu automātu un algoritmu modeli. Tiek paradīts, ka divvirzienu alternējoši automāti var būt mazāki par ātriem varbūtiskiem automātiem ar ierobežotu kļūdu. ...