Sökning: "model checking"
Visar resultat 21 - 25 av 161 uppsatser innehållade orden model checking.
21. Comparison of Magnetic-Susceptibility Models From UAV-borne and Ground Measurements in Enåsen Area, Sweden
Kandidat-uppsats, Uppsala universitet/Institutionen för geovetenskaperSammanfattning : 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
22. Forecasting checking account balance : Using supervised machine learning
Uppsats för yrkesexamina på avancerad nivå, Uppsala universitet/Avdelningen för systemteknikSammanfattning : 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
23. A comparison of the Basel III capital requirement models for financial institutions
Master-uppsats, Lunds universitet/Matematisk statistikSammanfattning : 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
24. Simulating Distributed Executions in Kompact
Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)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
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ållbarhetSammanfattning : 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