Blar i HVL Open på tittel
Viser treff 8014-8033 av 12988
-
Model checking starvation for resource-aware active objects with coloured petri nets
(Peer reviewed; Journal article, 2020)Dynamic resource provisioning is an important driver for pay-on-demand cloud computing. Virtualized resources open for resource awareness, such that applications may use resource management strategies to modify their ... -
Model Railway Control using Collaborating Processing Units
(Bachelor thesis, 2023) -
Model Repair with Quality-Based Reinforcement Learning
(Journal article; Peer reviewed, 2020)Domain modeling is a core activity in Model-Driven Engineering, and these models must be correct. A large number of artifacts may be constructed on top of these domain models, such as instance models, transformations, and ... -
Model-based development for MAC protocols in industrial wireless sensor networks
(Peer reviewed; Journal article, 2016)Model-Driven Software Engineering (MDSE) is an approach for design and implementation of software applications, that can be applied across multiple domains. The advantages include rapid prototyping and implementation, along ... -
Model-based software testing for distributed systems and protocols
(Doctoral thesis, 2020)Society is increasingly dependent on fault-tolerant cloud-based services which rely on the correctness and reliability of advanced distributed software systems and consensus protocols. The implementations of these systems ... -
Model-based verification of the DMAMAC protocol for real-time process control
(Peer reviewed; Journal article, 2015)Medium Access Control (MAC) protocols are responsible for managing radio communication that constitute the main energy consumer in wireless sensor-actuator networks. The Dual-Mode Adaptive MAC (DMAMAC) protocol is a recently ... -
Model-Driven Automatic Question Generation for a Gamified Clinical Guideline Training System
(Peer reviewed; Journal article, 2020)Clinical practice guidelines (CPGs) are a cornerstone of modern medical practice since they summarize the vast medical literature and provide care recommendations based on the current best evidence. However, there are ... -
MODELING A KNUCKLE BOOM CRANE CONTROL TO REDUCE PENDULUM MOTION USING THE MOVING FRAME METHOD
(Bachelor thesis, 2019) -
Modeling burns for pre-cooled skin flame exposure
(Peer reviewed; Journal article, 2017) -
Modeling Drying of Degenerated Calluna vulgaris for Wildfire and Prescribed Burning Risk Assessment
(Peer reviewed; Journal article, 2020)Research highlights: Moisture diffusion coefficients for stems and branches of degenerated Calluna vulgaris L. have been obtained and a mathematical model for the drying process has been developed and validated as an input ... -
Modeling Indoor Relative Humidity and Wood Moisture Content as a Proxy for Wooden Home Fire Risk
(Journal article; Peer reviewed, 2019)Severe wooden home conflagrations have previously been linked to the combination of very dry indoor climate in inhabited buildings during winter time, resulting in rapid fire development and strong winds spreading the fire ... -
Modeling of flood and retention in the Sogn allotment garden
(Master thesis, 2022)More frequent and severe rainfall due to climate change, on the one hand, and more impervious surfaces due to urbanization, on the other hand, are increasing the risk of urban floods. Sogn allotment garden is mainly a green ... -
Modeling skin injury from hot rice porridge spills
(Peer reviewed; Journal article, 2018) -
Modeling Skin Injury from Hot Spills on Clothing
(Peer reviewed; Journal article, 2017) -
MODELING SUBSEA ROV MOTION USING THE MOVING FRAME METHOD
(Bachelor thesis, 2019) -
Modeling Water Droplet Freezing and Collision with a Solid Surface
(Journal article; Peer reviewed, 2021)Water droplets released from the sea surface represent one of the major causes of ice accretion on marine vessels. A one-dimensional model of the freezing of a spherical water droplet moving in cold air was developed. The ... -
Modellering av CO2- og CO- produksjon i rombranner
(Bachelor thesis, 2005)Formålet med oppgaven var å sette opp en modell som kan benyttes for å bestemme mengden av CO og CO2 til bruk i en sone-modell, i dette tilfellet er modellen tiltenkt Argos. Den matematiske modellen settes opp i Excel. Det ... -
Modellering av fremtidig avrenning under klimascenariene RCP2.6, RCP4.5 og RCP8.5 - en case studie fra Vestfossen, Øvre Eiker i Viken fylke
(Master thesis, 2021)Det er i dag bred enighet innen klimaforskning om at det vil forekomme endringer i nedbørsmønsteret over hele Norge som et resultat av stigende temperaturer, forårsaket av antropogene klimaendringer. I hvor stor grad og ... -
Modellering av skinneffekt under DC kortslutning
(Bachelor thesis, 2022) -
Modellering av varmegjenvinning om bord på Havila Kystruten
(Bachelor thesis, 2022)