Opin vísindi

Fletta eftir efnisorði "Software"

Fletta eftir efnisorði "Software"

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

  • Icon
    Automation improves repeatability of retinal oximetry measurements 
    Karlsson, Róbert Arnar; Ólafsdottir, Ólöf Birna; Helgadóttir, Védis; Belhadj, Soumaya; Elíasdóttir, Þórunn Scheving; Stefánsson, Einar; Harðarson, Sveinn Hákon (2021-12)
    Purpose Retinal oximetry is a technique based on spectrophotometry where images are analyzed with software capable of calculating vessel oxygen saturation and vessel diameter. In this study, the effect of automation of measurements of retinal vessel ...
  • 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
    Facilitating Collaboration in Machine Learning and High-Performance Computing Projects with an Interaction Room 
    Book, Matthias; Riedel, Morris; Neukirchen, Helmut Wolfram; Erlingsson, Ernir (Institute of Electrical and Electronics Engineers Inc., 2022)
  • Icon
    Haptic cues as a utility to perceive and recognise geometry 
    Shimomura, Yayoi; Hvannberg, Ebba Thora; Hafsteinsson, Hjálmtýr (Springer Nature, 2012-03-17)
    Research has been conducted on how to aid blind peoples’ perceptions and cognition of scientific data and, specifically, on how to strengthen their background in mathematics as a means of accomplishing this goal. In search of alternate modes to vision, ...
  • Icon
    Plotkin's call-by-value λ-calculus as a modal calculus 
    Espírito Santo, José; Pinto, Luís; Uustalu, Tarmo (Elsevier BV, 2022-06)
    In the authors' previous analysis of the calling paradigms call-by-name and call-by-value through Girard's and Gödel's embeddings into the S4 modal logic, an asymmetry remains: the two paradigms are unified by the call-by-box paradigm of the modal ...