Opin vísindi

Browsing by Subject "Tölvunarfræði"

Browsing by Subject "Tölvunarfræði"

Sort by: Order: Results:

  • Koziel, Slawomir; Bekasiewicz, Adrian (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 ...
  • Koistinen, Olli-Pekka (Aalto University School of Science, 2019)
    Chemical reactions and other transitions involving rearrangements of atoms can be studied theoretically by analyzing a potential energy surface defined in a high-dimensional space of atom coordinates. Local minimum points of the energy surface correspond ...
  • Pietrenko-Dabrowska, Anna; Koziel, Slawomir (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 ...
  • 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 ...
  • Ullah, Ubaid; Al-Hasan, Muath; Koziel, Slawomir; Mabrouk, Ismail Ben (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 ...
  • 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 ...
  • Pietrenko-Dabrowska, Anna; Koziel, Slawomir; Al-Hasan, Mu'ath (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, ...
  • Koziel, Slawomir; Pietrenko-Dabrowska, Anna; Al-Hasan, Mu'ath (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. ...
  • Hyytia, Esa; Righter, Rhonda; Bilenne, Olivier; Wu, Xiaohu (Elsevier BV, 2017-09)
    We study the M/D/1 queue when jobs have firm deadlines for waiting (or sojourn) time. If a deadline is not met, a job-specific deadline violation cost is incurred. We derive explicit value functions for this M/D/1 queue that enable the development of ...
  • Ullah, Ubaid; Mabrouk, Ismail Ben; Koziel, Slawomir (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 ...
  • Bean, Christian; Claesson, Anders; Úlfarsson, Henning Arnór (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 ...
  • Tomasson, Jon Atli; Koziel, Slawomir; Pietrenko-Dabrowska, Anna (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 ...
  • Koziel, Slawomir; Pietrenko-Dabrowska, Anna (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 ...
  • Pietrenko-Dabrowska, Anna; Koziel, Slawomir; Al-Hasan, Muath (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 ...
  • Book, Matthias; Riedel, Morris; Neukirchen, Helmut; Götz, Markus (ACM Press, 2017-10)
    The design, development and deployment of scientific computing applications can be quite complex as they require scientific, High-Performance Computing (HPC), and software engineering expertise. Often, HPC applications are however developed by end users ...
  • Bean, Christian (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 ...
  • 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 ...
  • Eggertsson, Hannes; Kristmundsdóttir, Snædís; Beyter, Doruk; Jónsson, Hákon; Skúladóttir, Ástrós; Hardarson, Marteinn; Gudbjartsson, Daniel; Stefansson, Kari; Halldórsson, Bjarni; Melsted, Páll (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, ...