Now showing items 306-325 of 765

    • Improving Interaction in Visual Analytics using Machine Learning 

      Fan, Chaoran (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 

      Tessem, Torbjørn Johnsen (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 

      Eilertsen, Anna Maria (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 

      Labun, Kornel (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 

      Koroleva, Anastasia; Deiwick, Andrea; El-Tamer, Ayman; Koch, Lothar; Shi, Yichen; Estévez-Priego, Estefanía; Ludl, Adriaan-Alexander; Soriano, Jordi; Guseva, Daria; Ponimaskin, Evgeni; Chichkov, Boris (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 ...
    • The Inclusion Problem for Regular Expressions 

      Hovland, Dag (Lecture Notes in Computer Science, Chapter; Peer reviewed, 2010)
      This paper presents a new polynomial-time algorithm for the inclusion problem for certain pairs of regular expressions. The algorithm is not based on construction of finite automata, and can therefore be faster than the ...
    • Incompleteness of the Inference System BNeg 

      Golid, Kjetil Midtgarden (Master thesis, 2016-05-31)
      Any propositional discourse can be represented as a propositional theory in a specific form in such a way that the theory is inconsistent if and only if the discourse is paradoxical. Propositional theories in this form can ...
    • Independent Set on P5-free graphs, an empirical study 

      Haug, Håvard Karim (Master thesis, 2015-11-20)
      We implement the recent polynomial time algorithm for the independent set problem on P5-free graphs, and study the performance of this algorithm on graphs of size up to 50. Our empirical results show that the algorithm is ...
    • The index tracking problem with a limit on portfolio size 

      Mutunge, Purity Kamene (Master thesis, 2014-11-19)
      For a passive fund manager tracking a benchmark, it is not uncommon to select some, and not all the assets in the index to his portfolio. In this thesis, we consider the problem of minimizing the tracking error under the ...
    • Indexed and Fibred Structures for Hoare Logic 

      Wolter, Uwe Egbert; Martini, Alfio; Haeusler, Edward Hermann (Journal article; Peer reviewed, 2020)
      Indexed and fibred categorical concepts are widely used in computer science as models of logical systems and type theories. Here we focus on Hoare logic and show that a comprehensive categorical analysis of its axiomatic ...
    • Inferring Required Permissions for Statically Composed Programs 

      Hasu, Tero; Bagge, Anya Helene; Haveraaen, Magne (Lecture Notes in Computer Science; 8208, Chapter; Peer reviewed, 2013)
      Permission-based security models are common in smartphone operating systems. Such models implement access control for sensitive APIs, introducing an additional concern for application developers. It is important for the ...
    • Insights into translational regulation from ribosome profiling data 

      Chyżyńska, Katarzyna Anna (Doctoral thesis, 2019-10-15)
      Ribosomes carry out protein synthesis from mRNA templates by a highly regulated process called translation. Within the four phases of translation - initiation, elongation, termination and recycling - the focus of translation ...
    • Integer Programming Formulations for the Shared Multicast Tree Problem 

      Ivanova, Marika; Haugland, Dag (Peer reviewed; Journal article, 2019)
      We study the shared multicast tree (SMT) problem in wireless networks. To support a multicast session between a set of network nodes, SMT aims to establish a wireless connection between them, such that the total energy ...
    • Integral Cryptanalysis 

      Moen, Vebjørn (Master thesis, 2002)
    • An integrated landscape of protein expression in human cancer 

      Jarnuczak, Andrew F.; Najgebauer, Hanna; Barzine, Mitra; Kundu, Deepti J.; Zamanzad Ghavidel, Fatemeh; Perez-Riverol, Yasset; Papatheodorou, Irene; Brazma, Alvis; Vizcaíno, Juan Antonio (Journal article; Peer reviewed, 2021)
      Using 11 proteomics datasets, mostly available through the PRIDE database, we assembled a reference expression map for 191 cancer cell lines and 246 clinical tumour samples, across 13 lineages. We found unique peptides ...
    • Integrated Multi-aspect Visualization of 3D Fluid Flows 

      Brambilla, Andrea; Andreassen, Øyvind; Hauser, Helwig (Chapter; Peer reviewed, 2013)
      The motion of a fluid is affected by several intertwined flow aspects. Analyzing one aspect at a time can only yield partial information about the flow behavior. More details can be revealed by studying their interactions. ...
    • Integrating self-collected health data by patients with diabetes in Infodoc 

      Nilsen, Anders Steen (Master thesis, 2018-11)
      NSE’s project Full Flow tries to give diabetes patients data to general practitioners and specialists. A prototype extension that can show this content in Infodocs Electric Health Record (EHR) Plenario has been made. In ...
    • Interactive Dynamic Volume Illumination with Refraction and Caustics 

      Magnus, Jens Gåsemyr (Master thesis, 2017-08-15)
      In recent years, significant progress has been made in developing high-quality interactive methods for realistic volume illumination. However, refraction - despite being an important aspect of light propagation in participating ...
    • Interactive Exploration of Ligand Transportation through Protein Tunnels 

      Furmanova, Katarina; Jaresova, Miroslava; Byska, Jan; Jurcik, Adam; Parulek, Julius; Hauser, Helwig; Kozlikova, Barbora (Peer reviewed; Journal article, 2017-02-15)
      Background: Protein structures and their interaction with ligands have been in the focus of biochemistry and structural biology research for decades. The transportation of ligand into the protein active site is often complex ...