Essays about: "saida"

Showing result 1 - 5 of 12 essays containing the word saida.

  1. 1. Automated Inference of ACSL Contracts for Programs with Heaps

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

    Author : Oskar Söderberg; [2023]
    Keywords : 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;

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

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

    University essay from Uppsala universitet/Institutionen för biologisk grundutbildning

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

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

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

    University essay from KTH/Urbana och regionala studier

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

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

  5. 4. Applying automatic operant boxes (“Skinner boxes”) for studies on behavioural flexibility in zebrafish (Danio rerio) 

    University essay from Uppsala universitet/Winberg: Beteendeneuroendokrinologi

    Author : Saida Adan; [2020]
    Keywords : ;

    Abstract : The most successful and widely used animal models in neuroscience are rats and mice, which has been vital for the understanding of the human brain. Another model that has become more prominent during recent years is the zebrafish (Danio rerio). READ MORE

  6. 5. The discolouration of Hyaluronan in presence of phosphate buffer

    University essay from Uppsala universitet/Institutionen för teknikvetenskaper

    Author : Alma Fjällström; Emmy Draxler; Saida Adan; Sandra Andersson; Louise Aidanpää; [2018]
    Keywords : Hyaluronan; degradation; Molecular weight; yellow; discolouration;

    Abstract : Hyaluronan is a polymer that among other things is used in fillers. Products containing Hyaluronan is sometimes discoloured over time and the mechanism behind this discolouration is still unknown. However, it was suspected that discolouration occurs during the degradation due to high pH values or with a phosphate buffer. READ MORE