Opin vísindi

Browsing Doktorsritgerðir - HR by Title

Browsing Doktorsritgerðir - HR by Title

Sort by: Order: Results:

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