Sökning: "anders ågren"

Hittade 4 uppsatser innehållade orden anders ågren.

  1. 1. An Arrow Metalanguage for Partially Invertible Computation

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

    Författare :Anders Ågren Thuné; [2023]
    Nyckelord :Reversible computation; Domain-specific languages; Arrows; Partial invertibility; Reversibel beräkning; Domänspecifika språk; Arrows; Partiell inverterbarhet;

    Sammanfattning : Programming languages traditionally describe computations going one way: a program might compute a hash value from a string, or an encrypted message from a plaintext. However, sometimes it is also of interest to go the other way around: for encryption, we not only want to encrypt messages but also to decrypt them, and to be sure that the decryption correctly reproduces the original message. LÄS MER

  3. 2. Extracting scalable program models for TLA model checking

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

    Författare :Anders Ågren Thuné; Theo Puranen Åhfeldt; [2020]
    Nyckelord :;

    Sammanfattning : Program verification has long been of interest to researchers and practitioners for its role in asserting reliability in critical systems. Many such systems feature reactive behavior, where temporal properties are of interest. Consequently, a number of systems and program verification tools for dealing with temporal logic have been developed. LÄS MER

  4. 3. "INGEN VILL JU VANDRA OM MAN HAR ETT HEM" : En kvalitativ studie om romers situation i Sverige.

    Kandidat-uppsats, Umeå universitet/Institutionen för socialt arbete

    Författare :Anders Häggström; Sophia Lindmark; Amanda Ågren; [2018]
    Nyckelord :antiziganism; romer; diskriminering; utsatthet; stigma;

    Sammanfattning : Sammanfattning Syftet med denna studie var att söka kunskap om romers situation i Sverige, på vilket sätt de är utsatta och hur detta kan förstås. Huvudfokus har legat på romernas egna upplevelser av utsatthet, hur dagens romer har påverkats av sitt folkslags historia av hot och förföljelse, hur antiziganism kan kopplas till diskriminering hos romer idag samt på vilket sätt romer blir stigmatiserade i Sverige. LÄS MER

  5. 4. KVARTERSSTADENS ÅTERKOMST? : Visioner och rektioner på ett tätare Stockholm

    Master-uppsats, Kulturgeografiska institutionen

    Författare :Anders Ågren; [2010]
    Nyckelord :;

    Sammanfattning : .... LÄS MER