Sökning: "model checking"

Visar resultat 21 - 25 av 161 uppsatser innehållade orden model checking.

  1. 21. Comparison of Magnetic-Susceptibility Models From UAV-borne and Ground Measurements in Enåsen Area, Sweden

    Kandidat-uppsats, Uppsala universitet/Institutionen för geovetenskaper

    Författare :Clara Sjödin; [2022]
    Nyckelord :magnetic susceptibility; Enåsen area; UAV survey; magnetic anomalies; Potent; magnetisk susceptibilitet; Enåsen; drönare; magnetiska anomalier; Potent;

    Sammanfattning : Mapping anomalies in the Earth’s magnetic field is one method used in applied geophysics, for exploring buried structures and objects. Magnetic surveys can be ground-based or made airborne, onboard airplanes, helicopters, or unmanned aerial vehicles (UAV), also known as drones. LÄS MER

  3. 22. Forecasting checking account balance : Using supervised machine learning

    Uppsats för yrkesexamina på avancerad nivå, Uppsala universitet/Avdelningen för systemteknik

    Författare :Martin Dannelind; [2022]
    Nyckelord :Time series forecasting; account balance forecasting; economic predicition; Python; GRU; LSTM; RNN; XGBoost; prophet; checking account;

    Sammanfattning : The introduction of open banking has made it possible for companies to build the next generation of applications based on transactional data. Enabling economic forecasts which private individuals can use to make responsible financial decisions. This project investigated forecasting account balances using supervised learning. LÄS MER

  4. 23. A comparison of the Basel III capital requirement models for financial institutions

    Master-uppsats, Lunds universitet/Matematisk statistik

    Författare :Sara Johannesson; Amanda Wahlberg; [2022]
    Nyckelord :Basel III; Internal Model Method IMM ; Standardized Approch for Counterparty Credit Risk SA-CCR ; Counterparty Credit Risk; Capital Requirement; Mathematics and Statistics;

    Sammanfattning : The purpose of this report is to implement and compare the two Basel III standard methods on how to calculate the capital requirement for finan- cial institutions, related to counterparty credit risk. The models being the Standardized Approach for Counterparty Credit Risk (SA-CCR) and the Internal Model Method (IMM). LÄS MER

  5. 24. Simulating Distributed Executions in Kompact

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Johan Mallo Bakken; [2022]
    Nyckelord :Simulation; Testing; Distributed Systems; Kompact; Liveness; Raft; Simulering; Testning; Distribuerade System; Kompact; Liveness; Raft;

    Sammanfattning : Distributed systems are complex systems that offer highly scalable and reliable services. With that complexity comes the difficulty of developing and testing such systems as they are highly non-deterministic. LÄS MER

  7. 25. Dimensionering av platta på mark : En jämförelse mellan hand- och datorberäkningar

    Uppsats för yrkesexamina på grundnivå, Högskolan i Halmstad/Akademin för företagande, innovation och hållbarhet

    Författare :Alba Dimashki; [2022]
    Nyckelord :PEPS; kantförstyvad; platta på mark; grundplatta; EPS; cellplastisolering;

    Sammanfattning : The digital revolution has introduced several tools for structural engineers in the form of computer programs. These computer tools have partly transformed the role of structural engineers from their performing manual calculations to using different computer programs, evaluating the results, and checking codes. LÄS MER