Opin vísindi

Fletta eftir efnisorði "Algorithms"

Fletta eftir efnisorði "Algorithms"

Röðun: Raða: Niðurstöður:

  • Icon
    Algorithm for resolving discrepancies between claims for smoking cessation pharmacotherapies during pregnancy and smoking status in delivery records: The impact on estimates of utilisation 
    Roper, Lucinda; Tran, Duong Thuy; Einarsdóttir, Kristjana; Preen, David B.; Havard, Alys (Public Library of Science (PLoS), 2018-08-30)
    Background The linkage of routine data collections are valuable for population-based evaluation of smoking cessation pharmacotherapy in pregnancy where little is known about the utilisation or safety of these pharmacotherapies antenatally. The use of ...
  • Icon
    Approximation algorithms for independent set problems on hypergraphs 
    Losievskaja, Elena (Háskólinn í Reykjavík, 2011-01-24)
    This thesis deals with approximation algorithms for the Maximum Independent Set and the Minimum Hitting Set problems on hypergraphs. As a hypergraph is a generalization of a graph, the question is whether the best known approximations on graphs can be ...
  • Icon
    Assessing relative permeabilities in geothermal reservoirs using theoretical relations, laboratory measurements and field data 
    Guðjónsdóttir, María Sigríður (2016-01)
    Liquid dominated reservoirs are a common type of hydrothermal reservoirs. They consist of fractured rock and reservoir fluid which may obey Darcy’s law. Steam can form in such reservoirs either through heat input which causes temperature increase or ...
  • Icon
    Contributions to the meta-theory of structural operational semantics 
    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 ...
  • Icon
    Leader election in SINR model with arbitrary power control 
    Halldórsson, Magnús M.; Holzer, Stephan; Markatou, Evangelia Anna; Lynch, Nancy (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 ...
  • Icon
    Multivariate combinatorial exploration with regular strategies 
    Nadeau, Emile (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 ...
  • Icon
    New creatinine- And cystatin C-based equations to estimate GFR without race 
    the Chronic Kidney Disease Epidemiology Collaboration; Pálsson, Runólfur (2021-11-04)
    BACKGROUND: Current equations for estimated glomerular filtration rate (eGFR) that use serum creatinine or cystatin C incorporate age, sex, and race to estimate measured GFR. However, race in eGFR equations is a social and not a biologic construct. ...
  • Icon
    Rule Formats for Nominal Process Calculi 
    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 ...
  • Icon
    The security properties of in-network aggression 
    Jónsson, Kristján Valur (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 ...
  • Icon
    A type system with subtyping for WebAssembly’s stack polymorphism 
    McDermott, Dylan; Morita, Yasuaki; Uustalu, Tarmo (Springer, 2022-10-03)
    We propose a new type system for WebAssembly. It is a refinement of the type system from the language specification and is based on type qualifiers and subtyping. In the WebAssembly specification, a typable instruction sequence gets many different ...