Opin vísindi

Browsing by School "School of Technology"

Browsing by School "School of Technology"

Sort by: Order: Results:

  • Hassan, Mahmoud (Háskólinn í Reykjavík, 2012-09-18)
    There are many open questions concerning the functioning of the human uterus. One of these open questions concerns exactly how the uterus operates as an organ to perform the very organized act of contracting in a synchronized fashion to expulse a new ...
  • Losievskaja, Elena (Háskólinn í Reykjavík, 2011-01-24)
    This thesis deals with approximation algorithms for the Maximum Independent Set and the Minimum Hitting Set problems on hypergraphs. As a hypergraph is a generalization of a graph, the question is whether the best known approximations on graphs can be ...
  • Goriac, Eugen Ioan (Háskólinn í Reykjavík, 2013-03-24)
    Structural Operational Semantics (SOS) is a well known standard for specifying language semantics in a natural, yet rigorous way. Once a formal way of checking for the equivalence of two programs written in such a language is provided, it is of great ...
  • Lieder, Ramona (Háskólinn í Reykjavík, 2014-02-11)
    Chitosan is a promising natural substances used in biomaterials research as it has several essential properties that can be applied in tissue engineering. This polymer can be easily combined with other biomaterials and it can be rapidly and economically ...
  • 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, ...
  • Cimini, Matteo (Háskólinn í Reykjavík, 2012-12-09)
    Structural Operational Semantics (SOS) is one of the most natural ways for providing programming languages with a formal semantics. Results on the meta-theory of SOS typically (but not solely) say that if the inference rules used in writing the semantic ...
  • Cafaro, Angelo (Háskólinn í Reykjavík, 2014-03-09)
    Relational Agents (RAs) are virtual anthropomorphic characters able to engage in multimodal (i.e. using both verbal and nonverbal behavior) face-toface interactions with users in real-time. RAs are also capable of establishing and maintaining a long-term ...
  • 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 ...
  • Friðgeirsson, Þórður Víkingur (Háskólinn í Reykjavík, 2015-11-30)
    Viðfangsefni þessarar ritgerðar er hagnýting verkefnastjórnunar, og skyldra fagsviða, til að tryggja hagkvæmni og skilvirkni opinberra verkefna á Íslandi. Fjallað er um hvernig verkefnastjórnun og stjórnsýsla (governance) hafa þróast saman á alþjóðavettvangi ...
  • Sigurðardóttir, Silja Rán (Háskólinn í Reykjavík, 2014-09-30)
    Low temperature geothermal resources provide hot water that is commonly used for space heating and various applications. A geothermal resource is considered to be a renewable energy source that can be utilized by current and future generations if ...
  • 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 ...
  • Finnsson, Hilmar (Háskólinn í Reykjavík, 2012-06-25)
    The aim of General Game Playing (GGP) is to create intelligent agents that automatically learn how to play many different games at an expert level without any human intervention. One of the main challenges such agents face is to automatically learn ...