Essays about: "computer science"

Showing result 1 - 5 of 468 essays containing the words computer science.

  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 proofsin first-order logic. This proof editor is intended to be used by students who aretaking a course in logic. Compared to other available proof editors Logan aims to beeasier to use, both when it comes to getting started and in the continued use of theproof editor. READ MORE

  2. 2. Ocean Exploration with Artificial Intelligence

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

    Author : Sarah Al-Khateeb; Lisa Bodlak; [2021-07-06]
    Keywords : computer science; deep learning; generative adversarial networks; data augmentation; object detection; underwater image; computer vision;

    Abstract : Large and diverse data is crucial to train object detection systems properly andachieve satisfactory prediction performance. However, in some areas, such as ma rine science, gathering sufficient data is challenging and sometimes even infeasible.Working with limited data can result in overfitting and poor performance. READ MORE

  3. 3. Investigation of high performance configurations on the Evolved Packet Gateway

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

    Author : Georgios Chatziadam; Tsigabu Mebrahtu Birhanu; [2021-04-21]
    Keywords : NUMA; EPG; Computer Science; Engineering; Project; Thesis;

    Abstract : Modern servers today are based on multi-socket motherboards to increase their powerand performance figures. These setups provide CPU interconnection through a highspeed bus. If processes on one CPU need access to memory or devices local to anotherCPU, they need to traverse this bus and this adds a delay to the execution time. READ MORE

  4. 4. Evaluating trace link visualizations

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

    Author : Fredrik Johansson; Themistoklis Ntoukolis; [2021-03-03]
    Keywords : Traceability; Eclipse Capra; traceability visualizations; computer science; engineering; project; thesis; requirements; change impact analysis; matrix; sunburst;

    Abstract : Traceability has become a very important part of the software development lifecycle andtherefor a lot of research has been done and is being done about it. Our aim with thispaper is to explore and evaluate the effect that different traceability visualizations haveon the workload and find the most optimal visualizations that users will benefit more byusing in their projects. READ MORE

  5. 5. Identifying Metrics For Measuring Maintainability Of Models Defined in SystemWeaver

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

    Author : Abdullah Awad; Sinan Saleh; [2021-03-03]
    Keywords : Computer science; Software engineering; Case study; Models; Maintainability; Patterns; Metrics;

    Abstract : Software maintenance forms a crucial activity of any viable software system. Sometimes it becomes the most expensive and time-consuming phase in the life cycle ofthe software product. Software maintainability on the other hand, measures howeasy it is for a software product to be modified. READ MORE