Essays about: "Formula"

Showing result 1 - 5 of 470 essays containing the word Formula.

1. 1. A Verified QBF Solver

   University essay from Uppsala universitet/Institutionen för informationsteknologi

   Author : Axel Bergström; [2024]
   Keywords : ;

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

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

   University essay from Lunds universitet/Företagsekonomiska institutionen

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

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

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

   University essay from Göteborgs universitet/Graduate School

   Author : Gunnar Bodin; Johannes Miari; [2023-07-03]
   Keywords : Automation; Inventory management; Redundant components; Materials flows; AGVs;

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

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

   University essay from KTH/Matematik (Avd.)

   Author : Max Oliveberg; [2023]
   Keywords : Optimal order placement; Limit order book; Markov; Optimal orderläggning; Orderbok; Markov;

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

6. 5. How sustainable are sustainable enterprises? Examining sustainability and economic value trade-offs in a Danish coffee company

   University essay from Lunds universitet/Företagsekonomiska institutionen

   Author : Dominik Mazur; Linnea Partelow; [2023]
   Keywords : sustainable enterprise; entrepreneurship; trade-offs; sustainability; triple bottom line; coffee roastery; Business and Economics;

   Abstract : Starting a sustainable business is challenging because growth decisions need to balance sustainability impact and economic feasibility. This thesis seeks to examine what trade-offs sustainable enterprises face and how they balance decision making when faced with these dual logics. READ MORE