Browsing UiS Brage by Title
Now showing items 1423-1442 of 18886
-
Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model
(Peer reviewed; Journal article, 2019-04)Implementing test suites for distributed software systems is a complex and time-consuming task due to the number of test cases that need to be considered in order to obtain high coverage. We show how a formal Coloured Petri ... -
Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model
(Peer reviewed; Journal article, 2019-04)Implementing test suites for distributed software systems is a complex and time-consuming task due to the number of test cases that need to be considered in order to obtain high coverage. We show how a formal Coloured Petri ... -
Automated testing of industrial robots using HTC Vive for motion tracking
(Masteroppgave/UIS-TN-IDE/2017;, Master thesis, 2017-06)Producers of industrial robots are continuously maintaining and upgrading their software that is running on their robot controllers, to improve and expand the functionalities. Extensive testing is performed to verify ... -
Automated Trading System using Machine Learning
(Masteroppgave/UIS-TN-ISØP/2019;, Master thesis, 2019-06-15)This thesis investigates how machine learning can be applied in automated trading systems. To this end, an automated trading system driven by machine learning algorithms is developed. The system’s design is inspired by ... -
Automated well control using MPD approach
(Masteroppgave/UIS-TN-IPT/2009, Master thesis, 2009)The easy oil and gas is gone. Newly discovered fields follow the trend of being smaller and harder to reach, moving to increasingly remote locations with high temperatures. The huge fields of the past are maturing and ... -
Automated Well Monitoring: Machine Learning and Web Application
(Masteroppgave/UIS-TN-IDE/2020;, Master thesis, 2020-06-15)The challenge within the oil and gas industry is that of complexity and therefore cost, specifically due to the tough working environments and delays/downtime . Therefore, digitization is proposed as a cost saving opportunity ... -
Automatic adjustment of drilling fluid properties
(Masteroppgave/UIS-TN-IPT/2013;, Master thesis, 2013)The primer objective of this thesis was to implement and test, in the automated drilling hydraulics laboratory at the University of Stavanger, a system for automatic adjustment of viscosity of a fluid. The fluid used to ... -
Automatic AI-Driven segmentation of Acute Ischemic Stroke Regions with CT Perfusion Images
(PhD thesis UiS;, Doctoral thesis, 2023)This thesis investigates artificial intelligence (AI) methodologies to automatically delineate ischemic areas of brain Computed Tomography Perfusion (CTP) scans acquired at hospital admission in patients suspected of acute ... -
Automatic analysis of X (Twitter) data for supporting depression diagnosis
(Peer reviewed; Journal article, 2023-12)Depression is an increasingly common problem that often goes undiagnosed. The aim of this paper was to determine whether an analysis of tweets can serve as a proxy for assessing depression levels in the society. The work ... -
Automatic annotation of data collected through Inertial sensors
(Bachelor thesis, 2023)The data annotation process is a time-consuming process related to Human Activity Recognition (HAR). The data annotation process is generally done by a human assigned to watch video recordings of activities executed by ... -
Automatic Cardiac Rhythm Classification With Concurrent Manual Chest Compressions
(Journal article; Peer reviewed, 2019-08)Electrocardiogram (EKG) based classification of out-of-hospital cardiac arrest (OHCA) rhythms is important to guide treatment and to retrospectively elucidate the effects of therapy on patient response. OHCA rhythms are ... -
Automatic collection and storage of smart city data with semantic data model discovery and sample data analysis
(Masteroppgave/UIS-TN-IDE/2017;, Master thesis, 2017-06)Collecting and storing smart city data is a task that requires thorough data exploration, configuring and testing to be of value. Configuring a data collection pipeline for data from a new data provider needs to take into ... -
Automatic deployment of a local permissioned Ethereum blockchain
(Bachelor thesis, 2023)Blockchain technology is a way to store data without having to rely on a central server, and stores data transparently and immutably. Ethereum is a blockchain implementation that just went through major changes to its ... -
Automatic Detection and Extraction of Event Locations in News Report to locate in Map.
(Masteroppgave/UIS-TN-IDE/2016;, Master thesis, 2016-06-15)In the present word of electronic media, there are hundreds of newspapers available online, it is really a tired some task to search for a specific event in this online newspapers. This paper looked into possibility of ... -
Automatic Detection of Features from Atlantic Salmon by Classical Image Processing
(Masteroppgave/UIS-TN-IDE/2019;, Master thesis, 2019-06-14)The methods created for this project aim to locate the salmon in the image and extract features from it. The aim of the features are to recognize individual salmon from each other. Individual identification, done by RFID ... -
Automatic Detection of Features from Atlantic Salmon by Classical Image Processing
(Masteroppgave/UIS-TN-IDE/2019;, Master thesis, 2019-06-14)The methods created for this project aim to locate the salmon in the image and extract features from it. The aim of the features are to recognize individual salmon from each other. Individual identification, done by RFID ... -
Automatic detection of reservoir influx in conventional drilling, managed pressure drilling and dual gradient drilling
(Masteroppgave/UIS-TN-IPT/2012;, Master thesis, 2012)Reservoir influxes, or kicks, are well control incidents with the potential of severe consequences to health, safety and the environment, as well as economics. Although the main focus will always be to prevent such incidents ... -
Automatic Detection of the Intersection Point Between Left and Right Ventricle in LG-CMR Images
(Masteroppgave/UIS-TN-IDE/2017;, Master thesis, 2017-06)Each year Myocardial Infarction affects millions of people worldwide. Approximately 66% of those experiencing a Myocardial Infarction survives, but are at a higher risk of heart related complications and another Infarction. ... -
Automatic DFØ Bill Recognition based on Deep Learning
(Bachelor thesis, 2023)This thesis presents the development of an internal Optical Character Recognition (OCR) system for receipt scanning, aimed at replacing Direktoratet for Forvaltning og Økonomistyring’s current system with an in-house one. ... -
Automatic DFØ Bill Recognition based on Deep Learning
(Bachelor thesis, 2023)This thesis presents the development of an internal Optical Character Recognition (OCR) system for receipt scanning, aimed at replacing Direktoratet for Forvaltning og Økonomistyring’s current system with an in-house one. ...