Advanced search

Showing result 1 - 5 of 60 essays matching the above criteria.

  1. 1. Bit-Vector Approximations of Floating-Point Arithmetic

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Joel Havermark; [2018]
    Keywords : ;

    Abstract : The use of floating-point numbers in safety-critical applications shows a need to efficiently and automatically reason about them. One approach is to use Satisfiability modulo theories (SMT). The naive approach to using SMT does not scale well. Previous work suggests approximations as a scalable solution. READ MORE

  2. 2. Using CFD to analyze thermal and optical influence on a zero pressure balloon at floating condition

    University essay from Luleå tekniska universitet/Rymdteknik; Luleå tekniska universitet/Rymdteknik

    Author : Yared Woldu; Anton Fritz; [2018]
    Keywords : CFD; High-altitude balloon; ANSYS; FLUENT;

    Abstract : The ability to control the trajectory and understanding the atmospheric effects on the flight performance of a scientific high altitude balloon has long been an aspiring ambition. This thesis work analyses the thermal and optical environments at float using the simulation software, ANSYS FLUENT. READ MORE

  3. 3. Guiding Local Search using Approximations

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Jesper Magnusson; [2018]
    Keywords : ;

    Abstract : Proving that a program is correct can be done by translating it into a first-order formula and trying to prove that it is valid. Programs often contain data structures such as Floating-point numbers, for which current solvers struggle because of the computational complexity of these theories. READ MORE

  4. 4. The Cost and Benefits of a Swedish EMU Membership : An analysis of the consequences for Sweden to had opted out of the European Monetary Union

    University essay from Södertörns högskola/Nationalekonomi

    Author : Rafael Foscarini; [2018]
    Keywords : Sweden; Finland; EMU; Monetary Policy; OCA;

    Abstract : The 2008/2009 world financial crisis, as well as the 2010 onwards European sovereign debt crisis, retriggered the debate on costs and benefits of a European Monetary Union membership. This thesis examines whether Sweden experienced net costs or benefits in opting out the EMU, especially in comparison to Finland due to the close link between both economies, as well as cultural and geographical similarities. READ MORE

  5. 5. THE DUCKLING PROJECT : Design and manufacturing of autonomous surface vehicles for various application areas

    University essay from KTH/Marina system

    Author : Johannes Bayer; [2017]
    Keywords : ;

    Abstract : In the times of big data analyses and fast robotic evolution, collecting data is an important part of science. Today we have only explored 5 percent of the ocean, which is less than we have explored Mars. To collect more data of the ocean we need tools, vehicles and equipment, which are designed and used by scientists. READ MORE