Sökning: "usability"

Visar resultat 1 - 5 av 2504 uppsatser innehållade ordet usability.

  1. 1. THE MONASTERY HILL: GEOPHYSICAL METHODS FOR DESCRIBING ARCHAEOLOGY AND NEAR-SURFACE GEOLOGY IN LÖDÖSE, SW SWEDEN

    Master-uppsats, Göteborgs universitet/Institutionen för geovetenskaper

    Författare :Tobias Möhl; Fredrik Andersson; [2021-09-21]
    Nyckelord :Near-surface geophysics; Ground-penetrating radar; Resistivity; Magnetic gradiometry; 3D modeling; Archaeology; Leached clay; Medieval monastery; Sweden;

    Sammanfattning : Even though Sweden has been one of the leading countries in the development of nearsurfacegeophysics instrumentation and practices, geophysical surveys in archaeology are notcommonly used in Sweden. However, it is becoming increasingly popular, especially the useof ground-penetrating radar and metal detectors. LÄS MER

  2. 2. 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

  3. 3. A Front-End for Daison

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

    Författare :CHRISTOFFER KALTENBRUNNER; ALEXANDER NELDEFORS; HUGO STEGRELL; PHILIP VEDIN; [2021-09-07]
    Nyckelord :Database; Daison; Glasgow Haskell Compiler; Haskell;

    Sammanfattning : Daison is a database written in the functional programming language Haskell. Ithas no built-in visual representation of data and using it in an interactive Haskellenvironment such as GHCi is inconvenient since it requires boilerplate code. LÄS MER

  4. 4. What is the optimal way of choosing projects within complex decision-making?

    Kandidat-uppsats,

    Författare :Simon Eklind; Olle Enelund; [2021-06-28]
    Nyckelord :;

    Sammanfattning : This essay has investigated Analytical Hierarchy Process (AHP) and whether it has potential to be used as an algorithm within the project selection process. The aim of the study has been to highlight the most important aspects to take into consideration in project evaluation and if AHP could be a feasible method within project selection. LÄS MER

  5. 5. Query By Example Keyword Spotting

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Jonas Sunde Valfridsson; [2021]
    Nyckelord :Keyword Spotting; Automatic Speech Recognition; ASR; Query By Example; Deep Distance Learning; Dynamic Time Warping; Few- Shot Learning; Nyckelords igenkänning; automatisk taligenkänning; fåförsöksinlärning;

    Sammanfattning : Voice user interfaces have been growing in popularity and with them an interest for open vocabulary keyword spotting. In this thesis we focus on one particular approach to open vocabulary keyword spotting, query by example keyword spotting. LÄS MER