Sökning: "SMT"

Visar resultat 1 - 5 av 75 uppsatser innehållade ordet SMT.

  1. 1. Potential and Limitations of the Sketch Map Tool in the International Red Cross Red Crescent Movement

    Master-uppsats, Lunds universitet/Avdelningen för Riskhantering och Samhällssäkerhet

    Författare :Kimon Letzner; [2024]
    Nyckelord :Disaster risk reduction; Participatory action research; Community risk mapping; International Red Cross Red Crescent Movement; Colombia; Technology and Engineering;

    Sammanfattning : In disaster risk management, participatory mapping (PM) closes spatial data gaps in communities by integrating local risk knowledge. The thesis examined the potential and limitations of the Sketch Map Tool (SMT) as a PM tool for community-based disaster risk reduction (DRR) through an International Red Cross Red Crescent Movement case study. LÄS MER

  3. 2. Effekten av Post Activation Potentiation på underarmsmuskulaturen hos klättrare : En kvantitativ experimentell pilotstudie med crossover-design

    Uppsats för yrkesexamina på grundnivå, Luleå tekniska universitet/Institutionen för hälsa, lärande och teknik

    Författare :Johannes Wörman; Jonathan Frankfeldt; [2022]
    Nyckelord :fingerbräda; klättring; muskelstyrka; styrketräning; uthållighet;

    Sammanfattning : Bakgrund: Sportklättring är en gren som fått allt mer uppmärksamhet de senaste åren. Postactivation Potentiation (PAP) ger en akut prestationshöjande effekt på tränade individers muskulatur vid exempelvis hopp, knäböj och sprint. PAP ger störst potentiering vid en maximal volontär isometrisk kontraktion (MVIK) på tio sekunder. LÄS MER

  4. 3. Prototyping an mcSAT-based SMTsolver in Rust

    Master-uppsats, Uppsala universitet/Institutionen för informationsteknologi

    Författare :Dennis Örnberg; [2022]
    Nyckelord :;

    Sammanfattning : Satisfiability modulo theories, or SMT, is the decision problem of determining whether a set of formulas is satisfiable or not, given one or more background theories. The model-constructing satisfiability calculus, or mcSAT, is a framework used for solving SMT problems. LÄS MER

  5. 4. Explainable Product Configuration for Telecom via Constraint Reasoning

    Master-uppsats, Uppsala universitet/Institutionen för informationsteknologi

    Författare :Paul Häusner; [2022]
    Nyckelord :;

    Sammanfattning : Product Configuration is one of the most successful applications of Artificial Intelligence and is widely adopted in industry. Nowadays,intelligent systems not only have to be able to generate outputs but these outputs are desired to be understandable and interpretable to humans. LÄS MER

  7. 5. LF-PKI: Practical, Secure, and High-Performance Design and Implementation of a Lite Flexible PKI

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

    Författare :Yongzhe Xu; [2022]
    Nyckelord :Web Public Key Infrastructure PKI ; Certificate Transparency CT ; trust heterogeneity; Sparse Merkle Tree SMT ; Web Public Key Infrastructure PKI ; Certificate Transparency CT ; trust heterogenity; Sparse Merkle Träd SMT ;

    Sammanfattning : Today’s Web Public Key Infrastructure (PKI) builds on a homogeneous trust model. All Certificate Authorities (CAs) are equally trusted once they are marked as trusted CAs on the client side. As a result, the security of the Web PKI depends on the weakest CA. LÄS MER