- Opin vísindi
- →
- Browsing by Subject
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing by Subject "Tölvunarfræði"
Now showing items 21-40 of 44
-
(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 ... -
(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 ...
-
(Springer, 2022-09-22)When modelling side-effects using a monad, we need to equip the monad with effectful operations. This can be done by noting that each algebra of the monad carries interpretations of the desired operations. We consider the analogous situation for graded ...
-
(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 ...
-
(Springer Science and Business Media LLC, 2019-11-27)Analysis of sequence diversity in the human genome is fundamental for genetic studies. Structural variants (SVs) are frequently omitted in sequence analysis studies, although each has a relatively large impact on the genome. Here, we present GraphTyper2, ...
-
(University of Iceland, School of Engineering and Natural Sciences, Faculty of Industrial Engineering, Mechanical Engineering and Computer Science, 2019-06)A fundamental requisite for genetic studies is an accurate determination of sequence variation. While human genome sequence diversity is increasingly well characterized, there is a need for efficient ways to utilize this knowledge in sequence analysis. ...
-
(Institute of Electrical and Electronics Engineers (IEEE), 2020)In this paper, spatial and polarization diversities are simultaneously implemented in an ultra-wideband (UWB) multiple-input-multiple-output (MIMO) antenna to reduce the correlation between the parallel-placed radiators. The keystone of the antenna is ...
-
Improved distributed algorithms for coloring interval graphs with application to multicoloring trees (Elsevier BV, 2020-04)We give a distributed (1+eps)-approximation algorithm for the minimum vertex coloring problem on interval graphs, which runs in the LOCAL model and operates in O((1/eps) log* n) rounds. If nodes are aware of their interval representations, then the ...
-
(Elsevier BV, 2020-04)We consider the Leader Election Problem in the Signal-to-Interference-plusNoise-Ratio (SINR) model where nodes can adjust their transmission power. We show that in this setting it is possible to elect a leader in two communication rounds, with high ...
-
(Elsevier BV, 2019-07)LyapXool is a C++ program to compute complete Lyapunov functions and their orbital derivatives for any two- or three-dimensional dynamical system expressed by an autonomous ordinary differential equation. The program is user-friendly and determines the ...
-
(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 ...
-
(2023-01)In this thesis, two methods for automatic enumeration of permutation classes are studied. The first method extends on the theory of combinatorial exploration. We review how combinatorial exploration works as a two phases process: the first phase ...
-
(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 ...
-
(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. ...
-
(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 ...
-
(Oxford University Press (OUP), 2019-12-05)Summary: popSTR2 is an update and augmentation of our previous work ‘popSTR: a population-based microsatellite genotyper’. To make genotyping sensitive to inter-sample differences, we supply a kernel to estimate sample-specific slippage rates. For ...
-
(2019-10-14)The nominal transition systems (NTSs) of Parrow et al. describe the operational semantics of nominal process calculi. We study NTSs in terms of the nominal residual transition systems (NRTSs) that we introduce. We provide rule formats for the specifications ...
-
(Copernicus GmbH, 2019-07-15)Scientific computing applications involving complex simulations and data-intensive processing are often composed of multiple tasks forming a workflow of computing jobs. Scientific communities running such applications on computing resources often find ...
-
(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 ...
-
(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 ...
Now showing items 21-40 of 44