Opin vísindi

Browsing by Subject "Software"

Browsing by Subject "Software"

Sort by: Order: Results:

  • Icon
    Beyond pixel : Superpixel-based MRI segmentation through traditional machine learning and graph convolutional network 
    Khatun, Zakia; Jónsson, Halldór; Tsirilaki, Mariella; Maffulli, Nicola; Oliva, Francesco; Daval, Pauline; Tortorella, Francesco; Gargiulo, Paolo (2024-11)
    Background and Objective: Tendon segmentation is crucial for studying tendon-related pathologies like tendinopathy, tendinosis, etc. This step further enables detailed analysis of specific tendon regions using automated or semi-automated methods. This ...
  • 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
    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
    Modeling the Response of a Lead Core Rubber Bearing for Seismic Isolation 
    Zhelyazov, Todor; Yang, Mijia; Lanzinha, Joao C.G.; Hu, Jianhui; Samui, Pijush (IOS Press BV, 2023-12-07)
    Lead core rubber bearings are among the commonly used devices for seismic isolation of buildings and structures. They are a part of the so-called base isolation meant to decouple the superstructure from the ground, thus modifying the structure's ...
  • 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 ...
  • Icon
    Runtime monitoring for asynchronous reactive components 
    Attard, Duncan Paul (2024-02-10)
    Modern software is built on reactive principles, where systems are responsive, resilient, elastic, and message-driven. Despite the benefits they engender, these aspects make the correctness of reactive systems in terms of their expected behaviour hard ...