Advanced search

Found 2 essays matching the above criteria.

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

   University essay from Uppsala universitet/Institutionen för informationsteknologi

   Author : Kristiina Ausmees; [2016]
   Keywords : ;

   Abstract : 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

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

   University essay from Institutionen för informationsteknologi

   Author : Kristiina Ausmees; [2012]
   Keywords : ;

   Abstract : 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