Now showing items 6451-6470 of 9857

    • On generalized algebraic theories and categories with families 

      Bezem, Marc; Coquand, Thierry; Dybjer, Peter; Escardo, Martin (Journal article; Peer reviewed, 2021)
      We give a syntax independent formulation of finitely presented generalized algebraic theories as initial objects in categories of categories with families (cwfs) with extra structure. To this end, we simultaneously define ...
    • On giant shoulders: how a seamount affects the microbialcommunity composition of seawater and sponges 

      Busch, Kathrin; Hanz, Ulrike; Mienis, Furu; Mueller, Benjamin; Franke, Andre; Roberts, Emyr Martyn Tomas; Rapp, Hans Tore; Hentschel, Ute (Journal article; Peer reviewed, 2020)
      Seamounts represent ideal systems to study the influence and interdependency of environmental gradients at a single geographic location. These topographic features represent a prominent habitat for various forms of life, ...
    • On how the power supply shapes microbial survival 

      Diego Castro, David; Hannisdal, Bjarte; Dahle, Håkon (Journal article; Peer reviewed, 2021)
      Understanding how environmental factors affect microbial survival is an important open problem in microbial ecology. Patterns of microbial community structure have been characterized across a wide range of different ...
    • On interpolation-based decoding of a class of maximum rank distance codes 

      Kadir, Wrya Karim Kadir; Li, Chunlei; Zullo, Ferdinando (Journal article; Peer reviewed, 2021)
      In this paper we present an interpolation-based decoding algorithm to decode a family of maximum rank distance codes proposed recently by Trombetti and Zhou. We employ the properties of the Dickson matrix associated with ...
    • On KDE-based brushing in scatterplots and how it compares to CNN-based brushing 

      Fan, Chaoran; Hauser, Helwig (Chapter, 2019)
      In this paper, we investigate to which degree the human should be involved into the model design and how good the empirical model can be with more careful design. To find out, we extended our previously published Mahalanobis ...
    • On moduli spaces of polarized Enriques surfaces 

      Knutsen, Andreas Leopold (Journal article; Peer reviewed, 2020)
      We prove that, for any g≥2, the étale double cover ρg:Eg→̂Eg from the moduli space Egof complex polarized genus g Enriques surfaces to the moduli space ̂Egof numerically polarized genus g Enriques surfaces is disconnected ...
    • On Neural Associative Memory Structures: Storage and Retrieval of Sequences in a Chain of Tournaments 

      Abolpour Mofrad, Asieh; Abolpour Mofrad, Samaneh; Yazidi, Anis; Parker, Matthew Geoffrey (Journal article; Peer reviewed, 2021)
      Associative memories enjoy many interesting properties in terms of error correction capabilities, robustness to noise, storage capacity, and retrieval performance, and their usage spans over a large set of applications. ...
    • On Perturbation Resilience of Non-uniform k-Center 

      Bandyapadhyay, Sayan (Journal article; Peer reviewed, 2021)
      The Non-Uniform k-center (NUkC) problem has recently been formulated by Chakrabarty et al. [ICALP, 2016; ACM Trans Algorithms 16(4):46:1–46:19, 2020] as a generalization of the classical k-center clustering problem. In ...
    • On properties of translation groups in the affine general linear group with applications to cryptography 

      Calderini, Marco; Civino, Roberto; Sala, Massimiliano (Journal article; Peer reviewed, 2021)
      The affine general linear group acting on a vector space over a prime field is a well-understood mathematical object. Its elementary abelian regular subgroups have recently drawn attention in applied mathematics thanks to ...
    • On shared use of renewable stocks 

      Ekerhovd, Nils-Arne; Flåm, Sjur Didrik; Steinshamn, Stein Ivar (Journal article; Peer reviewed, 2020)
      Considered here is multi-party exploitation of common property, renewable resources. The parties play various dynamic games differing in degree of cooperation and commitment. Comparisons of steady states clarify issues on ...
    • On Stochastic Reduced-Order and LES-based Models of Offshore Wind Turbine Wakes 

      Bakhoday Paskyabi, Mostafa; Krutova, Maria; Nielsen, Finn Gunnar; Reuder, Joachim; Guernaoui, O. EL. (Journal article; Peer reviewed, 2020)
      In this paper, the primary objective is to investigate flow structures in the wake of wind turbines based on applying a truncated Proper Orthogonal Decomposition (POD) approach. This scheme decomposes the three-dimensional ...
    • On Supergraphs Satisfying CMSO Properties 

      Oliveira, Mateus De Oliveira (Journal article; Peer reviewed, 2021)
      Let CMSO denote the counting monadic second order logic of graphs. We give a constructive proof that for some computable function f, there is an algorithm A that takes as input a CMSO sentence φ, a positive integer t, and ...
    • On the (un)doing of anthropology and secularity, and its relevance for religious studies 

      Tafjord, Bjørn Ola (Journal article; Peer reviewed, 2021)
      This essay is a response to the inquiries and discussions of ‘anthropology’s secular conditioning’ that Khaled Furani, Joel Robbins, Jonathan Boyarin, Matthew Engelke, Richard Handler, Elayne Oliphant, and Eduardo Dullo ...
    • On the accuracy and spatial sampling of finite-difference modelling in discontinuous models 

      Tschache, Saskia; Vinje, Vetle; Iversen, Einar (Journal article; Peer reviewed, 2022)
      Finite-difference modelling estimates the wavefield in the subsurface by solving the elastic or acoustic wave equation numerically in a discrete version of the subsurface. The derivatives in the wave equation are approximated ...
    • On the accuracy of an interdigital electrostatic position sensor 

      Helseth, Lars Egil (Journal article; Peer reviewed, 2020)
      In this work the induced voltage in an interdigital electrode when swept by a finite, triboelectrically charged dielectric surface is investigated. Finite element modelling fits well with the measured voltage as a function ...
    • On the Anatomy of Health-related Actions for Which People Could Reasonably be Held Responsible: A Framework 

      Bærøe, Kristine; Albertsen, Andreas; Cappelen, Cornelius Wright (Journal article; Peer reviewed, 2023)
      Should we let personal responsibility for health-related behavior influence the allocation of healthcare resources? In this paper, we clarify what it means to be responsible for an action. We rely on a crucial conceptual ...
    • On the behavior of some APN permutations under swapping points 

      Budaghyan, Lilya; Kaleyski, Nikolay Stoyanov; Riera, Constanza Susana; Stanica, Pantelimon (Journal article; Peer reviewed, 2022)
      We define the pAPN-spectrum (which is a measure of how close a function is to being APN) of an (n, n)-function F and investigate how its size changes when two of the outputs of a given function F are swapped. We completely ...
    • On the Boomerang Uniformity of some Permutation Polynomials 

      Calderini, Marco; Villa, Irene (Journal article; Peer reviewed, 2020)
      The boomerang attack, introduced by Wagner in 1999, is a cryptanalysis technique against block ciphers based on differential cryptanalysis. In particular it takes into consideration two differentials, one for the upper ...
    • On the Brauer group of bielliptic surfaces (with an appendix by Jonas Bergström and Sofia Tirabassi) 

      Ferrari, Eugenia; Tirabassi, Sofia; Vodrup, Magnus Røen; Bergström, Jonas (Journal article; Peer reviewed, 2022)
      We provide explicit generators of the torsion of the second cohomology of bielliptic surfaces, and we use this to study the pullback map between the Brauer group of a bielliptic surface and that of its canonical cover.
    • On the Complexity of Intersection Non-emptiness for Star-Free Language Classes 

      Arrighi, Emmanuel Jean Paul Pierre; Fernau, Henning; Hoffmann, Stefan; Holzer, Markus; Jecker, Ismaël; Oliveira, Mateus De Oliveira; Wolf, Petra (Journal article; Peer reviewed, 2021)
      In the Intersection Non-emptiness problem, we are given a list of finite automata A_1, A_2,… , A_m over a common alphabet Σ as input, and the goal is to determine whether some string w ∈ Σ^* lies in the intersection of the ...