Sökning: "Gabriel Skoglund"

Hittade 3 uppsatser innehållade orden Gabriel Skoglund.

1. 1. Composing Specifications Given in Different Formalisms

   Kandidat-uppsats, KTH/Datavetenskap

   Författare :Arvid Siberov; Gabriel Skoglund; [2022]
   Nyckelord :;

   Sammanfattning : The field of contract theory is concerned with formal proofs of how smaller components may be composed into larger systems. This thesis shows how one framework for constructing such proofs may be used to prove properties of compositions where some components are specified using the TLA+ formalism. LÄS MER

3. 2. Analys av hur byggnadens höjd påverkar energiförbrukningen i flerbostads- och kontorshus

   Uppsats för yrkesexamina på grundnivå, Byggteknik

   Författare :Gabriel Skoglund; Soheil Zamanian; [2013]
   Nyckelord :energi; transmissionsförluster; luftläckage; specifik energianvändning; bygga på höjden; höghus;

   Sammanfattning : This diploma work has been carried out in collaboration with the building contractor Sh Bygg Fastighetsutveckling AB in Uppsala with the intention to investigate how the height of a building affects various energy aspects such as transmission losses, infiltration, and the specific energy usage. Three different reference objects have been studied. LÄS MER

4. 3. Mikrotypografins inverkan på läsbarheten hos tryckt brödtext : En forskningsöversikt

   Kandidat-uppsats, Grafisk teknologi

   Författare :Gabriel Skoglund; [2012]
   Nyckelord :legibility; typography; microtypography; running text; research review; typeface; font; x-height; letter spacing; letterforms; typografi; läsbarhet; mikrotypografi; brödtext; forskningsöversikt; typsnitt; teckensnitt; x-höjd; teckenavstånd; bokstavsformer;

   Sammanfattning : Hur en texts typografiska utformning påverkar hur enkel den blir att läsa är en fråga som har sysselsatt forskare under lång tid. Förhoppningen har varit att få en bättre förståelse för hur läsning går till och hur man bäst bör sätta text för att underlätta för läsaren. LÄS MER