Essays about: "dekomposition"

Showing result 1 - 5 of 14 essays containing the word dekomposition.

  1. 1. Near-linear time expander decomposition in practice

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

    Author : Isaac Arvestad; [2022]
    Keywords : ;

    Abstract : An expander decomposition is a partitioning of vertices such that each partition is an induced expander. Recently Saranurak and Wang [SW19] gave a randomized algorithm for computing expander decompositions in O(Ø-1m log4m) time. This was the first near linear time algorithm with respect to the number of edges m. READ MORE

  3. 2. Robust Data-Driven Optimization for Production Planning with Onsite Power

    University essay from KTH/Industriell produktion

    Author : Ziliang Jin; [2020]
    Keywords : ;

    Abstract : Recently on-site power generation is considered as an effective mean to attain lowcarbonmanufacturing operations. However, there is a lack of literatures studying theproblem integrating productions and onsite power generations together. READ MORE

  4. 3. Evaluating the utility of a contract compositionality proof framework

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

    Author : Anton Lövström; Anders Steen; [2020]
    Keywords : ;

    Abstract : A contract in system design is a concept used for specifying behaviors of and interactions between components in complex systems. Contracts make explicit the mutual commitments between components in a system. Nyberg et al propose a contracts theory and framework for proving the correctness of a decomposition of a system specification. READ MORE

  5. 4. Spectral Portfolio Optimisation with LSTM Stock Price Prediction

    University essay from KTH/Matematisk statistik

    Author : Nancy Wang; [2020]
    Keywords : Artificial Neural Network; LSTM; Spectral factor model; Portfolio optimisation; Stock price prediction; Time series analysis; Risk estimation; Spectral risk; Frequency-specific beta decomposition; Artificiella neurala nätverk; LSTM; Spektralfaktormodell; Portföljoptimering; Aktieprispredikering; Tidsserieranalys; Riskestimering; Spektra risk; Frekvensspecifik beta dekomposition;

    Abstract : Nobel Prize-winning modern portfolio theory (MPT) has been considered to be one of the most important and influential economic theories within finance and investment management. MPT assumes investors to be riskaverse and uses the variance of asset returns as a proxy of risk to maximise the performance of a portfolio. READ MORE

  6. 5. Verifying Correctness of Contract Decompositions

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

    Author : Gustav Hedengran; [2020]
    Keywords : ;

    Abstract : The importance of verification in safety critical systems is well known. However, due to the complexity of verification, the task of formally verifying large safety-critical systems might prove computationally infeasible in many cases. Compositional verification is a technique aimed at enabling verification of large safety-critical systems. READ MORE