Sökning: "formula"

Visar resultat 1 - 5 av 731 uppsatser innehållade ordet formula.

  1. 1. A Verified QBF Solver

    Master-uppsats, Uppsala universitet/Institutionen för informationsteknologi

    Författare :Axel Bergström; [2024]
    Nyckelord :;

    Sammanfattning : Quantified Boolean Formulas (QBFs) extend propositional logic with universal and existential quantification over Boolean variables.  A QBF is satisfiable if and only if there is an assignment of Boolean values to the free variables that makes the formula true, and a QBF solver is a software tool determining if a given QBF is satisfiable. LÄS MER

  3. 2. Formula 1 Drive to Thrive - How to Handle Success

    L3-uppsats, Lunds universitet/Företagsekonomiska institutionen

    Författare :Karol Gasienica; August Ström; Cornelia Biller; [2024]
    Nyckelord :Formula1; business case; success; brand identity; community management; Business and Economics;

    Sammanfattning : The popularity of the Netflix series ‘Drive To Survive’ has almost doubled the amount of Formula 1 (F1) fans thanks to its great storytelling and compelling narratives about the drivers, teams, the rivalries between them and challenges they tackle. The first season aired in 2019 and it is estimated that more than 6. LÄS MER

  4. 3. Inventory management of redundant components in a highly automated environment - A case study at a manufacturing company

    Master-uppsats, Göteborgs universitet/Graduate School

    Författare :Gunnar Bodin; Johannes Miari; [2023-07-03]
    Nyckelord :Automation; Inventory management; Redundant components; Materials flows; AGVs;

    Sammanfattning : SKF is a leading manufacturer of bearings, seals, lubrication systems, and condition monitoring systems. Since its beginning in 1907, the company has grown steadily, and now it serves clients in over 130 countries worldwide. LÄS MER

  5. 4. Nulägesanalys av vätgasetablering : En uppdatering av Färdplan 2020 mot ett Jämtkraftsperspektiv

    Uppsats för yrkesexamina på grundnivå, Mittuniversitetet/Institutionen för naturvetenskap, design och hållbar utveckling (2023-)

    Författare :Elin Jönsson; [2023]
    Nyckelord :Hydrogen gas; LCOH; Intermittent electricity production; energy storage; energy development; Vätgas; LCOH; Intermittent elproduktion; energilagring; energiutveckling;

    Sammanfattning : In connection to the increase of emissions of greenhouse gases, electrification of the society is pointed out as absolute necessary to achieve the climate goals. To succeed with this, a substantial proportion of the intermittent electricity production needs, with the help from technical solutions, be used as a buffer for this production. LÄS MER

  7. 5. Optimal Order Placement Using Markov Models of Limit Order Books

    Master-uppsats, KTH/Matematik (Avd.)

    Författare :Max Oliveberg; [2023]
    Nyckelord :Optimal order placement; Limit order book; Markov; Optimal orderläggning; Orderbok; Markov;

    Sammanfattning : We study optimal order placement in a limit order book. By modelling the limit order book dynamics as a Markov chain, we can frame the purchase of a single share as a Markov Decision Process. Within the framework of the model, we can estimate optimal decision policies numerically. The trade rate is varied using a running cost control variable. LÄS MER