- Opin vísindi
- →
- 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 43
-
(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 ...
-
(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 ...
-
(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 ...
-
(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 ...
-
(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 ...
-
(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 ...
-
(University of Iceland, School of Engineering and Natural Sciences, Faculty of Industrial Engineering, Mechanical Engineering and Computer Science, 2021-06)Distributed data and compute infrastructures aim to provide access to their data or compute services across disciplinary and geographical borders to their users for scientific research. The services are highly collaborative in nature yet independent ...
-
(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 ...
Atriði 1-20 af 43