Now showing items 348-367 of 1112

    • Exploring graph parameters similar to tree-width and path-width 

      Nordstrand, Joakim Alme (Master thesis, 2017-07-04)
      In a recent paper appearing at IPEC 2015, ”Maximum matching width: new characterization and fast algorithms for dominating set” [12], three similar treelike parameters, tree-width, branch-width and maximum matching-width, ...
    • Exploring Hardware Agnostic Multiarrays in Magnolia 

      Larnøy, Marius Kleppe (Master thesis, 2022-06-01)
      We present a specification and implementation of a generic multiarray API based on A Mathematics of Arrays in the general purpose research language Magnolia. We show how we can lift the reasoning on arrays to a more abstract ...
    • Exploring Microservice Security 

      Yarygina, Tetiana (Doctoral thesis, 2018-10-10)
      Due to rapid transitioning towards digitalized society and extended reliance on interconnected digital systems, computer security is a field of growing importance. Software that we build should be secure, resilient and ...
    • Exploring MultiPath TCP Through Discrete Event Simulation 

      Hexeberg, Henrik Libeck (Master thesis, 2021-06-01)
      Global internet usage is rapidly becoming more mobile. Devices are, as a consequence, equipped with multiple network interfaces to meet the demand for mobility. With the emergence of 5G-technology, this trend will most ...
    • Exploring Multiway Dataflow Constraint Systems for programming Robotic Autonomous Systems 

      Juvik, Lars Oddne Ramstad (Master thesis, 2023-06-01)
      Denne avhandlingen utforsker programmering av robot-systemer ved hjelp av en programmeringsmodell som heter Multiway Dataflow Constraint Systems.
    • Exploring Subexponential Parameterized Complexity of Completion Problems 

      Drange, Pål Grønås; Fomin, Fedor; Pilipczuk, Michal Pawel; Villanger, Yngve (Peer reviewed; Journal article, 2014-02-19)
      Let F be a family of graphs. In the F-Completion problem, we are given an n-vertex graph G and an integer k as input, and asked whether at most k edges can be added to G so that the resulting graph does not contain a graph ...
    • Exploring the evolution of protein function in Archaea 

      Goncearenco, Alexander; Berezovsky, Igor N. (Peer reviewed; Journal article, 2012-05-30)
      Background: Despite recent progress in studies of the evolution of protein function, the questions what were the first functional protein domains and what were their basic building blocks remain unresolved. Previously, we ...
    • Exploring the potential of citizen science for de novo sequencing of MS/MS spectra 

      Eriksen, Ingrid Regine Liabakk (Master thesis, 2022-06-15)
      Proteomics is the large-scale study of the function and structure of proteins expressed in a given sample. It generally uses mass spectrometry-based technologies to detect and identify changes in the proteome. One of the ...
    • Exploring Ways of Creating an AI Drawing Assistant 

      Wergeland, Christian Mehl (Master thesis, 2022-07-01)
      Making a digital drawing assistant is a complicated problem for the simple reason that we are trying to make a computer program understand and create something that are as abstract as a drawing. Thus, there have been many ...
    • Exponential time algorithms: Structures, measures, and bounds 

      Gaspers, Serge (Doctoral thesis, 2008-12-05)
      This thesis studies exponential time algorithms, more precisely, algorithms exactly solving problems for which no polynomial time algorithm is known and likely to exist. Interested in worst–case upper bounds on the running ...
    • Expressing Unknown Instance Relations in Program Synthesis using Neurosymbolic Methods 

      Bolland, Sondre (Master thesis, 2021-10-04)
      Program synthesis is the task of automatically constructing a program given a high level specification. An instance of this is Inductive Logic Programming (ILP) were discrete methods are used to construct a logic program ...
    • Expressive Visualization and Rapid Interpretation of Seismic Volumes 

      Patel, Daniel (Doctoral thesis, 2009-10-27)
      One of the most important resources in the world today is energy. Oil and gas provide two thirds of the world energy consumption, making the world completely dependent on it. Locating and recovering the remaining oil and ...
    • Extending balance assessment for the generalized propensity score under multiple imputation 

      Frank, Anna-Simone; Matteson, David S.; Solvang, Hiroko Kato; Lupattelli, Angela; Nordeng, Hedvig Marie Egeland (Journal article; Peer reviewed, 2020)
      This manuscript extends the definition of the Absolute Standardized Mean Difference (ASMD) for binary exposure (M = 2) to cases for M > 2 on multiple imputed data sets. The Maximal Maximized Standardized Difference (MMSD) ...
    • Extensions in graph normal form 

      Walicki, Michal (Journal article; Peer reviewed, 2022)
      Graph normal form, introduced earlier for propositional logic, is shown to be a normal form also for first-order logic. It allows to view syntax of theories as digraphs, while their semantics as kernels of these digraphs. ...
    • Extensive intraspecies cryptic variation in an ancient embryonic gene regulatory network 

      Torres Cleuren, Yamila Nicole; Ewe, Chee Kiang; Chipman, Kyle C; Mears, Emily R; Wood, Cricket G; Al-Alami, Coco Emma Alma; Alcorn, Melissa R; Turner, Thomas L; Joshi, Pradeep M; Snell, Russell G; Rothman, Joel H (Peer reviewed; Journal article, 2019-08-15)
      Innovations in metazoan development arise from evolutionary modification of gene regulatory networks (GRNs). We report widespread cryptic variation in the requirement for two key regulatory inputs, SKN-1/Nrf2 and MOM-2/Wnt, ...
    • Extracting Rules from Neural Networks with Partial Interpretations 

      Persia, Cosimo Damiano; Ozaki, Ana (Journal article; Peer reviewed, 2022)
      We investigate the problem of extracting rules, expressed in Horn logic, from neural network models. Our work is based on the exact learning model, in which a learner interacts with a teacher (the neural network model) via ...
    • Facilitating Dynamic Assessment of Psychological Interventions 

      Wisnes, Roger (Master thesis, 2021-07-16)
      The mental healthcare system requires an improvement in patient accessibility and a decrease in resource dependency. Internet-Delivered Psychological Treatment (IDPT) is a tool with a documented positive effect to bring ...
    • Facilitating Extended Reality in Museums through a Web-Based Application 

      Kvalvaag, Theodor Norill; Fardal, Sindre Stolberg (Master thesis, 2023-06-01)
    • FAIR+E pathogen data for surveillance and research: lessons from COVID-19 

      Neves, Aitana; Cuesta, Isabel; Hjerde, Erik; Klemetsen, Terje; Salgado, David; van Helden, Jacques; Rahman, Nadim; Fatima, Nazeefa; Karathanasis, Nestoras; Zmora, Pawel; Åkerström, Wolmar Nyberg; Grellscheid, Sushma Nagaraja; Waheed, Zahra; Blomberg, Niklas (Journal article; Peer reviewed, 2023)
      The COVID-19 pandemic has exemplified the importance of interoperable and equitable data sharing for global surveillance and to support research. While many challenges could be overcome, at least in some countries, many ...
    • Fast biclustering by dual parameterization 

      Drange, Pål Grønås; Reidl, Felix; Villaamil, Fernando Sánchez; Sikdar, Somnath (Peer reviewed; Journal article, 2015)
      We study two clustering problems, Starforest Editing, the problem of adding and deleting edges to obtain a disjoint union of stars, and the generalization Bicluster Editing. We show that, in addition to being NP-hard, none ...