Essays about: "Natural deduction"

Found 3 essays containing the words Natural deduction.

  1. 1. Verifying Correctness of Contract Decompositions

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

    Author : Gustav Hedengran; [2020]
    Keywords : ;

    Abstract : The importance of verification in safety critical systems is well known. However, due to the complexity of verification, the task of formally verifying large safety-critical systems might prove computationally infeasible in many cases. Compositional verification is a technique aimed at enabling verification of large safety-critical systems. READ MORE

  3. 2. Proof Editor for Natural Deduction in First-order Logic

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

    Author : Jesper JanOlsson Fredrik Liu ElinJohansson HenryBjörnsson Ly; Andreas Widbom; [2017-08-10]
    Keywords : Proof editor; First-order logic; Predicate logic; Natural deduction;

    Abstract : The subject of this thesis is the presentation and evaluation of Conan, an editor forwriting natural deduction proofs in first-order logic. The intent is for the editor toserve as a supplementary tool alongside a course in logic. READ MORE

  4. 3. Hybrid Model Approach to Appliance Load Disaggregation : Expressive appliance modelling by combining convolutional neural networks and hidden semi Markov models.

    University essay from KTH/Skolan för datavetenskap och kommunikation (CSC)

    Author : Anders Huss; [2015]
    Keywords : NILM; disaggregation; neural network; convolutional neural network; CNN; HMM; HSMM;

    Abstract : The increasing energy consumption is one of the greatest environmental challenges of our time. Residential buildings account for a considerable part of the total electricity consumption and is further a sector that is shown to have large savings potential. Non Intrusive Load Monitoring (NILM), i.e. READ MORE