Opin vísindi

Browsing by Subject "Tölvufræði"

Browsing by Subject "Tölvufræði"

Sort by: Order: Results:

  • Icon
    Coalgebraic Tools for Bisimilarity and Decorated Trace Semantics 
    Caltais, Georgiana (Háskólinn í Reykjavík, 2014-04-10)
    One of the research areas of great importance in Computer Science is the study of the semantics of concurrent reactive systems. These are systems that compute by interacting with their environment, and typically consist of several parallel components, ...
  • Icon
    General Attention Mechanism for Artificial Intelligence Systems 
    Helgason, Helgi Páll (Háskólinn í Reykjavík, 2013-08-19)
    In the domain of intelligent systems, the management of mental resources is typically called “attention”. Attention exists because all moderately complex environments – and the real-world environments of everyday life in particular – are a source of ...
  • Icon
    NV-tree : a scalable disk-based high-dimensional index 
    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 ...
  • Icon
    Performance evaluation and model checking of probabilistic real-time actors 
    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 ...
  • Icon
    The security properties of in-network aggression 
    Jónsson, Kristján Valur (Háskólinn í Reykjavík, 2014-02-03)
    In-network aggregation is an important paradigm for current and future networked systems, enabling efficient cooperate processing of aggregate information, while providing sub-linear scalability properties. However, security of this important class of ...