Opin vísindi

Browsing Háskólinn í Reykjavík by Subject "Simulation"

Browsing Háskólinn í Reykjavík by Subject "Simulation"

Sort by: Order: Results:

  • Icon
    Axiomatizations from Structural Operational Semantics: Theory and Tools 
    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 ...
  • Icon
    On Inadequacy of Sequential Design of Experiments for Performance-Driven Surrogate Modeling of Antenna Input Characteristics 
    Pietrenko-Dabrowska, Anna; Koziel, Slawomir (Institute of Electrical and Electronics Engineers (IEEE), 2020)
    Design of contemporary antennas necessarily involves electromagnetic (EM) simulation tools. Their employment is imperative to ensure evaluation reliability but also to carry out the design process itself, especially, the adjustment of antenna dimensions. ...
  • Icon
    Simulation-Based General Game Playing 
    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 ...