• Proofs, Types and Lambda Calculus - datasets 

      Polonsky, Andrew (Data set, 2012-02-28)
    • Proposing an MILP-based method for the experimental verification of difference-based trails: application to SPECK, SIMECK 

      Sadeghi, Sadegh; Rijmen, Vincent Stefaan; Bagheri, Nasour (Journal article; Peer reviewed, 2021)
      Searching for the right pairs of inputs in difference-based distinguishers is an important task for the experimental verification of the distinguishers in symmetric-key ciphers. In this paper, we develop an MILP-based ...
    • Protease-dependent fractional mass and peptide properties 

      Barsnes, Harald; Eidhammer, Ingvar; Cruciani, Véronique; Mikalsen, Svein-Ole (Peer reviewed; Journal article, 2008-09-22)
      Mass spectrometric analyses of peptides mainly rely on cleavage of proteins with proteases that have a defined specificity. The specificities of the proteases imply that there is not a random distribution of amino acids ...
    • The Proteomics Identifications database: 2010 update 

      Vizcaíno, Juan Antonio; Côté, Richard G.; Reisinger, Florian; Barsnes, Harald; Foster, JM; Rameseder, Jonathan; Hermjakob, Henning; Martens, Lennart (Peer reviewed; Journal article, 2009-11-11)
      The Proteomics Identifications database (PRIDE, http://www.ebi.ac.uk/pride) at the European Bioinformatics Institute has become one of the main repositories of mass spectrometry-derived proteomics data. For the last 2 ...
    • Prototyping and Evaluation of an Event-Driven Microservice Architecture for Tunnel Control Systems 

      Halvorsen, Simon Indrebø; Follo, Øystein Hegglid (Master thesis, 2019-11-20)
    • QALM - a tool for automating quantitative analysis of LC-MS-MS/MS data 

      Lerøy, Kjartan (Master thesis, 2010-05-31)
      The goal of bioinformatics is to support science and research in the field of biology through the application of information technology. Proteomics is a field within biology that deals with the study of proteins. This paper ...
    • Quantitative Externalization of Visual Data Analysis Results Using Local Regression Models 

      Matkovic, Kresimir; Abraham, Hrvoje; Jelovic, Mario; Hauser, Helwig (Journal article; Peer reviewed, 2017)
      Both interactive visualization and computational analysis methods are useful for data studies and an integration of both approaches is promising to successfully combine the benefits of both methodologies. In interactive ...
    • Quantitative transcriptomics, and lipidomics in evaluating ovarian developmental effects in Atlantic cod (Gadus morhua) caged at a capped marine waste disposal site 

      Khan, Essa Ahsan; Zhang, Xiaokang; Hanna, Eileen Marie; Bartosova, Zdenka; Yadetie, Fekadu; Jonassen, Inge; Goksøyr, Anders; Arukwe, Augustine (Journal article; Peer reviewed, 2020)
      In the present study, a previously capped waste disposal site at Kollevåg (Norway) was selected to study the effects of contaminant leakage on biomarkers associated with Atlantic cod (Gadus morhua) reproductive endocrinology ...
    • Quantum social networks 

      Cabello, Adán; Danielsen, Lars Eirik; López-Tarrida, Antonio J.; Portillo, José R. (Peer reviewed; Journal article, 2012-06-27)
      We introduce a physical approach to social networks (SNs) in which each actor is characterized by a yes–no test on a physical system. This allows us to consider SNs beyond those originated by interactions based on pre-existing ...
    • Quick but odd growth of cacti 

      Kolay, Sudeshna; Lokshtanov, Daniel; Panolan, Fahad; Saurabh, Saket (Peer reviewed; Journal article, 2015)
      Let F be a family of graphs. Given an input graph G and a positive integer k, testing whether G has a k-sized subset of vertices S, such that G\S belongs to F, is a prototype vertex deletion problem. These type of problems ...
    • Quick separation in chordal and split graphs 

      Misra, Pranabendu; Panolan, Fahad; Rai, Ashutosh; Saurabh, Saket; Sharma, Roohani (Journal article; Peer reviewed, 2020)
      In this paper we study two classical cut problems, namely Multicut and Multiway Cut on chordal graphs and split graphs. In the Multicut problem, the input is a graph G, a collection of 𝓁 vertex pairs (si, ti), i ∈ [𝓁], ...
    • Randomised Construction and Dynamic Decoding of LDPC Codes 

      Knudsen, Joakim Grahl (Master thesis, 2005-11-30)
    • Rank vertex cover as a natural problem for algebraic compression 

      Meesum, Syed Mohammad; Panolan, Fahad; Saurabh, Saket; Zehavi, Meirav (Journal article; Peer reviewed, 2019)
      The question of the existence of a polynomial kernelization of the Vertex Cover Above LP problem was a long-standing, notorious open problem in parameterized complexity. Some years ago, the breakthrough work by Kratsch and ...
    • Rapid genome editing by CRISPR-Cas9-POLD3 fusion 

      Reint, Ganna; Li, Zhuokun; Labun, Kornel; Keskitalo, Salla; Soppa, Inkeri; Mamia, Katariina Aino Inkeri; Tolo, Eero; Szymanska, Monika; Meza-Zepeda, Leonardo A.; Lorenz, Susanne; Cieslar-Pobuda, Artur Grzegorz; Hu, Xian; Bodin, Diana L; Staerk, Judith; Valen, Eivind Dale; Schmierer, Bernhard; Varjosalo, Markku; Taipale, Jussi; Haapaniemi, Emma Maria (Journal article; Peer reviewed, 2021)
      Precision CRISPR gene editing relies on the cellular homology-directed DNA repair (HDR) to introduce custom DNA sequences to target sites. The HDR editing efficiency varies between cell types and genomic sites, and the ...
    • RASflow: an RNA-Seq analysis workflow with Snakemake 

      Zhang, Xiaokang; Jonassen, Inge (Journal article; Peer reviewed, 2020)
      Background With the cost of DNA sequencing decreasing, increasing amounts of RNA-Seq data are being generated giving novel insight into gene expression and regulation. Prior to analysis of gene expression, the RNA-Seq ...
    • Rate and power allocation for discrete-rate link adaptation 

      Gjendemsjø, Anders; Øien, Geir Egil; Holm, Henrik; Alouini, Mohamed-Slim; Gesbert, David; Hole, Kjell Jørgen; Orten, Pål (Peer reviewed; Journal article, 2008-01-09)
      Link adaptation, in particular adaptive coded modulation (ACM), is a promising tool for bandwidth-efficient transmission in a fading environment. The main motivation behind employing ACM schemes is to improve the spectral ...
    • (Re)packing Equal Disks into Rectangle 

      Fomin, Fedor; Golovach, Petr; Inamdar, Tanmay Nitin; Zehavi, Meirav (Journal article; Peer reviewed, 2022)
      The problem of packing of equal disks (or circles) into a rectangle is a fundamental geometric problem. (By a packing here we mean an arrangement of disks in a rectangle without overlapping.) We consider the following ...
    • ReCodLiver0.9: Overcoming Challenges in Genome-Scale Metabolic Reconstruction of a Non-model Species 

      Hanna, Eileen Marie; Zhang, Xiaokang; Eide, Marta; Fallahi, Shirin; Furmanek, Tomasz; Yadetie, Fekadu; Zielinski, Daniel Craig; Goksøyr, Anders; Jonassen, Inge (Journal article; Peer reviewed, 2020-11)
      The availability of genome sequences, annotations, and knowledge of the biochemistry underlying metabolic transformations has led to the generation of metabolic network reconstructions for a wide range of organisms in ...
    • Recognizing Proper Tree-Graphs 

      Chaplick, Steven; Golovach, Petr; Hartmann, Tim; Knop, Dusan (Journal article; Peer reviewed, 2020)
      We investigate the parameterized complexity of the recognition problem for the proper H-graphs. The H-graphs are the intersection graphs of connected subgraphs of a subdivision of a multigraph H, and the properness means ...
    • Recommendations for Identifying Valid Wear for Consumer-Level Wrist-Worn Activity Trackers and Acceptability of Extended Device Deployment in Children 

      Wing, David; Godino, Job G.; Baker, Fiona C.; Yang, Rongguang; Chevance, Guillaume; Thompson, Wesley Kurt; Reuter, Chase; Bartsch, Hauke; Wilbur, Aimee; Straub, Lisa K.; Castro, Norma; Higgins, Michael; Colrain, Ian M.; de Zambotti, Massimiliano; Wade, Natasha E.; Lisdahl, Krista M.; Squeglia, Lindsay M.; Ortigara, Joseph; Fuemmeler, Bernard; Patrick, Kevin; Mason, Michael J.; Tapert, Susan F.; Bagot, Kara S. (Journal article; Peer reviewed, 2022)
      Background: Self-reported physical activity is often inaccurate. Wearable devices utilizing multiple sensors are now widespread. The aim of this study was to determine acceptability of Fitbit Charge HR for children and ...