Essays about: "floating point"

Showing result 1 - 5 of 61 essays containing the words floating point.

  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. Visualizing a better city : – How the city portrays a technological marvel as means to enter the future

    University essay from Linköpings universitet/Institutionen för samhälls- och välfärdsstudier

    Author : Jan Fritz-Patrik Ankarbåge; [2018]
    Keywords : Visualization; Actor-network theory; Enrollment; Discourse; Norrköping;

    Abstract : This study explores how the center ’Visualisering C’ in Norrköping municipality ties into an actor-network that includes Linköping University, Norrköping municipality and Region Östergötland. The purpose was to discern how the master signifier was ‘development’ was constructed and connected within the discursive field with differencing actors with the Visualisering C as a focal point for the actors. READ MORE

  5. 5. 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