Sökning: "Kristiina Ausmees"

Hittade 2 uppsatser innehållade orden Kristiina Ausmees.

1. 1. A classification approach to solving the cosmic reionization puzzle

   Master-uppsats, Uppsala universitet/Institutionen för informationsteknologi

   Författare :Kristiina Ausmees; [2016]
   Nyckelord :;

   Sammanfattning : Cosmic reionization is a phase in the history of the universe that is still not understood completely. Among the different theories regarding what could have been the cause of this process, young star-forming galaxies stand out as the most likely candidate. LÄS MER

3. 2. Zone-Based Reachability Analysis of Dense-Timed Pushdown Automata

   Kandidat-uppsats, Institutionen för informationsteknologi

   Författare :Kristiina Ausmees; [2012]
   Nyckelord :;

   Sammanfattning : Proving that programs behave correctly is a matter of both great theoretical interest as well as practical use. One way to do this is by analyzing a model of the system in question in order to determine if it meets a given specification. LÄS MER