Essays about: "formell analys"

Showing result 1 - 5 of 14 essays containing the words formell analys.

  1. 1. Practical Analysis of the Giskard Consensus Protoco

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Leon Sandner; [2023]
    Keywords : Distributed Ledger; Blockchain; Consensus Protocol; Giskard; Hyperledger Sawtooth; Distribuerade Huvudbok; Blockchain; Konsensus; Giskard; Hyperledger Sawtooth;

    Abstract : Consensus protocols are the core of modern blockchain systems, such as the Bitcoin, Ethereum, and Algorand networks. Thanks to these protocols, participants in a blockchain network can reach consensus on which blocks to add to a blockchain, to have a consistent chain of blocks in the whole network. READ MORE

  3. 2. Grand Strategy Games and Economies : The Effect of Complexity on Gameplay

    University essay from Uppsala universitet/Institutionen för speldesign

    Author : Mikhail Nevill; Ludvig Sahlén; [2022]
    Keywords : Civilization V; Game Economy; Grand Strategy Games; System Design; Victoria II; Civilization V; Grand Strategispel; Spelekonomi; Systemdesign; Victoria II;

    Abstract : This bachelor’s thesis’s purpose was to determine how the complexity of economic systems invideo games affect the gameplay of said video games, Victoria II (Paradox Interactive AB,2010) and Civilization V (Take-Two Interactive Software, Inc, 2010). This was done by askingthe research question: “How does the complexity of economic systems in grand strategygames affect gameplay?“. READ MORE

  4. 3. Grönare vägslänter : en intervjustudie om hinder mot vegetationsbeklädnad

    University essay from SLU/Dept. of Urban and Rural Development

    Author : Hanna Gullberg; [2022]
    Keywords : Hinder; transportinfrastruktur; vägar; vägslänter; grön infrastruktur; diskrepans; vegetationsklädda slänter; växtklädda slänter; upplevelsevärden; landskapsanpassning; biologisk mångfald;

    Abstract : Denna studie inom landskapsarkitektur undersöker och identifierar hinder mot vegetationsklädda vägslänter i praktiken. Vegetationsklädda slänter är något som efterfrågas för att gynna mål om hållbarhet men som det finns en problematik att i praktiken genomföra. READ MORE

  5. 4. From Relations to Simplicial Complexes: A Toolkit for the Topological Analysis of Networks

    University essay from KTH/Matematik (Avd.)

    Author : Johan Lord; [2021]
    Keywords : applied algebraic topology; complex networks; topological data analysis; brain network analysis;

    Abstract : We present a rigorous yet accessible introduction to structures on finite sets foundational for a formal study of complex networks. This includes a thorough treatment of binary relations, distance spaces, their properties and similarities. READ MORE

  6. 5. Proof-producing resolution of indirect jumps in the binary intermediate representation BIR

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Adrian Westerberg; [2021]
    Keywords : Formal verification; Binary analysis; Interactive theorem proving; Indirect jump resolution; Formell verifiering; Binär analys; Interaktiv teorembevisning; Indirekt hopp bestämning;

    Abstract : HolBA is a binary analysis library that can be used to formally verify binary programs using contracts. It is developed in the interactive theorem prover HOL4 to achieve a high degree of trust in verification, the result of verification is a machine-checked proof demonstrating its correctness. This thesis presents two proof-producing procedures. READ MORE