Viser treff 215-234 av 643

• #### Floating Fault Analysis of Trivium ﻿

(Lecture Notes in Computer Science; 5365, Chapter; Peer reviewed, 2008)
One of the eSTREAM final portfolio ciphers is the hardwareoriented stream cipher Trivium. It is based on 3 nonlinear feedback shift registers with a linear output function. Although Trivium has attached a lot of interest, ...
• #### Formulas as programs ﻿

(Master thesis, 2003)
Alma-0 is a programming language supporting declarative programming, which combines the advantages of imperative and logic programming paradigms. This work explores declarative programming by extending the interpretation ...
• #### FPT Algorithms for Diverse Collections of Hitting Sets ﻿

(Peer reviewed; Journal article, 2019-11-27)
In this work, we study the d-Hitting Set and Feedback Vertex Set problems through the paradigm of finding diverse collections of r solutions of size at most k each, which has recently been introduced to the field of ...
• #### A framework for integrating data, models and visualisation tools to understand fish migration pattern ﻿

(Master thesis, 2019-06-29)
• #### FreeContact: Fast and free software for protein contact prediction from residue co-evolution ﻿

(Peer reviewed; Journal article, 2014-03-26)
Background: 20 years of improved technology and growing sequences now renders residue-residue contact constraints in large protein families through correlated mutations accurate enough to drive de novo predictions of protein ...
• #### FreeContact: fast and free software for protein contact prediction from residue co-evolution ﻿

(Peer reviewed; Journal article, 2014-03-26)
Background: 20 years of improved technology and growing sequences now renders residue-residue contact constraints in large protein families through correlated mutations accurate enough to drive de novo predictions of protein ...
• #### Functional Magnetic Resonance Imaging: Exploring data driven analysis of brain activations in rest and effort mode using deep learning. ﻿

(Master thesis, 2019-06-29)
• #### Fusing a Transformation Language with an Open Compiler ﻿

(Peer reviewed; Journal article, 2008-04-01)
Program transformation systems provide powerful analysis and transformation frameworks as well as concise languages for language processing, but instantiating them for every subject language is an arduous task, most often ...
• #### Gamification To Promote Guideline Training In Health Care ﻿

(Master thesis, 2019-06-29)
Clinical practice guidelines are recipes for how clinician can identify a specific medical condition in a patient, how to manage and provide treatment for such a patient. These are evidence based statements, which includes ...
• #### GAPGOM—an R package for gene annotation prediction using GO metrics ﻿

(Journal article; Peer reviewed, 2021)
Objective Properties of gene products can be described or annotated with Gene Ontology (GO) terms. But for many genes we have limited information about their products, for example with respect to function. This is ...
• #### Generalized Bent and/or Negabent Constructions ﻿

(Master thesis, 2012-04-27)
In this thesis, we generalize the Maiorana-McFarland construction for bent, negabent and bent-negabent Boolean functions and describe a way to computationally search for constructions using these generalizations. We present ...
• #### Generalized isotopic shift construction for APN functions ﻿

(Journal article; Peer reviewed, 2021)
In this work we give several generalizations of the isotopic shift construction, introduced recently by Budaghyan et al. (IEEE Trans Inform Theory 66:5299–5309, 2020), when the initial function is a Gold function. In ...
• #### Generating a synthetic diffusion tensor dataset ﻿

(Peer reviewed; Journal article, 2005)
During the last years, many techniques for de-noising, segmentation and fiber-tracking have been applied to diffusion tensor MR image data (DTI) from human and animal brains. However, evaluating such methods may be difficult ...
• #### Generating software for MUB complementary sequence constructions ﻿

(Master thesis, 2015-11-18)
This master thesis has been performed at the Department of Informatics, University of Bergen between February and November 2015. The work has been supervised by Professor Matthew G. Parker as a part of the research interest ...
• #### Generating tree-like graphs ﻿

(Master thesis, 2008-11-18)
Implementation of an algorithm that interactively generates k-graphs, a superclass of k-branches.
• #### The genome sequence of Atlantic cod reveals a unique immune system ﻿

(Peer reviewed; Journal article, 2011-09)
Atlantic cod (Gadus morhua) is a large, cold-adapted teleost that sustains long-standing commercial fisheries and incipient aquaculture. Here we present the genome sequence of Atlantic cod, showing evidence for complex ...
• #### The Genomic HyperBrowser: an analysis web server for genome-scale data ﻿

(Peer reviewed; Journal article, 2013-04-30)
The immense increase in availability of genomic scale datasets, such as those provided by the ENCODE and Roadmap Epigenomics projects, presents unprecedented opportunities for individual researchers to pose novel falsifiable ...
• #### Geometric Planar Networks on Bichromatic Points ﻿

(Journal article; Peer reviewed, 2020)
We study four classical graph problems – Hamiltonian path, Traveling salesman, Minimum spanning tree, and Minimum perfect matching on geometric graphs induced by bichromatic ( Open image in new window and Open image in new ...
• #### A geometry-based generic predictor for catalytic and allosteric sites ﻿

(Peer reviewed; Journal article, 2011)
An important aspect of understanding protein allostery, and of artificial effector design, is the characterization and prediction of substrate- and effector-binding sites. To find binding sites in allosteric enzymes, many ...
• #### Going Far from Degeneracy ﻿

(Journal article; Peer reviewed, 2020)
An undirected graph $G$ is $d$-degenerate if every subgraph of $G$ has a vertex of degree at most $d$. By the classical theorem of Erdös and Gallai from 1959, every graph of degeneracy $d>1$ contains a cycle of length at ...