Blar i NTNU Open på tittel
Viser treff 36026-36045 av 100426
-
Forklaring og deltagelse i intervensjoner - Fra teori til praksis med kritisk realisme, aksjonsforskning og Action Science
(Master thesis, 2018)Dette teoretiske masterprosjektet begynner med problemet med i overføring av kunnskap mellom teori og praksis og hva vi kan forstå dette problemet som. Problemet blir forstått opp mot vår evne til å forklare hvordan, hvorfor ... -
Forklaringsfaktorer for holdning til og intensjon om bruk av selvskanningsappen ShopExpress
(Master thesis, 2020)Formålet med studien var å avklare konkrete faktorer som kan forklare hvorvidt kunder hos Coop Obs ønsker å ta i bruk den nye selvbetjeningsapplikasjonen ShopExpress eller ikke. For å besvare problemstillingen, utformet ... -
"Forlat fartøiet saa hurtig som mulig": Norske krigsforlis under fyrste verdskrig
(Master thesis, 2015)Norske krigsforlis under fyrste verdskrig med ein kvantitativ og kvalitativ tilnærming. -
«Forliset av Enhjørningen»: Plyndring eller berging?
(Master thesis, 2012) -
Forløp av symptomer hos pasienter med spiseforstyrrelser, med og uten traumeerfaring
(Master thesis, 2018)Målet med denne forløpsstudien var å undersøke endringer i spiseforstyrrelsessymptomer og generelle psykiske symptomer hos pasienter med alvorlige spiseforstyrrelser, med og uten traumeerfaringer. Pasientene (N=56) var ... -
Form Closure For Fully Actuated and Robust Obstacle-Aided locomotion in Snake Robots
(Peer reviewed; Journal article, 2023)In this letter we adapt the theory of form closure to define the form closed region: The subset of a snake robot's configuration space for which the constraints imposed by the obstacles in its environment render the system ... -
Form, Fiksjon og Selvframstilling: J.M. Coetzees Summertime
(Master thesis, 2011) -
Formability of aluminium alloy subjected to prestrain by rolling
(Doctoral thesis at NTNU;2014:363, Doctoral thesis, 2014)The purpose of this thesis was to improve the understanding and the accuracy of the description of metal sheet formability following the needs of the automotive industry. In particular, the effects of plastic anisotropy ... -
Formal approaches to design and verification of safe control systems for autonomous vessels
(Doctoral theses at NTNU;2023:70, Doctoral thesis, 2023)Maritime autonomy can positively impact society by cutting costs and emissions while enabling new solutions for transportation and mobility. Autonomous vessels must be capable of performing complex tasks under significant ... -
Formal caregivers’ perceptions of quality of care for older people: associating factors
(Peer reviewed; Journal article, 2015)Background Despite the growing number of studies concerning quality of care for older people, there is a lack of studies depicting factors associated with good quality of care from the formal caregivers’ perspective. The ... -
Formal Methods for System Development
(Master thesis, 2009)Two main types of formal methods have been investigated, formal specification and formal verification. Focus for formal verification has been on the concept of un-timed model checking. Some dominating formal specification ... -
Formal Safety Assessment of an Open Loop System
(Master thesis, 2015)Shipping burns approximately 300 million tonnes of fuel per year, and 12 million tonnes of sulphur oxides (SOx) are emitted, annually. The International Maritime Organization (IMO) set the standards for the safety, security ... -
Formal Safety Assessment of Dynamically Positioned Vessels
(Master thesis, 2015)The main objective of this paper is to make use of the Bayesian Belief Network (BBN) method for analysis of marine accidents in relation to Dynamic Positioning incidents (DP-incidents), and try to improve upon the model ... -
Formal semantics in the neurology clinic: Atypical understanding of aspectual coercion in ALS patients
(Journal article; Peer reviewed, 2016)Amyotrophic lateral sclerosis (ALS) is a neurodegenerative disease of the motor system with subtle adverse effects on cognition. It is still unclear whether ALS also affects language and semantics, and if so, what aspects ... -
Formal SoC Bus Verification with Sound Abstractions
(Master thesis, 2009)The fast development of semi-conductor technologies is matched for system design by an incrementing re-use of intellectual property (IP); this leaves verification as the biggest task. The verification problem has been known ... -
Formal verification of secure framework for digital exams
(Master thesis, 2017)The digital exam might come in the near future at the Norwegian University of Science and technology. As a replacement for tradition paper exam, digital exams will bring, along the old threats, some new challenges coming ... -
Formal verification of the Norwegian Internet Voting Protocol
(Master thesis, 2018)In this paper we look at the formalization and verification of several security components of the cryptosystem underlying The Norwegian Internet Voting Protocol. The focus will be on vote submission and B-Integrity. -
Formalising Nondeterministic Communication in Wireless Sensor Networks Using CSP
(Chapter, 2021)Using communicating sequential processes (CSP), this paper presents a model for wireless sensor networks (WSNs) to be used for formal verification of communication reliability in mesh networks. Process models are derived ...