• Computation of Treespan. A Generalization of Bandwidth to Treelike Structures 

      Dregi, Markus Sortland (Master thesis, 2012-06-14)
      Motivated by a search game, Fomin, Heggernes and Telle [Algorithmica, 2005] defined the graph parameter treespan, a generalization of the well studied parameter bandwidth. Treespan is the maximum number of appearances of ...
    • Computational analysis of the evolutionary dynamics of proteins on a genomic scale 

      Hughes, Timothy (Doctoral thesis, 2007-01-16)
      Biology is primarily concerned with the study of all phenotypic aspects of living organisms and evolutionary biology is more specifically interested in elucidating how different phenotypes evolved. Proteins (and RNA ...
    • Computational animal welfare: towards cognitive architecture models of animal sentience, emotion and wellbeing 

      Budaev, Sergei; Kristiansen, Tore S; Giske, Jarl; Eliassen, Sigrunn (Journal article; Peer reviewed, 2020)
      To understand animal wellbeing, we need to consider subjective phenomena and sentience. This is challenging, since these properties are private and cannot be observed directly. Certain motivations, emotions and related ...
    • Computational Applications in Secondary Metabolite Discovery (CAiSMD): an online workshop 

      Ntie-Kang, Fidele; Telukunta, Kiran K.; Fobofou, Serge A. T.; Chukwudi Osamor, Victor; Egieyeh, Samuel A.; Valli, Marilia; Djoumbou-Feunang, Yannick; Sorokina, Maria; Stork, Conrad; Mathai, Neann Sarah; Zierep, Paul; Chávez-Hernández, Ana L.; Duran-Frigola, Miquel; Babiaka, Smith B.; Tematio Fouedjou, Romuald; Eni, Donatus B.; Akame, Simeon; Arreyetta-Bawak, Augustine B.; Ebob, Oyere T.; Metuge, Jonathan A.; Bekono, Boris D.; Isa, Mustafa A.; Onuku, Raphael; Shadrack, Daniel M.; Musyoka, Thommas M.; Patil, Vaishali M.; van der Hooft, Justin J. J.; da Silva Bolzani, Vanderlan; Medina-Franco, José L.; Kirchmair, Johannes; Weber, Tilmann; Tastan Bishop, Özlem; Medema, Marnix H.; Wessjohann, Ludger A.; Ludwig-Müller, Jutta (Journal article; Peer reviewed, 2021-09-06)
      We report the major conclusions of the online open-access workshop “Computational Applications in Secondary Metabolite Discovery (CAiSMD)” that took place from 08 to 10 March 2021. Invited speakers from academia and industry ...
    • Computational complexity aspects of super domination 

      Bujtás, Csilla; Ghanbari, Nima; Klavžar, Sandi (Journal article; Peer reviewed, 2023)
      Let G be a graph. A dominating set D ⊆ V (G) is a super dominating set if for every vertex x ∈ V (G) \ D there exists y ∈ D such that NG (y) ∩ (V (G) \ D)) = {x}. The cardinality of a smallest super dominating set of G is ...
    • Computational fluid dynamics simulations of hydrogen releases and vented deflagrations in large enclosures 

      Lucas, Melodia; Hisken, Helene; Skjold, Trygve (Peer reviewed; Journal article, 2020-01)
      This paper presents model predictions obtained with the CFD tool FLACS for hydrogen releases and vented deflagrations in containers and larger enclosures. The paper consists of two parts. The first part compares experimental ...
    • Computational investigation of 0-APN monomials 

      Nesheim, Kjetil Amundsen (Master thesis, 2022-05-18)
      This thesis is dedicated to exploring methods for deciding whether a power function $F(x) = x^d$ is 0-APN. Any APN function is 0-APN, and so 0-APN-ness is a necessary condition for APN-ness. APN functions are cryptographically ...
    • Computational issues in parameter estimation for hidden Markov models with template model builder 

      Bacri, Timothee Raphael Ferdinand; Berentsen, Geir Drage; Bulla, Jan; Støve, Bård (Journal article; Peer reviewed, 2023)
      A popular way to estimate the parameters of a hidden Markov model (HMM) is direct numerical maximization (DNM) of the (log-)likelihood function. The advantages of employing the TMB [Kristensen K, Nielsen A, Berg C, et al. ...
    • Computational methods and tools to predict cytochrome P450 metabolism for drug discovery 

      Tyzack, Jonathan; Kirchmair, Johannes (Peer reviewed; Journal article, 2019)
      In this review, we present important, recent developments in the computational prediction of cytochrome P450 (CYP) metabolism in the context of drug discovery. We discuss in silico models for the various aspects of CYP ...
    • Computational Science in the 17th Century. Numerical Solution of Algebraic Equations: Digit–by–Digit Computation 

      Steihaug, Trond (Chapter, 2022)
      In this paper we give a complete overview of test–problems by Viète from 1600, Harriot from 1631 and Oughtred from 1647. The original material is not easily accessible due to archaic language and lack of conciseness. Viéte’s ...
    • Computational science in the eighteenth century. Test cases for the methods of Newton, Raphson, and Halley: 1685 to 1745 

      Steihaug, Trond (Peer reviewed; Journal article, 2020)
      This is an overview of examples and problems posed in the late 1600s up to the mid 1700s for the purpose of testing or explaining the two different implementations of the Newton-Raphson method, Newton’s method as described ...
    • Computational search for isotopic semifields and planar functions in characteristic 3 

      Bergmann, Markus Aleksander (Master thesis, 2023-09-01)
      In this thesis, we investigate the possibility of finding new planar functions and corresponding semifields in characteristic 3 by the construction of isotopic semifields from the known families and sporadic instances of ...
    • Computational searches for quadratic APN functions with subfield coefficients 

      Berg, Simon Knotten (Master thesis, 2023-06-01)
      Almost perfect nonlinear (APN) functions are important in fields such as algebra, combinatorics, cryptography, etc. Finding new APN functions is of special importance in cryptography. This is because when used in modern ...
    • Computationally Efficient Methods for Seismic Modeling and Inversion 

      Sarajærvi, Martin (Doctoral thesis, 2020-11-18)
      This thesis presents new methods for the modeling of seismic waveforms based on ray theory and ray-Born integrals. The waveforms are used in forward modeling, imaging and full waveform inversion and are computed in 3D ...
    • Computer-aided proofs and algorithms in analysis 

      Bartha, Ferenc A. (Doctoral thesis, 2013-06-14)
      The computational power has increased dramatically since the appearance of the first computers, making them a vital tool in the analysis of dynamical systems. We present further applications of those two basic ideas, namely ...
    • Computer-Bridge 

      Langedal, Kenneth; Løland, Markus (2020-06-17)
    • Computing Connected Components on Multiple GPUs 

      Hellås, Yngve (Master thesis, 2018-12-19)
      We look at multiple GPU programming, using the connected components algorithm as the basis when we look into libraries and runtime environment for multiple GPU programming. We also show that Rem is a fast parallel algorithm, ...
    • Computing cutwidth and pathwidth of semi-complete digraphs via degree orderings 

      Pilipczuk, Michal Pawel (Peer reviewed; Journal article, 2013)
      The notions of cutwidth and pathwidth of digraphs play a central role in the containment theory for tournaments, or more generally semi-complete digraphs, developed in a recent series of papers by Chudnovsky, Fradkin, Kim, ...
    • Computing minimal triangulation in Time o(n^2.376) 

      Heggernes, Pinar; Telle, Jan Arne; Villanger, Yngve (Journal article, 2005)
    • Computing the distance to continuous-time instability of quadratic matrix polynomials 

      Malyshev, Alexander; Sadkane, Miloud (Journal article; Peer reviewed, 2020)
      A bisection method is used to compute lower and upper bounds on the distance from a quadratic matrix polynomial to the set of quadratic matrix polynomials having an eigenvalue on the imaginary axis. Each bisection step ...