Sökning: "Computer Science"

Visar resultat 1 - 5 av 726 uppsatser innehållade orden Computer Science.

  1. 1. Convolutions on graphs for learning vehicle crash behaviour

    Master-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

    Författare :Daniel Adin; [2021-11-09]
    Nyckelord :Computer; science; computer science; engineering; graph; convolutions; inite element method; project; thesis;

    Sammanfattning : Convolutional Neural Networks (CNN) have shown successful results in the recent years, especially within the area of image analysis. The idea of learning to predict the result of a crash simulation using machine learning rose from the analogy between images and Finite Element models (FE-models) used in crash simulations. LÄS MER

  2. 2. Continuous Parallel Approximate Frequent Elements Queries on Data Streams

    Master-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

    Författare :Victor Jarlow; [2021-10-06]
    Nyckelord :computer science; big data; Space-Saving; Misra-Gries summary; frequent items; frequent elements; concurrent programming; Delegation Sketch; domain splitting; Count-Min Sketch; Majority algorithm; pproximate frequent-elements algorithm; approximate top-k elements algorithm;

    Sammanfattning : The frequent elements problem involves processing a stream of elements and finding all elements that occur more than a given fraction of the time. A relaxed versionof this problem is the -approximate elements problem which allows some false positives. LÄS MER

  3. 3. Proof Editor for Natural Deduction

    Kandidat-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

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

    Sammanfattning : 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. LÄS MER

  4. 4. Ocean Exploration with Artificial Intelligence

    Master-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

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

    Sammanfattning : 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. LÄS MER

  5. 5. Ground surface classification by stereo polarised image sensors

    Master-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

    Författare :Eisenmenger Jan Jürgen; [2021-04-21]
    Nyckelord :Computer Science; Polarization; Image processing; Water Detection; Project; Thesis;

    Sammanfattning : or an autonomous vehicle. By introducing polarized imaging, advances in waterhazard detection have been made in recent years. However, most approaches utilizeretrofitted polarized cameras for use in an off-road environment. LÄS MER