Essays about: "Expressive Power"

Showing result 1 - 5 of 16 essays containing the words Expressive Power.

  1. 1. SeqLTL and ωLTL

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

    Author : Oskar Grekula; [2023-10-19]
    Keywords : Linear Temporal Logic; Co-safety LTL; Tight Witness; Compositional;

    Abstract : Linear Temporal Logic (LTL) is worthwhile for its applications in, among others, model checking, runtime verification and reactive synthesis. However, many useful properties are not expressible in LTL, or not in a natural way. READ MORE

  3. 2. Recommendation System for Insurance Policies : An Investigation of Unsupervised and Supervised Learning Techniques

    University essay from Umeå universitet/Institutionen för matematik och matematisk statistik

    Author : Andreas Palmgren; [2023]
    Keywords : Recommendation System; Car Insurance; Machine Learning; Cluster Analysis; KNN; XGBoost; Neural Network;

    Abstract : Recommendation systems have significantly influenced user experiences across various industries, yet their application in the insurance sector remains relatively unexplored. This thesis focuses on developing a car insurance recommendation system that implements a `consumers like you' feature. READ MORE

  4. 3. The Role of Data in Projected Quantum Kernels: The Higgs Boson Discrimination

    University essay from KTH/Fysik

    Author : Francesco Di Marcantonio; [2022]
    Keywords : Quantum Machine Learning; Quantum Support Vector Machine; Projected Quantum Kernel; Higgs Boson; Supervised Learning; Kernel Method; Quantum Machine Learning; Quantum Support Vector Machine; Projected Quantum Kernel; Higgs Boson; Supervised Learning; Kernel Method;

    Abstract : The development of quantum machine learning is bridging the way to fault tolerant quantum computation by providing algorithms running on the current noisy intermediate scale quantum devices.However, it is difficult to find use-cases where quantum computers exceed their classical counterpart. READ MORE

  5. 4. A Graph Attention plus Reinforcement Learning Method for Antenna Tilt Optimization

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Tengfei Ma; [2021]
    Keywords : Graph Attention; Reinforcement Learning; Antenna Tilt Optimization; 5G; Attention Mechanism; Graph; DQN; Back- Propagation; Gradient Descent;

    Abstract : Remote Electrical Tilt optimization is an effective method to obtain the optimal Key Performance Indicators (KPIs) by remotely controlling the base station antenna’s vertical tilt. To improve the KPIs aims to improve antennas’ cooperation effect since KPIs measure the quality of cooperation between the antenna to be optimized and its neighbor antennas. READ MORE

  6. 5. Information extraction and mapping for KG construction with learned concepts from scientic documents : Experimentation with relations data for development of concept learner

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Muhammad Hamza Malik; [2020]
    Keywords : Systematic Mapping; Machine reasoning; Explainable AI; Machine Learning; Vector Embedding; Natural Language Processing; Concept Drift; Neural Networks;

    Abstract : Systematic review of research manuscripts is a common procedure in which research studies pertaining a particular field or domain are classified and structured in a methodological way. This process involves, between other steps, an extensive review and consolidation of scientific metrics and attributes of the manuscripts, such as citations, type or venue of publication. READ MORE