Opin vísindi

Browsing by Subject "Tölvunarfræði"

Browsing by Subject "Tölvunarfræði"

Sort by: Order: Results:

  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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, ...
  • Eggertsson, Hannes (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. ...
  • Argáez, Carlos; Berthet, Jean-Claude; Björnsson, Hjörtur; Giesl, Peter; Hafstein, Sigurdur (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 ...
  • Khamespanah, Ehsan (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 ...
  • Lejsek, Herwig (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 ...
  • Ali, Jafari (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 ...
  • Aceto, Luca; Fabregas, Ignacio; Garcia-Perez, Alvaro; Ingolfsdottir, Anna; Ortega-Mallen, Yolanda (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 ...
  • Memon, Mohammad Shahbaz; Vallot, Dorothée; Zwinger, Thomas; Åström, Jan; Neukirchen, Helmut; Riedel, Morris; Book, Matthias (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 ...
  • Memon, Mohammad Shahbaz (University of Iceland, School of Engineering and Natural Sciences, Faculty of Industrial Engineering, Mechanical Engineering and Computer Science, 2019-09)
    Scientific communities engaging in big data analysis face numerous challenges in managing complex computations and the related data on emerging and distributed computing infrastructures. Large-scale data analysis requires applications with simplified ...
  • Rudinsky, Jan; Hvannberg, Ebba Thora (IGI Global, 2017-01)
    A crisis is an emergency event that can lead to multiple injuries and damage to property or environment. Proper training of crisis management personnel is vital for reducing the impact of a major incident. In search for knowledge on how best to ...
  • Islind, Anna Sigridur; Snis, Ulrika Lundh; Lindroth, Tomas; Lundin, Johan; Cerna, Katerina; Steineck, Gunnar (Springer Science and Business Media LLC, 2019-05-27)
    Telecare has the potential to increase the quality of care while also decreasing costs. However, despite great potential, efficiency in care practices and cost reduction remain hypothetical. Within computer supported cooperative work (CSCW), one focus ...