Essays about: "computer chalmers"

Showing result 1 - 5 of 12 essays containing the words computer chalmers.

  1. 1. Proof Editor for Natural Deduction

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

    Author : FREDDY ABRAHAMSSON; THERESE ANDERSSON; AXEL FORSMAN; LO RANTA; MICHAEL ÅKESSON; [2021-09-14]
    Keywords : Proof editor; Natural deduction; First order logic; PureScript;

    Abstract : In this thesis, we present Logan, a proof editor for constructing Fitch-style proofs in first-order logic. This proof editor is intended to be used by students who are taking a course in logic. READ MORE

  3. 2. Optimizing numerical modelling of quantum computing hardware

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

    Author : Yasir Al-Latifi; [2021]
    Keywords : Quantum computers; transmon qubits; rotating-wave approximation; energy levels;

    Abstract : Quantum computers are being developed to solve certain problems faster than classical computers. Instead of using classical bits, they use quantum bits (qubits) that utilize quantum effects. READ MORE

  4. 3. Department of Computer Science and Engineering Chalmers University of Technology University of Gothenburg Gothenburg, Sweden 2019 An Empirical Investigation into the Adoption of Inner Source in IT Companies: A Case Study

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

    Author : NILOOFAR SAFAVI; [2019-11-19]
    Keywords : Inner Source; adoption; challenges; criteria; framework;

    Abstract : Inner Source is a rather new concept and introducing it to companies involves some challenges. In this thesis, we investigate the challenges and obstacles of adopting Inner Source in a large IT company. The results are then analyzed and summarized. READ MORE

  5. 4. Department of Computer Science and Engineering UNIVERSITY OF GOTHENBURG CHALMERS UNIVERSITY OF TECHNOLOGY Gothenburg, Sweden 2018 Statistical Model Update Optimization in Industrial Practice

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

    Author : Maria-Bianca Cindroi; Robinson Iheanacho Mgbah; [2019-11-19]
    Keywords : machine learning model; optimization; changing models;

    Abstract : This thesis presents a study done on optimizing machine learning model updates. The department of Quality and Functionality in a multinational telecommunication company is searching for an optimal solution to the problem of when, and how, to trigger a training cycle of a statistical model on their test execution dataset. READ MORE

  6. 5. Security Analysis of Machine Monitoring Sensor Communication A threat modeling process implementation and evaluation

    University essay from

    Author : Martin Ljungdahl; Michael Nordström; [2019-07-03T13:55:20Z 2019-07-03T13:55:20Z 2016]
    Keywords : Data- och informationsvetenskap; Computer and Information Science;

    Abstract : The number of small devices that are connected to the Internet is increasing rapidly and the system that controls them are becoming more and more complex. Using these devices in products and system has the potential to lower costs, increase performance and provide new functionality. READ MORE