Sökning: "Zafer"

Hittade 4 uppsatser innehållade ordet Zafer.

  1. 1. Extension of the ELDARICA C model checker with heap memory

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

    Författare :Zafer Esen; [2019]
    Nyckelord :;

    Sammanfattning : Model checking is a verification method which is used to detect bugs which would be extremely hard to detect using traditional testing, and ELDARICA is a state-of-the-art model checker which accepts a variety of formats as its input, including programs written in a fragment of the C language. This thesis aims to improve the C front-end of ELDARICA to a point where it can automatically model and verify C programs which contain pointers, heap memory interactions and structs, which are currently not supported. LÄS MER

  3. 2. Study on solar driven office cooling system

    Magister-uppsats, Högskolan i Halmstad

    Författare :Zafer Almouayad Alazm; [2019]
    Nyckelord :Solar energy; Air conditioner; Absorption chiller; Space cooling;

    Sammanfattning : .... LÄS MER

  4. 3. Managing Risk with Energy Commodities using Value-at-Risk and Extreme Value Theory

    Magister-uppsats, Lunds universitet/Nationalekonomiska institutionen

    Författare :Alexander Noshkov; Zafer Demirtas; [2017]
    Nyckelord :Energy Commodities; Value-at-Risk VaR ; Extreme Value Theory EVT ; Peaks over Threshold POT ; Volatility Weighted Historical Simulation VWHS ; GARCH; EGARCH; TGARCH; Business and Economics;

    Sammanfattning : Today’s society requires an endless supply of energy resources to keep functioning properly. The fluctuations in the prices of energy commodities are always a concern as it affects not only investors, but regular households as well. LÄS MER

  5. 4. Space/Place and Scale in Development Finance

    Master-uppsats, Lunds universitet/Statsvetenskapliga institutionen; Lunds universitet/Master of Science in Development Studies; Lunds universitet/Graduate School

    Författare :Zafer Özkan; [2011]
    Nyckelord :space; scale; modernization theory; critical development geographies; Islamic Development Banks; multilateral development banks; development finance.; Social Sciences;

    Sammanfattning : The study seeks to examine the conceptualizations of space and scale in development thinking. One of the important dimensions of the development is the conceptualization of space and scale. The mainstream development theory, which is modernization, theorizes space as a physical geographical style that is technical and measurable. LÄS MER