Opin vísindi

Browsing Doktorsritgerðir - HR by Title

Browsing Doktorsritgerðir - HR by Title

Sort by: Order: Results:

  • Bean, Christian (2018-06)
    New automatic methods for enumerating permutation classes are introduced. The first is Struct, which is an algorithm that conjectures a structural description using rules similar to generalized grid classes. These conjectured structural descriptions ...
  • Iordache, Paul; (2019-02)
    In Romania, there is a lack of quantitative data associating cancer risk with genetic characteristics. The aim of this thesis is to evaluate genetic risk factors associated with two major cancer types, prostate cancer and colorectal cancer. The first ...
  • Muhammad Aziz Ul Haq (Reykjavik University, School of Science and Engineering, 2019-05-17)
    Maintaining small physical dimensions of antenna structures is an important consideration for contemporary wireless communication systems. Typically, antenna miniaturization is achieved through various topological modifications of the basic antenna ...
  • Mixa, Már Wolfgang (2016-06)
    The research project focuses on investment behavior and the Icelandic economic bubble and crash, emphasizing that investment behavior has to be seen within a historical and cultural environment. As such the project is related to financial history and ...
  • Meirbekova, Rauan (2016-02)
    Current efficiency loss in aluminum electrolysis happens due to a variety of factors. One such factor is the presence of impurities. Concerns about impurities have been voiced since the quality of raw materials has declined and dry-scrubbers were ...
  • Khamespanah, Ehsan (2018-06)
    In the recent years, formal modeling and verification of realtime systems have become very important. Difficult-to-use modeling languages and inefficient analysis tools are the main obstacles to use formal methods in this domain. Timed actor model is ...
  • Lejsek, Herwig (2016-02)
    This thesis presents the NV-tree (Nearest Vector tree), which addresses thespecific problem of efficiently and effectively finding the approximatek-nearest neighbors within large collections of high-dimensional data points.The NV-tree is a very ...
  • Ali, Jafari (2016-06)
    This dissertation is composed of two parts. In the first part, performance evaluation and verification of safety properties are provided for real-time actors. Recently, the actor-based language, Timed Rebeca, was introduced to model distributed and ...
  • Perkin, Samuel (2018-02)
    Power system operation is concerned with supplying electricity to society in a reliable manner. Reliability has traditionally been managed through use of the deterministic N-1 criterion. The EU FP7 GARPUR research project proposes that Transmission ...
  • Ilkov, Marjan (2016-02)
    Space-charge limited emission in vacuum microdiodes can go through transverse modulation under certain conditions. The frequency of this modulated current is in the terahertz band and it can be tuned by changing either the the gap spacing or the gap ...
  • Chauhan, Vijay (2019-05-28)
    Superheated steam from high enthalpy vapor dominated geothermal fields offers an opportunity to extract greater exergy per unit flow with higher thermodynamic output efficiency compared to conventional geothermal wells. The first full scale well drilled ...