Sökning: "c- fall"

Visar resultat 21 - 25 av 922 uppsatser innehållade orden c- fall.

  1. 21. Reasonable accommodation - at what cost?

    Uppsats för yrkesexamina på avancerad nivå, Lunds universitet/Juridiska institutionen; Lunds universitet/Juridiska fakulteten

    Författare :Axel Edling; [2023]
    Nyckelord :Public international law; International labour law; International disability law; Reasonable accommodation; Right to work; Persons with disabilities; UNCRPD; Article 27; Jungelin; Sahlin; V.F.C.; Law and Political Science;

    Sammanfattning : The United Nations Convention on the Rights of Persons with Disabilities is not only the main instrument of international disability law, but also connects the field with a multitude of other areas of international human rights law. In its 27th Article it guarantees the right to work for persons with disabilities, thereby bridging the gap between international disability- and international labour law. LÄS MER

  3. 22. Automated Inference of ACSL Contracts for Programs with Heaps

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

    Författare :Oskar Söderberg; [2023]
    Nyckelord :Formal Verification; Contract Inference; Model Checking; Deductive Verification; Theory of Heaps; ACSL; Translation; Formell Verifiering; Kontrakth¨arledning; Modellprovning; Deduktiv Verifiering; Theory of Heaps; ACSL; Overs¨attning;

    Sammanfattning : Contract inference consists in automatically computing contracts that formally describe the behaviour of program functions. Contracts are used in deductive verification, which is a method for verifying whether a system behaves according to a provided specification. The Saida plugin in Frama-C is a contract inference tool for C code. LÄS MER

  4. 23. Development of a Machine Learning Survival Analysis Pipeline with Explainable AI for Analyzing the Complexity of ED Crowding : Using Real World Data collected from a Swedish Emergency Department

    Master-uppsats, KTH/Medicinteknik och hälsosystem

    Författare :Tobias Haraldsson; [2023]
    Nyckelord :SHAP; Explainable AI; Survival Analysis; LOS; Machine Learning; ED Crowding; SHAP; Förklarbar AI; Överlevnadsanalys; LOS; Maskininlärning; Överbelastning på Akuten;

    Sammanfattning : One of the biggest challenges in healthcare is Emergency Department (ED)crowding which creates high constraints on the whole healthcare system aswell as the resources within and can be the cause of many adverse events.Is is a well known problem were a lot of research has been done and a lotof solutions has been proposed, yet the problem still stands unsolved. LÄS MER

  5. 24. Classification of invoices using a 2D NLP approach : A comparison between methods for invoice information extraction for the purpose of classification

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

    Författare :Linnéa Fredriksson; [2023]
    Nyckelord :Key-field extraction; Invoices; 2D NLP; Document Intelligence; Visually Rich Documents; LayoutLMv3; Nyckelfältsextraktion; Fakturor; 2-dimensionell naturligtspråkbehandling; LayoutLMv3;

    Sammanfattning : Many companies are handling a large number of invoices every year. To manually categorize them takes a lot of time and resources. For a model to automatically categorize invoices, the documents need to be properly read and processed by the model. LÄS MER

  7. 25. Grundläggning med slitsmursteknik - Litteraturstudie

    Uppsats för yrkesexamina på avancerad nivå, Lunds universitet/Avdelningen för Byggnadsmaterial

    Författare :Ellen Thunstedt; [2023]
    Nyckelord :Slitsmur; grundläggning; sekantpåle; stålspont; geokonstruktion; stödvätska; bentonit; stödkonstruktion; Technology and Engineering;

    Sammanfattning : En slitsmur är en geokonstruktion som utförs genom att paneler platsgjuts med marken som form. Panelerna bildar tillsammans en samverkande vägg. Tekniken är vanlig utomlands men fortfarande relativt ovanlig i Sverige. LÄS MER