Sökning: "saida"

Visar resultat 1 - 5 av 23 uppsatser innehållade ordet saida.

  1. 1. 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

  3. 2. Non-coding RNAs as therapeutic agents : The future of therapy

    Kandidat-uppsats, Uppsala universitet/Institutionen för biologisk grundutbildning

    Författare :Hederoth Gustaf; Lyngå Olivia; Rudqvist Olivia; Jeppsson Rebecka; Hogolof Saida; Svanberg Sara; Kauppinen Veera; [2022]
    Nyckelord :Non-coding RNA; Oligonucleotide therapeutics;

    Sammanfattning : Non-coding RNA (ncRNA) therapeutics are based on short oligonucleotides, both naturally occurring and artificial, which target RNA in a site-specific way to modulate gene expression. As of today, 12 synthetically produced ncRNA-based drugs are available on the market in the US and Europe, and there is a possibility of more to be approved in the near future. LÄS MER

  4. 3. Kvalitet i fritidshem : En kvantitativ studie om hur utbildningsbakgrund och andra faktorer påverkar undervisningskvaliteten i fritidshem

    Uppsats för yrkesexamina på grundnivå, Södertörns högskola/Lärarutbildningen

    Författare :Martin Nilsson; Saida Salah; [2022]
    Nyckelord :Quality; Education; Educational background; Curriculum; Discourse; Kvalitet; Undervisning; Utbildningsbakgrund; Läroplan; Diskurs;

    Sammanfattning : Academic education is often associated with better skills and higher quality. In this study we are looking into how educational background affects the quality of the education in after- school programs. LÄS MER

  5. 4. SJUKSKÖTERSKORSUPPLEVELSER AV ATT VÅRDAPATIENTER I PALLIATIV VÅRD : Allmän litteraturöversikt.

    M1-uppsats, Mälardalens universitet/Akademin för hälsa, vård och välfärd

    Författare :Saida Ruzijeva; Matea Hrgic; [2022]
    Nyckelord :Anhöriga; palliativ vård; patienter; sjuksköterskans upplevelser;

    Sammanfattning : Bakgrund: Lindring av lidandet och främjandet av patienternas livskvalité ska vara i fokus inom den palliativa vården. Sjuksköterskors ansvar är att bemöta patienter och deras anhöriga med respekt och skapa den goda kommunikationen tidigt i bemötandet. För att omhändertagande av patienten ska ske fördelaktigt för alla parter. LÄS MER

  7. 5. Understanding children's perceptions and use of the neighbourhood: a participatory method : A Malmö case study focused on aspects of liveability

    Master-uppsats, KTH/Urbana och regionala studier

    Författare :Saida Van der Auweraert; Amelia Ahmadi; [2022]
    Nyckelord :participatory method; children; urban planning; liveability; UNCRC; CPTED; Communities That Care; Malmö; delaktighetsmetod; barn; stadsplanering; livskvalitet; barnkonventionen; CPTED; Communities That Care; Malmö;

    Sammanfattning : This thesis aims to develop a participatory method with children that allows them to organically share their experiences of the built environment, for urban planning bodies to utilise and integrate children’s localised knowledge and expertise in their work. The method development was conducted for Malmö’s Planning Office (SBK), who highlight a lack of qualitative data on children’s use of space and experiences of their built environment, preventing the proper fulfilment of children’s needs in their planning work. LÄS MER