Opin vísindi

Fletta eftir efnisorði "Hugbúnaður"

Fletta eftir efnisorði "Hugbúnaður"

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

  • Icon
    A Clinical Decision Support System for the Diagnosis, Fracture Risks and Treatment of Osteoporosis 
    Halldórsson, Bjarni; Bjornsson, Aron Hjalti; Guðmundsson, Haukur Týr; Birgisson, Elvar Orn; Ludviksson, Bjorn; Gudbjornsson, Bjorn (Hindawi Limited, 2015)
    Expanding medical knowledge increases the potential risk of medical errors in clinical practice. We present, OPAD, a clinical decision support systemin the field of the medical care of osteoporosis. We utilize clinical information from international ...
  • Icon
    Developing theoretical foundations for runtime enforcement 
    Cassar, Ian (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 ...
  • Icon
    Microsatellites; genotyping, mutation rate and effect on disease 
    Kristmundsdóttir, Snædís (2022-06)
    Microsatellites are polymorphic tracts of short tandem repeats (STRs) with one to six base-pair (bp) motifs and account for around 3% of the human genome. Just like copying by hand a text where the same word occurs many times in a row, the replication of ...
  • Icon
    Modeling, verification, and analysis of timed actor-based models 
    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 ...