Essays about: "First order logic"

Showing result 1 - 5 of 62 essays containing the words First order logic.

  1. 1. Leveraging Gamification for Increased Motivation in Mobile Applications : A Quantitative Study Using Self-Determination Theory & Service-Dominant Logic

    University essay from Högskolan i Gävle/Företagsekonomi

    Author : Alexander Fredriksson; Teemu Lahtinen; [2024]
    Keywords : Self-Determination Theory; Service-Dominant Logic; Motivation; Gamification; Mobile Services;

    Abstract : Due to the increasing digitization of society, Gamification of services has become increasingly proliferated. Identifying and knowing how to manipulate the factors for successful implementation of gamification strategies is paramount. READ MORE

  3. 2. Designing for the needs of present and future generations: The development of a sustainability integrated design process for consumer products

    University essay from Högskolan i Gävle/Miljövetenskap

    Author : Henrik Lunderbye; [2023]
    Keywords : Industrial design; design process; sustainability; consumer products; greenwashing; climate neutrality; consumption.;

    Abstract : Due to the increased popularity of greener products (green implies being more sustainable) and more businesses involved in greener markets, the phenomenon of greenwashing has expanded. This is problematic because actors trying to design, manufacture and sell products with a high sustainability content are then forced to compete with actors that deal with artificial sustainability. READ MORE

  4. 3. Formal model of eligibility requirements for the Department of Computing Science

    University essay from Umeå universitet/Institutionen för datavetenskap

    Author : Jonathan Sundqvist; [2023]
    Keywords : ;

    Abstract : This paper aims to formally model the eligibility requirements for the Department of Computing Science at Umea University. As of now, the requirements are written in plain text resulting in students or lecturers having to evaluate these manually. Eligibility requirements can be built complex which makes it difficult to handle manually. READ MORE

  5. 4. Load Balancing In The Edge Cloud With Service Degradation : Combining Application-level Service Degradation With Load Balancing in a Kubernetes-based Edge Cloud

    University essay from Linköpings universitet/Institutionen för datavetenskap; Linköpings universitet/Tekniska fakulteten

    Author : Rachel Homssi; Jacob Möller; [2023]
    Keywords : Kubernetes; Service Degradation; Edge Cloud; Cloud; Load Balancing; Brownout; Resource Limitation; Overloading; Self-adaption; Kubernetes; Tjänstedegradering; Edge Cloud; Cloud; Lastbalansering; Resursbegränsning; Överbelastning; Självadaptering;

    Abstract : Edge cloud is a distributed computing architecture that is growing in popularity. It aims to bring the cloud closer to the edge of a network, reducing latency and improving performance through the use of distributed servers (edge nodes) spread out geographically. READ MORE

  6. 5. Abstract Logics and Lindström's Theorem

    University essay from Uppsala universitet/Algebra, logik och representationsteori

    Author : Niclas Bengtsson; [2023]
    Keywords : model theory; abstract model theory; logic; mathematical logic; abstract logic; Lindström s Theorem; infinitary logics; strength of logics; cardinality quantifiers; modellteori; abstrakt modellteori; logik; matematisk logik; abstrakt logik; Lindströms sats;

    Abstract : A definition of abstract logic is presented. This is used to explore and compare some abstract logics, such as logics with generalised quantifiers and infinitary logics, and their properties. Special focus is given to the properties of completeness, compactness, and the Löwenheim-Skolem property. READ MORE