Now showing items 366-385 of 927
-
I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking
(Journal article; Peer reviewed, 2022)Static analysers are traditionally used to check various correctness properties of software. In the face of refactorings that can have adverse effects on correctness, developers need to analyse the code after refactoring ... -
Identifying elemental genomic track types and representing them uniformly
(Peer reviewed; Journal article, 2011-12-30)Background: With the recent advances and availability of various high-throughput sequencing technologies, data on many molecular aspects, such as gene regulation, chromatin dynamics, and the three-dimensional organization ... -
Illustrative Flow Visualization: State of the Art, Trends and Challenges
(Peer reviewed; Journal article, 2012)Flow visualization is a well established branch of scientific visualization and it currently represents an invaluable resource to many fields, like automotive design, meteorology and medical imaging. Thanks to the capabilities ... -
Impact of physical obstacles on the structural and effective connectivity of in silico neuronal circuits
(Journal article; Peer reviewed, 2020)Scaffolds and patterned substrates are among the most successful strategies to dictate the connectivity between neurons in culture. Here, we used numerical simulations to investigate the capacity of physical obstacles ... -
Impacts of Covid-19 on Norwegian salmon exports: A firm-level analysis
(Journal article; Peer reviewed, 2022)A rapidly growing literature investigates how the recent Covid-19 pandemic has affected international seafood trade along multiple dimensions, creating opportunities as well as challenges. This suggests that many of the ... -
Implementasjon av attributtbasert tilgangskontroll i elektroniske helsesystemer
(Master thesis, 2015-05-28)Tilgangskontroll er et av de viktigste temaene innenfor informasjonssikkerhet[10]. Sensitiv data bør bare kunne aksesseres av autoriserte brukere eller programmer. Denne oppgaven har som hovedmål å undersøke den nåværende ... -
Implementation and Evaluationof a Fire Risk Indication Model
(Master thesis, 2019-06-29)During the winter seasons there will often be a higher risk house fires due tothe dry climate as the result of cold weather. The fire department, and otherclients, would therefore have benefit of a fire risk indication ... -
An implementation of a Feedback Vertex Set algorithm.
(Master thesis, 2013-06-03)An implementation, improvements to implementation and empirical results. Feedback Vertex Set on undirected and unweighted graphs. -
Implementering og evaluering av en HL7 FHIR integrasjonsbuss for kommunikasjon mellom klientapplikasjoner og e-helsesystemer
(Master thesis, 2017-07-11)Bakgrunn: Den økende digitaliseringen av helsetjenestene krever at informasjonen i de elektroniske pasientjournalene er klinisk strukturerte ved hjelp av datastandarder og kliniske terminologier for riktig prosessering av ... -
Improved Combinatorial Bounds and Enumerators for the Connected Vertex Cover and Independent Feedback Vertex Set Problems
(Master thesis, 2018-06-20)In this thesis we shall study both the maximum number of minimal connected vertex covers and the maximum number of minimal independent feedback vertex sets in graphs. A subset S of the vertices of a graph G is a vertex ... -
An improved workflow for image- and laser-based virtual geological outcrop modelling
(Doctoral thesis, 2013-03-15)Photorealistic 3D models, representing an object’s surface geometry textured with conventional photography, are used for visualization, interpretation and spatial measurement in many disparate fields, such as cultural ... -
Improvements and extensions to the configuration tools of the TaskManager HLT software in the ALICE experiment at CERN
(Master thesis, 2007)This thesis concerns work done to improve andextend software that is used to configure nodesand trigger software in HLT under the ALICEexperiment at CERN. HLT is a large computercluster that will be used to reduce data ... -
Improvements on making BKW practical for solving LWE
(Journal article; Peer reviewed, 2021)The learning with errors (LWE) problem is one of the main mathematical foundations of post-quantum cryptography. One of the main groups of algorithms for solving LWE is the Blum–Kalai–Wasserman (BKW) algorithm. This paper ... -
Improving Efficiency in Parameter Estimation Using the Hamiltonian Monte Carlo Algorithm
(Master thesis, 2008)This thesis investigates three approaches to improve the performance of the Hamiltonian Monte Carlo algorithm. The first approach enhances the Hamiltonian Monte Carlo by suppressing random walk in the Gibbs sampling using ... -
Improving Interaction in Visual Analytics using Machine Learning
(Doctoral thesis, 2021-11-05)Interaction is one of the most fundamental components in visual analytical systems, which transforms people from mere viewers to active participants in the process of analyzing and understanding data. Therefore, fast and ... -
Improving Parallel Sparse Matrix-vector Multiplication
(Master thesis, 2013-12-19)Sparse Matrix-vector Multiplication (SMvM) is a mathematical technique encountered in many programs and computations and is often heavily used. Solving SMvM in parallel allows for bigger instances to be solved, and problems ... -
Improving the Usability of Refactoring Tools for Software Change Tasks
(Doctoral thesis, 2021-12-22)All successful software gets changed. Developers undertake software change tasks by editing the software’s source code to meet new demands. Often, the edits they make are aligned with refactorings and can be performed ... -
In silico design and analysis of targeted genome editing with CRISPR
(Doctoral thesis, 2020-01-27)CRISPR/Cas systems have become a tool of choice for targeted genome engineering in recent years. Scientists around the world want to accelerate their research with the use of CRISPR/Cas systems, but are being slowed down ... -
In Vitro Development of Human iPSC-Derived Functional Neuronal Networks on Laser-Fabricated 3D Scaffolds
(Journal article; Peer reviewed, 2021)Neural progenitor cells generated from human induced pluripotent stem cells (hiPSCs) are the forefront of ″brain-on-chip″ investigations. Viable and functional hiPSC-derived neuronal networks are shaping powerful in vitro ...