Essays about: "Formalisation"

Showing result 1 - 5 of 28 essays containing the word 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

    University essay from Lunds universitet/Ekonomisk-historiska institutionen

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

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

  3. 2. Automated decision-making in project management

    University essay from Stockholms universitet/Institutionen för data- och systemvetenskap

    Author : Liene Some; [2023]
    Keywords : : automated decision-making; project management fields; project management knowledge areas; feasibility;

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

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

    University essay from Umeå universitet/Institutionen för matematik och matematisk statistik

    Author : Markus Styrman; [2022]
    Keywords : ;

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

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

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

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

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

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

    University essay from Stockholms universitet/Matematiska institutionen

    Author : Carl Åkerman Rydbeck; [2022]
    Keywords : ;

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