Blar i Department of Informatics på emneord "754115"
Viser treff 1-18 av 18
-
A faster algorithm for computing c-closure
(Master thesis, 2023-06-13)Exploiting the structure of graphs is a well-known strategy for solving hard problems on complex graphs. In our studies we consider structural characteristics of social network graphs, in particular ways to exploit the ... -
Analyzing Solidity smart contracts
(Master thesis, 2022-08-16) -
Automatic Differentiation of Third Order Derivatives using Forward Mode in C++
(Master thesis, 2009-01-07)Automatic differentiation of third order derivatives is implemented in C++. The implementation uses uses object-orientation and operator overloading to perform the differentiation. A short introduction to operator overloading ... -
Comparison of Solving Techniques for Non-linear Sparse Equations over Finite Fields with Application in Cryptanalysis
(Master thesis, 2008)The work on this thesis gives a summary of the Gluing/Agreeing techniques, as well as a reference implementation of this methods. Furthermore widely used SAT-solving techniques are explained and a short insight to the ... -
Data Profiling to Reveal Meaningful Structures for Standardization
(Master thesis, 2009-11-20)Today many organisations and enterprises are using data from several sources either for strategic decision making or other business goals such as data integration. Data quality problems are always a hindrance to effective ... -
Diverting Networks with Odd Paths
(Master thesis, 2024-06-17)Problemet Kortest Odde Sti er å finne en sti fra en node til en annen i en graf, der antall kanter i stier må være et oddetall. Selv om problemet virker som kun intet annet enn en kuriøsitet, er verdien i det at mange ... -
Dynamic Presentation Generator 2.0 Utvikling av ny dynamisk presentasjonsgenerator og presentasjonsmønsterspesifikasjon.
(Master thesis, 2008-10-13)Denne masteroppgaven er en del av JAva FjernUndervisningsprosjektet (JAFU) på Institutt for Informatikk ved Universitetet i Bergen. Formålet med dette prosjektet er først og fremst å kunne tilby nettbasert undervisning ... -
Firewalls: Enforcement of Security Policy in networks
(Master thesis, 2014-11-20)Firewalls are set up to protect computer networks. Originally, networks were just coupled together, in order to achieve connection. With the ability to reach networks all over the world, one started to denote this the ... -
Machine Teaching for Explainable AI: Proof of Concept
(Master thesis, 2022-06-21)In today’s society, AI and machine learning are becoming more and more relevant. Following this, the field of Explainable AI is becoming of more relevance. The research project ”Machine Teaching for Explainable AI” aims ... -
MassAnalyzer, a program to help find labeled peptides and compare them to their unlabeled counterparts in a SILAC experiment
(Master thesis, 2008-11-27)Mass spectrometry(MS) have become an increasingly popular analysis method for high throughput experiments on proteins in biology. SILAC(stable isotope labeling by amino acids in cell culture) is a method within MS that ... -
Multimedia i dynamisk presentasjons generator 2.0
(Master thesis, 2008-10-01)Oppgaven omhandler en ny implementasjon av innholdshåndteringssystemet Dynamic Presetation Generator DPG, hvor hovedvekten av oppgaven tar for seg integrering av multimediafunksjonalitet i systemet. -
Multiple Side Linear Equations. A New Tool For Solving Sparse Algebraic Equations in Finite Field
(Master thesis, 2010-01-28)A new technique of linearization for sparse multivariate polynomial equation system is presented. Applying Gluing algorithm on the newly constructed linear equation systems, therefore solve the original multivariate ... -
Object Tracking Approach for Catch Estimation on Trawl Surveys
(Master thesis, 2023-06-16)In the Norwegian Sea, coordinated multinational surveys are regularly undertaken with the aim of assessing the size and composition of marine life populations - a fundamental practice for ensuring long-term ecological ... -
Properties of locally checkable vertex partitioning problems in digraphs
(Master thesis, 2022-05-31)While, for undirected graphs, locally checkable vertex subset and partitioning problems have been studied extensively, the equivalent directed problems have not received nearly as much attention yet. We take a closer look ... -
Solving System of Nonlinear Equations Using Methods in the Halley Class
(Master thesis, 2009-05-26)In this thesis a new iterative frame work to solve the nonlinear system of equations \(F(x)=0\) in n-dimensional real space is established. This iterative frame work is based on a quadratic model of the function \(F(x)\) ... -
Towards Privacy Managment of Information Systems
(Master thesis, 2009-06-02)This masters thesis provides insight into the concept of privacy. It argues why privacy is important, and why developers and system owners should keep privacy in mind when developing and maintaining systems containing ... -
View-Dependent Peel-Away Visualization for Volumetric Data
(Master thesis, 2008-11-19)Traditional illustration of three-dimensional structures, has developed techniques to provide clear view on internal features that are otherwise hidden underneath other outer structures. Many techniques attempt to create ... -
Visualization and Interaction with Medical Data in Immersive Environments
(Master thesis, 2008-12-08)Immersive visualization techniques are just starting to see limited adoption in medical applications. The Visualization Group at the University of Bergen wish to expand its research efforts into such immersive visualization ...