Blar i Fakultet for informasjonsteknologi og elektroteknikk (IE) på tittel
Viser treff 14922-14941 av 20288
-
Prototyping and Evaluation of Hover - a Socially Beneficial Alternative Game
(Master thesis, 2021)I dette prosjektet har vi funnet opp, utviklet og evaluert et nytt alternativt spillkonsept. Et alternativt spill defineres som “et spill hvor en eller flere av karakteristikkene til spillet avviker fra et vanlig spill.” ... -
Prototyping and Evaluation of Hover - a Socially Beneficial Alternative Game
(Master thesis, 2021)I dette prosjektet har vi funnet opp, utviklet og evaluert et nytt alternativt spillkonsept. Et alternativt spill defineres som “et spill hvor en eller flere av karakteristikkene til spillet avviker fra et vanlig spill.” ... -
Prototyping av gripemodul og objektgjenkjenningssystem for automatisk sortering av gjenbrukskasser
(Bachelor thesis, 2021)Denne oppgaven omhandler utviklingsløpet fra konseptidé til en ferdig prototype for automatisk sortering av gjenbrukskasser brukt i matindustrien, dette ved bruk av en gripemodul og objektgjennkjenning. Disse kassene blir ... -
Prototyping Material Programming Using Internet of Things
(Master thesis, 2018)This thesis explore material programming as a proposed design practice for computational composites. A computational composite is an envisioned future material as dynamic, interactive and capable of computation. Computational ... -
Prototyping of a System for Online Energy Efficiency Ranking of Student Programs
(Master thesis, 2013)Programming competitions is found motivating by many students.Combining this with an increased need for green computing is the motivation of this project.The idea is to create an automated assessment system that not only ... -
Provable Security of Authenticated Encryption Schemes
(Bachelor thesis, 2022)Denne bacheloroppgaven ser på den bevisbare sikkerheten til randomized counter mode (RCM) og Galois counter mode (GCM). Dette gjøres ved å bruke sekvenser av spill for å strukturere bevisene. Vi vil bevise at randomized ... -
Providing a Birds Eye View on the Execution of Distributed, Reactive Systems using Collaborations
(Master thesis, 2006)This thesis studies the use of collaborations as a mean to visualize behaviour of an observed distributed reactiv system. The work is inspired by previous work where an approach using elementary collaborations, that is ... -
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 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 ... -
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 ... -
PRST - Python Reservoir Simulation Toolbox
(Master thesis, 2016)In this thesis I have developed a prototype for a software framework for the simulation of flow in porous media, based on the MATLAB Reservoir Simulation Toolkit (MRST). The software -- Python Reservoir Simulation Toolkit ... -
Pruning of RBF Networks in Robot Manipulator Learning Control
(Master thesis, 2012)Radial Basis Function Neural Networks are well suited for learning the systemdynamics of a robot manipulator and implementation of these networks in thecontrol scheme for a manipulator is a good way to deal with the system ... -
PS-DeVCEM: Pathology-sensitive deep learning model for video capsule endoscopy based on weakly labeled data
(Peer reviewed; Journal article, 2020)We propose a novel pathology-sensitive deep learning model (PS-DeVCEM) for frame-level anomaly detection and multi-label classification of different colon diseases in video capsule endoscopy (VCE) data. Our proposed model ... -
PSB-MPC Collision Avoidance with Anti-Grounding
(Master thesis, 2021)Denne avhandlingen ser på autonome overflatefartøy (AO) som fremtiden til industriell maritim shipping. For å oppnå en fullstendig autonom AO så har videre arbeid på et robust og komplett kollisjonsunngåelsessystem blitt ... -
PSCAD Simulation of Distance Protection Performance in a Grid with Inverter Interfaced Generation
(Master thesis, 2020)I denne oppgaven har ytelsen til distansevern i et kraftnett med vekselretter-tilkobede produksjonskilder blitt studert gjennom simuleringer i PSCAD. Statnett forventer at problemer for distansevern vil oppstå i nærheten ... -
PSCAD Simulations of Distance Protection Performance in a Grid with high Wind Power Penetration
(Master thesis, 2022)Distansevern anses å være det mest pålitelige vernet når det kommer til å beskytte høyspentlinjer. Dette er kanskje ikke tilfelle lenger, da andelen av fornybare energikilder blir en vesentlig større del av kraftsystemet. ... -
Pseudo-Hamiltonian neural networks with state-dependent external forces
(Peer reviewed; Journal article, 2023)Hybrid machine learning based on Hamiltonian formulations has recently been successfully demonstrated for simple mechanical systems, both energy conserving and not energy conserving. We introduce a pseudo-Hamiltonian ... -
Pseudo-R2 for Generalized Linear Models - A Study of Various Pseudo-R2s for the Logit Model and the Log-Linear Poisson Model
(Master thesis, 2018)No equivalent measure to R2 for ordinary least square regression exist for generalized linear models to assess model fit. Therefore, this master's project addresses various pseudo-R2s for generalized linear models. Six ... -
Pseudomoments of the Riemann zeta function
(Journal article; Peer reviewed, 2018)The 2kth pseudomoments of the Riemann zeta function ζ ( s ) are, following Conrey and Gamburd, the 2 k th integral moments of the partial sums of ζ ( s ) on the critical line. For fixed k > 1 / 2 , these moments are known ...