Sökning: "Usability"

Visar resultat 1 - 5 av 2482 uppsatser innehållade ordet Usability.

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

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

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

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

  5. 5. Anomaly Detection in Wait Reports and its Relation with Apache Cassandra Statistics

    Master-uppsats, Blekinge Tekniska Högskola/Institutionen för datavetenskap; Blekinge Tekniska Högskola/Institutionen för datavetenskap

    Författare :Abheyraj Singh Madhu; Sreemayi Rapolu; [2021]
    Nyckelord :Wait reports analysis; time-series anomaly detection; Apache Cassandra statistics; anomaly detection; behavior reporting tool;

    Sammanfattning : Background: Apache Cassandra is a highly scalable distributed system that can handle large amounts of data through several nodes / virtual machines grouped together as Apache Cassandra clusters. When one such node in an Apache Cassandra cluster is down, there is a need for a tool or an approach that can identify this failed virtual machine by analyzing the data generated from each of the virtual machines in the cluster. LÄS MER