Browsing Department of Informatics by Document Types "Peer reviewed"
Now showing items 41-60 of 546
-
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 ... -
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 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 ... -
Caligus rogercresseyi acetylcholinesterase types and variants: a potential marker for organophosphate resistance
(Peer reviewed; Journal article, 2018-10-30)Background Control of the sea louse Caligus rogercresseyi in the Chilean salmonid industry is reliant on chemical treatments. Azamethiphos was introduced in 2013, although other organophosphates were previously used. In ... -
Can Romeo and Juliet meet? Or rendezvous games with adversaries on graphs
(Journal article; Peer reviewed, 2023)We introduce the rendezvous game with adversaries. In this game, two players, Facilitator and Divider, play against each other on a graph. Facilitator has two agents and Divider has a team of k agents located in some ... -
Causal inference in drug discovery and development
(Journal article; Peer reviewed, 2023)To discover new drugs is to seek and to prove causality. As an emerging approach leveraging human knowledge and creativity, data, and machine intelligence, causal inference holds the promise of reducing cognitive bias and ... -
CCZ-equivalence of bent vectorial functions and related constructions
(Peer reviewed; Journal article, 2011-01-06)We observe that the CCZ-equivalence of bent vectorial functions over F2nFn2 (n even) reduces to their EA-equivalence. Then we show that in spite of this fact, CCZ-equivalence can be used for constructing bent functions ... -
Changes in the gene expression profile during spontaneous migraine attacks
(Journal article; Peer reviewed, 2021)Migraine attacks are delimited, allowing investigation of changes during and outside attack. Gene expression fluctuates according to environmental and endogenous events and therefore, we hypothesized that changes in RNA ... -
Characteristics of 454 pyrosequencing data—enabling realistic simulation with flowsim
(Peer reviewed; Journal article, 2010)Motivation: The commercial launch of 454 pyrosequencing in 2005was a milestone in genome sequencing in terms of performance and cost. Throughout the three available releases, average read lengths have increased to ∼500 ... -
CHOPCHOP v2: a web tool for the next generation of CRISPR genome engineering
(Journal article; Peer reviewed, 2016)In just 3 years CRISPR genome editing has transformed biology, and its popularity and potency continue to grow. New CRISPR effectors and rules for locating optimum targets continue to be reported, highlighting the need for ... -
CHOPCHOP v3: expanding the CRISPR web toolbox beyond genome editing
(Peer reviewed; Journal article, 2019-07-02)The CRISPR–Cas system is a powerful genome editing tool that functions in a diverse array of organisms and cell types. The technology was initially developed to induce targeted mutations in DNA, but CRISPR–Cas has now been ... -
Chromatin accessibility established by Pou5f3, Sox19b and Nanog primes genes for activity during zebrafish genome activation
(Journal article; Peer reviewed, 2020-01)In many organisms, early embryonic development is driven by maternally provided factors until the controlled onset of transcription during zygotic genome activation. The regulation of chromatin accessibility and its ... -
Chromatin and epigenetic features of long-range gene regulation
(Peer reviewed; Journal article, 2013-06-13)The precise regulation of gene transcription during metazoan development is controlled by a complex system of interactions between transcription factors, histone modifications and modifying enzymes and chromatin conformation. ... -
Classes of Intersection Digraphs with Good Algorithmic Properties
(Journal article; Peer reviewed, 2022)While intersection graphs play a central role in the algorithmic analysis of hard problems on undirected graphs, the role of intersection digraphs in algorithms is much less understood. We present several contributions ... -
Classes of intersection digraphs with good algorithmic properties
(Journal article; Peer reviewed, 2023)While intersection graphs play a central role in the algorithmic analysis of hard problems on undirected graphs, the role of intersection digraphs in algorithms is much less understood. We present several contributions ... -
Classification of quadratic APN functions with coefficients in F2 for dimensions up to 9
(Journal article; Peer reviewed, 2020)Almost perfect nonlinear (APN) and almost bent (AB) functions are integral components of modern block ciphers and play a fundamental role in symmetric cryptography. In this paper, we describe a procedure for searching for ... -
Classifying and Measuring Student Problems and Misconceptions
(Norsk informatikkonferanse, Chapter; Peer reviewed, 2013)In this paper we report on an attempt to classify student problems and mistakes, and measuring the frequency of particular problems in a firstsemester programming course. We also propose a scheme for annotating student ... -
Close Relatives of Feedback Vertex Set Without Single-Exponential Algorithms Parameterized by Treewidth
(Journal article; Peer reviewed, 2020)The Cut & Count technique and the rank-based approach have lead to single-exponential FPT algorithms parameterized by treewidth, that is, running in time 2^𝒪(tw)n^𝒪(1), for Feedback Vertex Set and connected versions of ...