Sökning: "formalisation"

Visar resultat 1 - 5 av 38 uppsatser innehållade ordet formalisation.

  1. 1. In the Business of Doing Good: A case study on social entrepreneurship within the small-scale rental sector in South African townships

    Kandidat-uppsats, Lunds universitet/Ekonomisk-historiska institutionen

    Författare :Ellen Lindén-Urnes; [2023]
    Nyckelord :backyard rental; small-scale rental; affordable housing; social entrepreneurship; impact; Cape Town; Business and Economics;

    Sammanfattning : Housing crises have become a global phenomenon, including in South Africa. Neither the South African government nor the market have been able to sufficiently address the growing housing deficit across the nation, especially not in the affordable rental sector. LÄS MER

  3. 2. Automated decision-making in project management

    Magister-uppsats, Stockholms universitet/Institutionen för data- och systemvetenskap

    Författare :Liene Some; [2023]
    Nyckelord :: automated decision-making; project management fields; project management knowledge areas; feasibility;

    Sammanfattning : The thesis investigates the feasibility of automated decision-making (ADM) in project management from two perspectives - technical feasibility, analysed through a comprehensive literature review, and organisational acceptance, evaluated through empirical evidence. To address technical feasibility, the literature study is used, and it underscores the significance of data-driven decision-making and the impact of advancements in machine learning. LÄS MER

  4. 3. Discrete-event dynamic system simulation of a heterogeneous manufacturing process

    Uppsats för yrkesexamina på avancerad nivå, Umeå universitet/Institutionen för matematik och matematisk statistik

    Författare :Markus Styrman; [2022]
    Nyckelord :;

    Sammanfattning : A heterogeneous, discrete manufacturing line is being transformed towards a continuous process. Higher demands for efficiency and decreased flexibility of the new process requires more knowledge of the process. LÄS MER

  5. 4. Grid-based Pursuit Evasion Games of Imperfect Information: Theory and Higher Order Knowledge-based Strategies

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

    Författare :Jacob Granqvist; Jonas Haker; [2022]
    Nyckelord :Pursuit Evasion Games; Knowledge representation; Imperfect Information; Higher Order Knowledge; Knowledge-based Strategies; Communication-based Strategies; Game Theory;

    Sammanfattning : One group of games studied within game theory are grid-based pursuit evasion games of imperfect information. A pursuit evasion game is in essence a game where there exists a set of pursuers which have as their objective to capture a set of evaders. LÄS MER

  7. 5. Formalisation of Polynomials in Cubical Type Theory Using Cubical Agda

    Kandidat-uppsats, Stockholms universitet/Matematiska institutionen

    Författare :Carl Åkerman Rydbeck; [2022]
    Nyckelord :;

    Sammanfattning : We formalise polynomials over commutative rings in cubical type theory using Cubical Agda as proof assistant. On the basis of a formalisation of polynomials as number sequences with only a finite number of non-zero values, we use higher inductive types to formulate a list-based definition using two point constructors and two path constructors. LÄS MER