Browsing Department of Informatics by Title
Now showing items 512-531 of 1178
-
Indexed and Fibred Structures for Hoare Logic
(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 ... -
Indexed and fibered structures for partial and total correctness assertions
(Journal article; Peer reviewed, 2022)Hoare Logic has a long tradition in formal verification and has been continuously developed and used to verify a broad class of programs, including sequential, object-oriented, and concurrent programs. Here we focus on ... -
Inferring Gene Expression Values In Causal Directed Acyclic Graphs Using Graph Neural Networks
(Master thesis, 2023-08-21)Inferring gene expression values is helpful in determining important characteristics about an individual. Existing methods in gene expression inference mostly rely on linear meth- ods creating separate models for each gene. ... -
Inferring Required Permissions for Statically Composed Programs
(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 ... -
An infinite family of 0-APN monomials with two parameters
(Journal article; Peer reviewed, 2023)We consider an infinite family of exponents e(l, k) with two parameters, l and k, and derive sufficient conditions for e(l, k) to be 0-APN over F2n . These conditions allow us to generate, for each choice of l and k, an ... -
Insights into translational regulation from ribosome profiling data
(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
(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
(Master thesis, 2002) -
An integrated landscape of protein expression in human cancer
(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
(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 multi-way data-flow constraint systems in spreadsheets
(Master thesis, 2022-06-01)Graphical user interfaces (GUIs) can be found in almost all aspects of our lives. We take a particular interest in spreadsheets in thesis, as they are an essential tool in many professions. Microsoft Excel is a prevalent ... -
Integrating self-collected health data by patients with diabetes in Infodoc
(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 ... -
Integrating Wearable Technology for Enhanced Self-Assessment in Mental Health
(Master thesis, 2023-10-16)Mental health is a critical aspect of overall well-being and affects a large proportion of the world’s population. The first step of identifying possible issues in an individual is often using assessment method such as ... -
Interactive Dynamic Volume Illumination with Refraction and Caustics
(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
(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 ... -
Interactive Multimodal Imaging Visualization for Multiple Sclerosis Lesion Analysis
(Journal article; Peer reviewed, 2021)Multiple Sclerosis (MS) is a brain disease that is diagnosed and monitored extensively through MRI scans. One of the criteria is the appearance of so-called brain lesions. The lesions show up on MRI scans as regions with ... -
Interactive Python Shell for jAliEn
(Master thesis, 2019-11-20)Computing Grids are collections of interconnected computing resources used to solve large computational problems. These resources are used by the ALICE (A Large Ion Collider Experiment) Collaboration, ALICE being one of ... -
Interactive Semantic and Aesthetic Guidance for Multi-View Visualization Design
(Doctoral thesis, 2023-01-09)I det siste har mengden data i omløp blitt stadig større. Det er nyttig å analysere denne dataen ved hjelp av visualisering, men det er også vanskelig for brukere som ikke er eksperter i dette feltet. For å vise mer innblikk ... -
Interactive visual analysis of multi-faceted scientific data
(Doctoral thesis, 2011-05-27)Visualization plays an important role in exploring, analyzing and presenting large and heterogeneous scientific data that arise in many disciplines of medicine, research, engineering, and others. We can see that model and ...