• Learning Possibilistic Logic Theories 

      Persia, Cosimo Damiano (Doctoral thesis, 2023-03-15)
      Vi tar opp problemet med å lære tolkbare maskinlæringsmodeller fra usikker og manglende informasjon. Vi utvikler først en ny dyplæringsarkitektur, RIDDLE: Rule InDuction with Deep LEarning (regelinduksjon med dyp læring), ...
    • Interactive Semantic and Aesthetic Guidance for Multi-View Visualization Design 

      Kristiansen, Yngve Sekse (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 ...
    • On the strong dominating sets of graphs 

      Zaherifar, Hassan; Alikhani, Saeid; Ghanbari, Nima (Journal article, 2023)
    • Total dominator chromatic number of k-subdivision of graphs 

      Alikhani, Saeid; Ghanbari, Nima; Soltani, Samaneh (Journal article, 2023)
      Let G be a simple graph. A total dominator coloring of G, is a proper coloring of the vertices of G in which each vertex of the graph is adjacent to every vertex of some color class. The total dominator chromatic (TDC) ...
    • The timing of pregnancies after bariatric surgery has no impact on children’s health—a nationwide population-based registry analysis 

      Beiglböck, Hannes; Mörth, Eric; Reichardt, Berthold; Stamm, Tanja; Itariu, Bianca; Harreiter, Jürgen; Eichelter, Jakob; Prager, Gerhard; Kautzky-Willer, Alexandra; Wolf, Peter; Krebs, Michael (Journal article; Peer reviewed, 2023)
      Purpose Bariatric surgery has a favorable effect on fertility in women. However, due to a lack of data regarding children’s outcomes, the ideal time for conception following bariatric surgery is unknown. Current guidelines ...
    • Gold functions and switched cube functions are not 0-extendable in dimension n > 5 

      Beierle, Christof; Carlet, Claude Michael (Journal article; Peer reviewed, 2023)
      In the independent works by Kalgin and Idrisova and by Beierle, Leander and Perrin, it was observed that the Gold APN functions over \(\mathbb {F}_{2^5}\) give rise to a quadratic APN function in dimension 6 having maximum ...
    • Simplicity conditions for binary orthogonal arrays 

      Carlet, Claude Michael; Kiss, Rebeka; Nagy, Gábor P. (Journal article; Peer reviewed, 2023)
      It is known that correlation-immune (CI) Boolean functions used in the framework of side channel attacks need to have low Hamming weights. The supports of CI functions are (equivalently) simple orthogonal arrays, when their ...
    • Composition of multilevel domain-specific modelling languages 

      Rodríguez, Alejandro; Macias Gomez de Villar, Fernando; Durán, Francisco; Rutle, Adrian; Wolter, Uwe Egbert (Journal article; Peer reviewed, 2023)
      Multilevel Modelling (MLM) approaches make it possible for designers and modellers to work with an unlimited number of abstraction levels to specify their domain-specific modelling languages (DSMLs). To fully exploit MLM ...
    • Interactive Visual Analysis of Structure-borne Noise Data 

      Splechtna, Rainer; Gračanin, Denis; Todorović, Goran; Goja, Stanislav; Bedić, Boris; Hauser, Helwig; Matković, Krešimir (Journal article; Peer reviewed, 2023)
      Numerical simulation has become omnipresent in the automotive domain, posing new challenges such as high-dimensional parameter spaces and large as well as incomplete and multi-faceted data. In this design study, we show ...
    • sMolBoxes: Dataflow Model for Molecular Dynamics Exploration 

      Ulbrich, Pavol; Waldner, Manuela; Furmanová, Katarína; Marques, Sergio M.; Bednář, David; Kozlíková, Barbora; Byska, Jan (Journal article; Peer reviewed, 2023)
      We present sMolBoxes, a dataflow representation for the exploration and analysis of long molecular dynamics (MD) simulations. When MD simulations reach millions of snapshots, a frame-by-frame observation is not feasible ...
    • A survey of parameterized algorithms and the complexity of edge modification 

      Crespelle, Christophe; Drange, Pål Grønås; Fomin, Fedor; Golovach, Petr (Journal article; Peer reviewed, 2023)
      The survey is a comprehensive overview of the developing area of parameterized algorithms for graph modification problems. It describes state of the art in kernelization, subexponential algorithms, and parameterized ...
    • A general deep reinforcement learning hyperheuristic framework for solving combinatorial optimization problems 

      Kallestad, Jakob Vigerust; Hasibi, Ramin; Hemmati, Ahmad; Sörensen, Kenneth (Journal article; Peer reviewed, 2023)
      Many problem-specific heuristic frameworks have been developed to solve combinatorial optimization problems, but these frameworks do not generalize well to other problem domains. Metaheuristic frameworks aim to be more ...
    • Strongly Stable Stationary Points for a Class of Generalized Equations 

      Günzel, Harald; Hernandez Escobar, Daniel; Rückmann, Jan-Joachim (Journal article; Peer reviewed, 2023)
      In this paper we consider a generalized equation that is mainly characterized by a cone-valued mapping. It is well known that optimality conditions for different classes of optimization problems can be formulated as such ...
    • Structural Operational Semantics for Heterogeneously Typed Coalgebras 

      König, Harald; Wolter, Uwe Egbert; Kräuter, Tim Oliver (Journal article; Peer reviewed, 2023)
      Concurrently interacting components of a modular software architecture are heterogeneously structured behavioural models. We consider them as coalgebras based on different endofunctors. We formalize the composition of these ...
    • Lossy Kernelization of Same-Size Clustering 

      Bandyapadhyay, Sayan; Fomin, Fedor; Golovach, Petr; Purohit, Nidhi; Simonov, Kirill (Journal article; Peer reviewed, 2023)
      In this work, we study the k-median clustering problem with an additional equal-size constraint on the clusters from the perspective of parameterized preprocessing. Our main result is the first lossy (2-approximate) ...
    • Plasma cortisol linked gene networks in hepatic and adipose tissues implicate corticosteroid binding globulin in modulating tissue glucocorticoid action and cardiovascular risk 

      Bankier, Sean Alexander; Michoel, Tom (Journal article; Peer reviewed, 2023)
      Genome-wide association meta-analysis (GWAMA) by the Cortisol Network (CORNET) consortium identified genetic variants spanning the SERPINA6/SERPINA1 locus on chromosome 14 associated with morning plasma cortisol, cardiovascular ...
    • An adaptive heuristic for Feeder Network Design with optional transshipment 

      Bergmann, Morten; Msakni, Mohamed Kais; Hemmati, Ahmad; Fagerholt, Kjetil (Journal article; Peer reviewed, 2023)
      This paper studies the Feeder Network Design Problem (FNDP), which considers the design of a minimum cost liner shipping network for the transportation of cargo (containers) between a given hub port and a set of feeder ...
    • An infinite family of 0-APN monomials with two parameters 

      Kaleyski, Nikolay Stoyanov; Nesheim, Kjetil Amundsen; Stănică, Pantelimon (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 ...
    • Cystatin C is glucocorticoid responsive, directs recruitment of Trem2+ macrophages, and predicts failure of cancer immunotherapy 

      Kleeman, Sam O.; Thakir, Tuba Mansoor; Demestichas, Breanna; Mourikis, Nicholas; Loiero, Dominik; Ferrer, Miriam; Bankier, Sean; Riazat-Kesh, Yosef J.R.A.; Lee, Hassal; Chantzichristos, Dimitrios; Regan, Claire; Preall, Jonathan; Sinha, Sarthak; Rosin, Nicole; Yipp, Bryan; de Almeida, Luiz G.N.; Biernaskie, Jeff; Dufour, Antoine; Tober-Lau, Pinkus; Ruusalepp, Arno; Bjorkegren, Johan L.M.; Ralser, Markus; Kurth, Florian; Demichev, Vadim; Heywood, Todd; Gao, Qing; Johannsson, Gudmundur; Koelzer, Viktor H.; Walker, Brian R.; Meyer, Hannah V.; Janowitz, Tobias (Journal article; Peer reviewed, 2023)
      Cystatin C (CyC), a secreted cysteine protease inhibitor, has unclear biological functions. Many patients exhibit elevated plasma CyC levels, particularly during glucocorticoid (GC) treatment. This study links GCs with ...
    • Algebraic Reasoning About Timeliness 

      Haeri, Seyed Hossein; Thompson, Peter W; Van Roy, Peter; Haveraaen, Magne; Davies, Neil J; Barash, Mikhail; Hammond, Kevin; Chapman, James (Journal article; Peer reviewed, 2023)
      Designing distributed systems to have predictable performance under high load is difficult because of resource exhaustion, non-linearity, and stochastic behaviour. Timeliness, i.e., delivering results within defined time ...