Browsing NTNU Open by Title
Now showing items 74273-74292 of 101478
-
Proving Theorems Using Deep Learning
(Master thesis, 2021)Interaktive teorembevissystemer (ITP-systemer) er symbolbaserte programvaresystemer som brukes til å skrive og verifisere formelle matematiske bevis. Disse systemene inneholder ofte store datasett med menneskeskrevne ... -
Proving Wedderburn's little theorem
(Bachelor thesis, 2020)Oppgaven handler om å bevise Wedderburn's lille teorem som sier at et hvert endelig integritetsområde er en endelig kropp. Oppgaven begynner med å bevise at endelige integritets områder er divisjonsringer. Etter det beskrives ... -
Provision and Updating of Estimates of Reliability Parameters for Use in Reliability Analyses of Safety-Instrumented Systems
(Master thesis, 2012)Safety-instrumented systems are implemented in the industry to prevent accidents to occur and escalate. The blowdown system on a oil production ship is one example of such system. If a fire breaks out on the ship, the ... -
Provision of Primary Frequency Control from Electric Vehicles in the Nordic Power System
(Master thesis, 2023)Etterhvert som det grønne skiftet fortsetter vil fornybare energikilder som sol og vind ta over som den dominerende energikilden i store deler av verden. Disse energikildene bidrar ikke med treghet til kraftsystemet, noe ... -
Provision of Reliability Data for New Technology Equipment in Subsea Production Systems
(Master thesis, 2012)For certain new technologies such as subsea processing systems reliability, compactness and easy maintainability are the most important factors to be considered while designing. This is because installation and retrieval ... -
Provision of Reliability Data for New Technology: Approach for estimation of failure rate function for a sub-sea pump
(Master thesis, 2012)As part of the project thesis the candidate shall work on the following. 1. Document a literature survey of relevant reliability data sources and evaluate these with respect to applicability and quality. The data sources ... -
Provisioning tactics of great tits (Parus major) in response to long-term brood size manipulations differ across years
(Journal article; Peer reviewed, 2017)Parents provisioning their offspring can adopt different tactics to meet increases in offspring demand. In this study, we experimentally manipulated brood demand in free living great tits (Parus major) via brood size ... -
Provisjonslønn som kilde til motivasjon : et casestudie av EiendomsMegler1 Midt-Norge
(Master thesis, 2016-09-23)Formålet med denne studien er å presentere provisjonslønn som kilde til motivasjon blant meglere i EiendomsMegler1 Midt-Norge. Funnene mine kommer på bakgrunn av flere dybdeintervjuer gjennomført med ledelsen og meglerne ... -
Provisoriske vannkraftverk : en landsomfattende kartlegging av provisoriske vannkraftverk som ble bygget i perioden 1900-1930
(Master thesis, 2016)Temaet for oppgaven er de provisoriske kraftverkene som var knyttet til de store vannkraftutbyggingene tidlig på 1900-tallet. I oppgaven undersøker jeg om slike provisoriske kraftverk var vanlige og hvor mange som framdeles ... -
Provosert abort: Ivaretakelse av psykisk helse ved et av livets veikryss
(Bachelor thesis, 2023)Sammendrag Bakgrunn: Psykisk helse ved provosert abort er et tema som mangler oppmerksomhet i det offentlige rom, til tross for å være en lovregulert rettighet. Forskning viser at kvinner opplever negative psykiske ... -
ProXC++ - A CSP-inspired Concurrency Library for Modern C++ with Dynamic Multithreading for Multi-Core Architectures
(Master thesis, 2017)Ever since mass-market processors transitioned from single-core to multi-core architectures, software could no longer rely on an increase in sequential performance for an increase in software performance. Now, developing ... -
Proximal-distal motor control in skilled drummers
(Master thesis, 2015)Research indicates that drummers display refined distal muscle activity and less tapping speed asymmetry in bimanual and unimanual coordination. The present study investigates the effects of drum skill on proximal-distal ... -
Proximal–Distal Motor Control in Skilled Drummers: The Effect on Tapping Frequency of Mechanically Constraining Joints of the Arms in Skilled Drummers and Unskilled Controls
(Journal article; Peer reviewed, 2018)Previous studies have shown faster tapping speed and better tapping symmetry in drummers, compared with nondrummers. The present study investigated the effect on tapping frequency of mechanically constraining the joints ... -
Proximity effect in ballistic superconductor-ferromagnet structures with spin-orbit coupling
(Master thesis, 2017)The Bogoliubov-de Gennes equations have been solved numerically for a number of two-dimensional ballistic proximity structures comprised of superconductors, normal metals and ferromagnets, with both interfacial and in-plane ... -
Proximity effect with noncentrosymmetric superconductors
(Journal article, 2012)We describe the superconducting proximity effect taking place in a contact between a noncentrosymmetric superconductor and a diffusive normal/ferromagnetic metal within the quasiclassical theory of superconductivity. By ... -
Proximity effects and transport properties of nano-scale systems with multiple broken symmetries
(Doktoravhandlinger ved NTNU, 1503-8181; 2013:359, Doctoral thesis, 2013) -
Proximity effects in nanostructures with geometric curvature for superconducting spintronics
(Doctoral theses at NTNU;2023:296, Doctoral thesis, 2023)This thesis explores new avenues for the field of superconducting spintronics, with a focus on hybrid structures of superconductors and geometrically curved magnetic materials. In these structures the proximity effect ... -
Proximity effects in superconducting hybrid structures with spin-dependent interactions
(Doctoral theses at NTNU;2020:243, Doctoral thesis, 2020)When superconductors are contacted by other, non-superconducting materials, the latter may attain some of the properties of the former, and vice versa. This is the origin of a wealth of interesting phenomena. A striking ... -
Proximity effects, spin transport, and phase transitions in superconducting hybrids
(Doctoral theses at NTNU;2023:218, Doctoral thesis, 2023)This thesis presents our work on the theory of spin-dependent effects and transport in heterostructures involving superconductors, magnets, and non-centrosymmetric materials. The results are roughly divided into those ... -
Proximity to high densities of pastoral settlements reduces grassland regrowth in a protected tropical savanna
(Journal article; Peer reviewed, 2021)Sedentarization of pastoralist communities is reshaping the structure and functioning of tropical savannas. Of particular concern is how permanent pastoral settlements change grassland vegetation inside “protected” areas. ...