Essays about: "Kristiina Ausmees"
Found 2 essays containing the words Kristiina Ausmees.
-
1. A classification approach to solving the cosmic reionization puzzle
University essay from Uppsala universitet/Institutionen för informationsteknologiAbstract : 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. READ MORE
-
2. Zone-Based Reachability Analysis of Dense-Timed Pushdown Automata
University essay from Institutionen för informationsteknologiAbstract : 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. READ MORE
Result pages:
1