Essays about: "SMT"

Showing result 1 - 5 of 42 essays containing the word SMT.

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

    University essay from Lunds universitet/Avdelningen för Riskhantering och Samhällssäkerhet

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

    Abstract : 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. READ MORE

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

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Dennis Örnberg; [2022]
    Keywords : ;

    Abstract : 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. READ MORE

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

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Paul Häusner; [2022]
    Keywords : ;

    Abstract : 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. READ MORE

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

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Yongzhe Xu; [2022]
    Keywords : 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 ;

    Abstract : 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. READ MORE

  6. 5. Oracle Integration of Floating-Point Solvers with Isabelle

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Olle Torstensson; [2021]
    Keywords : ;

    Abstract : Interactivity is both a blessing and a curse in theorem proving; withgreat power comes great time consumption and labor. It is therefore crucial to increase proof automation in interactive proof assistants. READ MORE