Sökning: "dependent types"
Visar resultat 1 - 5 av 580 uppsatser innehållade orden dependent types.
1. Effekter av öppna och specifika mål på motivation och prestation i en promenaduppgift : En experimentell studie på individer som inte utför regelbunden fysisk träning
Kandidat-uppsats, Högskolan i Halmstad/Akademin för hälsa och välfärdSammanfattning : Syftet med denna studie var att undersöka effekter av olika typer av målsättningar (öppna mål och specifika mål) på motivation (intresse/njutning, press/spänning, upplevd motivation) och prestation (distans) i en promenaduppgift hos individer som inte utför regelbunden fysisk träning. Målsättning har visats vara den mest frekvent använda strategin inom interventioner för att öka fysisk aktivitet hos friska, inaktiva vuxna. LÄS MER
2. Implementation of Level of Development for BIM Collaboration in Timber Building Subsystems Design: A Case Study of I-Joist Construction Elements
Uppsats för yrkesexamina på avancerad nivå, Luleå tekniska universitet/Institutionen för samhällsbyggnad och naturresurserSammanfattning : Due to time, cost, and environmental challenges, wood has become a more common building material even for more complex buildings. Implementing the concept of Level of Development (LOD) on timber structures could provide a tool for BIM collaboration that may save cost and time, and in the early stages mediate wood as an available building material. LÄS MER
3. Patienters upplevelse av att genomgå hemodialysbehandling : En litteraturbaserad studie
Uppsats för yrkesexamina på grundnivå, Högskolan Väst/Institutionen för hälsovetenskapSammanfattning : Background: The kidneys have important functions in the body. When the kidneys stop working, a dialysis treatment is required. There are two types of dialysis treatments: peritoneal dialysis and hemodialysis. This study focuses on how patients experience hemodialysis treatment. LÄS MER
4. Grafisk återgivning av radardetektion av flygplan : Utveckling av ett grafiskt användargränssnitt för PCL- och ADS-B-system
Kandidat-uppsats, KTH/Hälsoinformatik och logistikSammanfattning : Passive Coherent Location (PCL), eller Passiv Radar som det populärt kallas, är enteknologi inom radarlära som innefattar radartyper som inte själva skickar ut elektromagnetiska vågor för att finna och undersöka ett mål. Istället använder sig dessa radartyper av befintliga signaler, såsom radio- och TV-sändningar för att detektera mål. LÄS MER
5. DEMOCRACIES WITHOUT DEMOCRATS A quantitative study of citizens’ preferences for autocratic regimes
Kandidat-uppsats, Göteborgs universitet/Statsvetenskapliga institutionenSammanfattning : What decides whether a person prefers democracy or autocracy? Can the preference be narrowed down to one single influencing factor, or is it instead a combination of several phenomena that determines it? In order to understand the shifts in autocratic tendencies globally from a macro perspective, it is crucial to study the micro perspective behind it: individuals. This essay builds on previous research regarding citizens’ preference for different regime types to map out further why some people prefer autocracy over democracy. LÄS MER