Sökning: "teoretisk modell"

Visar resultat 6 - 10 av 135 avhandlingar innehållade orden teoretisk modell.

  1. 6. Theory and validity evidence for a large-scale test for selection to higher education

    Författare :Jonathan Wedman; Marie Wiberg; Per-Erik Lyrén; Jo-Anne Baird; Umeå universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SweSAT; validity; theoretical model; score reporting; subscores; DIF; equating; linking; Högskoleprovet; validitet; teoretisk modell; rapportering av provpoäng; ekvivalering; länkning; didactics of educational measurement; beteendevetenskapliga mätningar;

    Sammanfattning : Validity is a crucial part of all forms of measurement, and especially in instruments that are high-stakes to the test takers. The aim of this thesis was to examine theory and validity evidence for a recently revised large-scale instrument used for selection to higher education in Sweden, the Swedish Scholastic Assessment Test (SweSAT), as well as identify threats to its validity. LÄS MER

  3. 7. Properties of multilayered and multicomponent nitride alloys from first principles

    Författare :Fei Wang; Ferenc Tasnadi; Igor Abrikosov; Frank Mücklich; Claudia Draxl; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : This thesis is a theoretical exploration of properties of multilayered and multicomponent nitride alloys, in particular their mixing thermodynamics and elastic behaviors. Systematic investigation of properties of a large class of materials, such as the multicomponent nitride solid solutions, is in line with the modern approach of high-throughput search of novel materials. LÄS MER

  4. 8. Processer i växelverkan : en grundad teoretisk modell om landstings-kommunal samverkan för personer med psykiska funktionshinder

    Författare :Thomas Lönebrink; Elisabeth Ahlstrand; Linköpings universitet; []
    Nyckelord :Samverkan; samordning; samarbete; tvärprofessionella team; psykisk hälsovård; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP;

    Sammanfattning : Syftet med studien har varit att undersöka vad som händer när olika vård- och omsorgsverksamheter med skilda lagstiftningar, traditioner, kompetens och synsätt ska samverka under teambaserade förväntningar. Studiens forskningsområde har definierats utifrån en samverkansprocess vilken delvis initierades genom statliga stimulansmedel. LÄS MER

  5. 9. Proving Safety and Security of Binary Programs

    Författare :Andreas Lindner; Roberto Guanciale; Mads Dam; Tamara Rezk; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Binary Code; Binary Analysis; Formal Verification; Model-Based Testing; Theorem Proving; HOL4; Intermediate Language; Instruction Set Architectures; ISA; Observational Models; Symbolic Execution; Weakest-Precondition; Execution Time Analysis; binärkod; binärkodsanalys; formell verifiering; modellbaserad testning; satsbevisning; HOL4; mellankod; instruktionsuppsättningar; ISA; observationsmodeller; symbolisk exekvering; minst restriktiva villkoret; analys av övre tidsgräns; Datalogi; Computer Science;

    Sammanfattning : With the increasing ubiquity of computing devices, their correct and secure operation is of growing importance. In particular, critical components that provide core functionalities or process sensitive data have to operate as intended. LÄS MER

  7. 10. Formal Verification of Peripheral Memory Isolation

    Författare :Jonas Haglund; Roberto Guanciale; Mads Dam; Gligor Virgil; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; formal verification; interactive theorem proving; direct memory access; memory isolation; input output; formell verifiering; interaktiv datorassisterad beviskonstruktion; direkt minnesåtkomst; minnesisolering; indata utdata; Datalogi; Computer Science;

    Sammanfattning : In many contexts, computers run both critical and untrusted software,necessitating the need for isolating critical software from untrusted software.These computers contain CPUs, memory and peripherals. LÄS MER