Browsing Department of Informatics by Title
Now showing items 99-118 of 1175
-
The bio.tools registry of software tools and data resources for the life sciences
(Peer reviewed; Journal article, 2019-08-12)Bioinformaticians and biologists rely increasingly upon workflows for the flexible utilization of the many life science tools that are needed to optimally convert data into knowledge. We outline a pan-European enterprise ... -
BioHackathon series in 2011 and 2012: penetration of ontology and linked data in life science domains
(Peer reviewed; Journal article, 2014-02-05)Abstract The application of semantic technologies to the integration of biological data and the interoperability of bioinformatics analysis and visualization tools has been the common theme of a series of annual BioHackathons ... -
Bioimage analysis workflows: community resources to navigate through a complex ecosystem [version 1; peer review: 2 approved]
(Journal article; Peer reviewed, 2021)Workflows are the keystone of bioimage analysis, and the NEUBIAS (Network of European BioImage AnalystS) community is trying to gather the actors of this field and organize the information around them. One of its most ... -
Biomarker Discovery Using Statistical and Machine Learning Approaches on Gene Expression Data
(Doctoral thesis, 2020-10-30)My PhD is affiliated with the dCod 1.0 project (https://www.uib.no/en/dcod): decoding the systems toxicology of Atlantic cod (Gadus morhua), which aims to better understand how cods adapt and react to the stressors in the ... -
BioSimulators: a central registry of simulation engines and services for recommending specific tools
(Journal article; Peer reviewed, 2022)Computational models have great potential to accelerate bioscience, bioengineering, and medicine. However, it remains challenging to reproduce and reuse simulations, in part, because the numerous formats and methods for ... -
biotoolsSchema: a formalized schema for bioinformatics software description
(Journal article; Peer reviewed, 2021)Background Life scientists routinely face massive and heterogeneous data analysis tasks and must find and access the most suitable databases or software in a jungle of web-accessible resources. The diversity of information ... -
BioXSD: the common data-exchange format for everyday bioinformatics web services
(Peer reviewed; Journal article, 2010)Motivation: The world-wide community of life scientists has access to a large number of public bioinformatics databases and tools, which are developed and deployed using diverse technologies and designs. More and more of ... -
Bisection of Bounded Treewidth Graphs by Convolutions
(Journal article; Peer reviewed, 2019)In the Bisection problem, we are given as input an edge-weighted graph G. The task is to find a partition of V(G) into two parts A and B such that ||A| - |B|| <= 1 and the sum of the weights of the edges with one endpoint ... -
A Bit-Vector Differential Model for the Modular Addition by a Constant
(Journal article; Peer reviewed, 2020)ARX algorithms are a class of symmetric-key algorithms constructed by Addition, Rotation, and XOR, which achieve the best software performances in low-end microcontrollers. To evaluate the resistance of an ARX cipher against ... -
Blind search for post-translational modifications and amino acid substitutions using peptide mass fingerprints from two proteases
(Peer reviewed; Journal article, 2008-12-19)Background: Mass spectrometric analysis of peptides is an essential part of protein identification and characterization, the latter meaning the identification of modifications and amino acid substitutions. There are two ... -
Block-Diagonal and LT Codes for Distributed Computing with Straggling Servers
(Peer reviewed; Journal article, 2019-03)We propose two coded schemes for the distributed computing problem of multiplying a matrix by a set of vectors. The first scheme is based on partitioning the matrix into submatrices and applying maximum distance separable ... -
Blockchain as a Technology to Facilitate Privacy and Better Health Record Management
(Master thesis, 2018-09-01)Fear of stigmatization and discrimination from colleagues, friends and family drives patients with various type of mental health problems away from a traditional face-to-face therapy and enforces them to look for an ... -
BlockDiploma – Decentralizing the Norwegian Diploma Registry using Blockchain Technology
(Master thesis, 2020-06-03)Academic diplomas are being falsified and potentially resulting in unqualified individuals getting the job, or a better candidate being bypassed by a forger. Secure and reliable verification mechanisms for academic diplomas ... -
Bounding Algorithms for the Minimum Broadcast Time Problem
(Master thesis, 2024-06-03)The minimum broadcast time problem concerns information dissemination in a graph given a set of initially informed nodes called source nodes. Each informed node can only inform at most one of its neighbors each time step. ... -
Bounds on the nonlinearity of differentially uniform functions by means of their image set size, and on their distance to affine functions
(Journal article; Peer reviewed, 2021)We revisit and take a closer look at a (not so well known) result of a 2017 paper, showing that the differential uniformity of any vectorial function is bounded from below by an expression depending on the size of its image ... -
Building a finite state automaton for physical processes using queries and counterexamples on long short-term memory models
(Master thesis, 2023-06-01)Most neural networks (NN) are commonly used as black-box functions. A network takes an input and produces an output, without the user knowing what rules and system dynamics have produced the specific output. In some ... -
Building a flexible CBT model based on structured data for the COPE app
(Master thesis, 2020-10-07) -
Building large k-cores from sparse graphs
(Journal article; Peer reviewed, 2020)A popular model to measure network stability is the k-core, that is the maximal induced subgraph in which every vertex has degree at least k. For example, k-cores are commonly used to model the unraveling phenomena in ... -
Building large k-cores from sparse graphs
(Journal article; Peer reviewed, 2023)A k-core of a graph G is the maximal induced subgraph in which every vertex has degree at least k. In the Edge k-Core optimization problem, we are given a graph G and integers k, b and p. The task is to ensure that the ... -
Building Trust in Remote Internet Voting
(Master thesis, 2010-05-27)During the past decades, a lot of research has been done to create voting protocols and election systems that facilitate voting via the Internet. Many universities and private organizations are now using such systems for ...