Essays about: "dependent types"

Showing result 1 - 5 of 399 essays containing the words dependent types.

  1. 1. Implementation of Level of Development for BIM Collaboration in Timber Building Subsystems Design: A Case Study of I-Joist Construction Elements

    University essay from Luleå tekniska universitet/Institutionen för samhällsbyggnad och naturresurser

    Author : Isabell Gustafsson; [2024]
    Keywords : BIM; I-Joist; LOD; Level of Development; Timber Building Subsystems;

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

  2. 2. DEMOCRACIES WITHOUT DEMOCRATS A quantitative study of citizens’ preferences for autocratic regimes

    University essay from Göteborgs universitet/Statsvetenskapliga institutionen

    Author : Petronella Ruben Hydén; [2023-12-06]
    Keywords : Autocratization; Autocracy; Outsider; Insider; Attitudes;

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

  3. 3. What are the odds of civil war? Investigating the relationship between quality of government, voter turnout, civil war, and the Democratic peace theory

    University essay from Göteborgs universitet/Institutionen för globala studier

    Author : Salome Nordberg; [2023-10-05]
    Keywords : Quality of government; civil war; voter turnout; democratic peace theory; logistic regression;

    Abstract : The aim of this thesis is to quantitatively investigate the relationship between the quality of government, voter turnout, and civil war. By doing a hypothesistesting analysis through logistic regression. READ MORE

  4. 4. Can urban tree re-inventories inform future species selection? : diameter at breast height as an indicator for tree performance in Malmö municipality’s tree database

    University essay from SLU/Dept. of Landscape Architecture, Planning and Management (from 130101)

    Author : Hannah Kit Kraynick Braegelmann; [2023]
    Keywords : DBH; ; diameter at breast height; tree inventories; tree re-inventories; urban forestry; species selection; tree management;

    Abstract : Using the inventory database of trees for Malmö municipality, Sweden, this study explored the potential of using the diameter at breast height (DBH) measurement in re-inventories, as a decision-making tool for species selection and management in urban forests. With the escalating pressures of urbanization and unpredictable climate change effects, there is an urgent need for urban forest managers to possess reliable tools that can facilitate the selection of resilient tree species capable of thriving in diverse and changing urban contexts. READ MORE

  5. 5. Analyzing the performance of active learning strategies on machine learning problems

    University essay from Uppsala universitet/Avdelningen för systemteknik

    Author : Vendela Werner; [2023]
    Keywords : computer science; bioinformatics; machine learning; active learning; artificial intelligence; supervised learning; Astrazeneca; maskininlärning; artificiell intelligens; datorvetenskap; active learning; bioinformatik; supervised learning;

    Abstract : Digitalisation within industries is rapidly advancing and data possibilities are growing daily. Machine learning models need a large amount of data that are well-annotated for good performance. To get well-annotated data, an expert is needed, which is expensive, and the annotation itself could be very time-consuming. READ MORE