- Opin vísindi
- →
- Háskólinn í Reykjavík
- →
- Fletta eftir efnisorði
JavaScript is disabled for your browser. Some features of this site may not work without it.
Fletta eftir efnisorði "Tölvunarfræði"
Atriði 1-20 af 34
-
(Institute of Electrical and Electronics Engineers (IEEE), 2020-04-13)The paper proposes a novel framework for accelerated re-design (dimension scaling) of antenna structures using inverse surrogates. The major contribution of the work is a sensitivity-based model identification procedure, which permits a significant ... -
(Springer, 2020)Monad algebras, turning computations over return values into values, are used to handle algebraic effects invoked by programs, whereas comonad coalgebras, turning initial states into environments (“cocomputations”) over states, describe production of ...
-
(Institute of Electrical and Electronics Engineers (IEEE), 2020-05-27)Utilization of fast surrogate models has become a viable alternative to direct handling of full-wave electromagnetic (EM) simulations in EM-driven design. Their purpose is to alleviate the difficulties related to high computational cost of multiple ...
-
(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 ...
-
(Institute of Electrical and Electronics Engineers (IEEE), 2020)In this paper, a multiple-input-multiple-output (MIMO) antenna featuring circular polarization diversity, and designed on a common coplanar ground is presented. The proposed antenna design utilizes a coplanar waveguide (CPW) feeding technique with three ...
-
(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, ...
-
(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 ...
-
Cost-Efficient Bi-Layer Modeling of Antenna Input Characteristics Using Gradient Kriging Surrogates (Institute of Electrical and Electronics Engineers (IEEE), 2020)Over the recent years, surrogate modeling has been playing an increasing role in the design of antenna structures. The main incentive is to mitigate the issues related to high cost of electromagnetic (EM)-based procedures. Among the various techniques, ...
-
(Institute of Electrical and Electronics Engineers (IEEE), 2020)Contemporary microwave design heavily relies on full-wave electromagnetic (EM) simulation tools. This is especially the case for miniaturized devices where EM cross-coupling effects cannot be adequately accounted for using equivalent network models. ...
-
(2021-01)The ubiquitous reliance on software systems is increasing the need for ensuring their correctness. Runtime enforcement is a monitoring technique that uses moni- tors that can transform the actions of a system under scrutiny in order to alter its runtime ...
-
(Institute of Electrical and Electronics Engineers (IEEE), 2020)Design of a compact wideband circularly polarized (CP) multiple-input multiple-output (MIMO) antenna with polarization diversity is proposed and characterized for off-body communication. The antenna is based on a simple coplanar waveguide (CPW)-fed ...
-
Enumerations of Permutations Simultaneously Avoiding a Vincular and a Covincular Pattern of Length 3 (University of Waterloo, 2017)Vincular and covincular patterns are generalizations of classical patterns allowing restrictions on the indices and values of the occurrences in a permutation. In this paper we study the integer sequences arising as the enumerations of permutations ...
-
(Institute of Electrical and Electronics Engineers (IEEE), 2020)Optimization-based parameter tuning has become an inherent part of contemporary antenna design process. For the sake of reliability, it is typically conducted at the level of full-wave electromagnetic (EM) simulation models. This may incur considerable ...
-
(Institute of Electrical and Electronics Engineers (IEEE), 2020)Design of modern antennas relies-for reliability reasons-on full-wave electromagnetic simulation tools. In addition, increasingly stringent specifications pertaining to electrical and field performance, growing complexity of antenna topologies, along ...
-
Expedited Yield Optimization of Narrow- and Multi-Band Antennas Using Performance-Driven Surrogates (Institute of Electrical and Electronics Engineers (IEEE), 2020)Uncertainty quantification is an important aspect of engineering design, also pertaining to the development and performance evaluation of antenna systems. Manufacturing tolerances as well as other types of uncertainties, related to material parameters ...
-
(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, ...
Atriði 1-20 af 34