Essays about: "upptäckande"

Showing result 11 - 15 of 22 essays containing the word upptäckande.

  1. 11. Systematically uncovering mutants in testing safety critical software : Using symbolic execution on surviving mutants from mutation testing

    University essay from Linköpings universitet/Programvara och system

    Author : Niklas Pettersson; Nils Petersson; [2019]
    Keywords : Mutation Testing; Symbolic Execution; Dextool;

    Abstract : This thesis investigates how symbolic execution and constraint solving can be used for detecting equivalent and non-equivalent mutants in mutation testing. The presented method proposes a driver implementation, realized as a plugin for Dextool, to differentiate original and mutated code from each other by executing both versions symbolically using KLEE. READ MORE

  3. 12. Evaluation of the Effects of Different Preprocessing Methods on OCR Results from Images with Varying Quality

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

    Author : Jacob Björkman; [2019]
    Keywords : ;

    Abstract : Counterfeited products present a serious problem in many aspects of society. More specifically, counterfeited mechanical components in machines and structures can cause great health risks. For consumers it can be very difficult to identify a counterfeited product, and many industries try to find ways to easily detect a counterfeit. READ MORE

  4. 13. Minimal Exploration in Episodic Reinforcement Learning

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

    Author : Ardhendu Shekhar Tripathi; [2018]
    Keywords : Reinforcemebt Learning; Exploitation; Exploration; Regret; Optimism in Face of Uncertainty; Bayesian;

    Abstract : Exploration-exploitation trade-off is a fundamental dilemma that reinforcement learning algorithms face. This dilemma is also central to the design of various state of the art bandit algorithms. We take inspiration from these algorithms and try to design reinforcement learning algorithms in an episodic setting. READ MORE

  5. 14. Towards Arc Consistency in PLAS

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

    Author : William Wieweg; [2018]
    Keywords : Constraint Programming; Scheduling; Planning; Symbolic constraints; Arc consistency; Villkorsprogrammering; Schemaläggning; Planering; Symboliska villkor; Bågkonsekvens;

    Abstract : The Planning And Scheduling (PLAS) module of ICE (Intelligent Control Environment) is responsible for planning and scheduling a large fleet of vehicles. This process involves the creation of tasks to be executed by the vehicles. READ MORE

  6. 15. Shifting the sun : Can coupling Lithium-ion batteries with solar power be economically justified in a Dutch setting?

    University essay from KTH/Energiteknik

    Author : Martin Olsson; Carl Axel Wiborg; [2018]
    Keywords : ESS; BMS; PV; grid applications; energy market; the Netherlands; centralized batteries; battery technologies; battery storage; li-ion;

    Abstract : The rapid development of the lithium-ion battery industry is currently driving down sys-tem costs as a result of maturing processes. Decreasing system costs enables additional revenue streams and applications, provided through li-ion battery storage, to be ex-plored. READ MORE