Sökning: "teoretisk modell"
Visar resultat 11 - 15 av 135 avhandlingar innehållade orden teoretisk modell.
11. Towards a Trustworthy Stack: Formal Verification of Low-Level Hardware and Software
Sammanfattning : Computer systems, consisting of hardware and software, have gained significant importance in the digitalised world. These computer systems rely on critical components to provide core functionalities and handle sensitive data. LÄS MER
12. Kognitivt stöd för lärande i arbetet : En teoretisk modell baserad på en fallstudie av ett svenskt militärt utlandsförband i Kosovo
Sammanfattning : The overall aim of this thesis is to contribute to the knowledge on how formal education gives cognitive support to informal learning at work. The ambition is to combine different theoretical perspectives on learning. LÄS MER
13. Meningar i text : Satsradning i teoretisk och empirisk belysning
Sammanfattning : The topic of this thesis is the construction labelled satsradning in Swedish, which typically corresponds to the English term comma splice. They signify a case of two syntactically independent (main) clauses which are joined in the same orthographic sentence, without a coordinating conjunction. LÄS MER
14. Topological excitations in field theory models of superconductivity and magnetism
Sammanfattning : Topological excitations are subjects of intensive studies in physics and mathematics. In solid-state and soft matter physics, topological excitations can largely determine the thermodynamic and electromagnetic properties of materials, while in high energy physics they were theorized as particles. LÄS MER
15. Strong Correlation Effects in Bosonic and Fermionic Systems Through an Unbiased Quantum Monte Carlo Approach
Sammanfattning : Strongly interacting many-body quantum systems constitute some of the most challenging problems in physics, and exact analytical solutions are rare. In this thesis, we will investigate the models of two such systems numerically using the unbiased worm-algorithm Monte Carlo method. LÄS MER