Now showing items 6363-6382 of 9887

    • 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 integration of rock physics in quantitative seismic interpretation 

      Bredesen, Kenneth (Doctoral thesis, 2017-01-23)
    • 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 Isotopic Shift Construction for Planar Functions 

      Budaghyan, Lilya; Calderini, Marco; Carlet, Claude; Coulter, Robert; Villa, Irene (Chapter; Peer reviewed, 2019)
      CCZ-equivalence is the most general currently known equivalence relation for functions over finite fields preserving planarity and APN properties. However, for the particular case of quadratic planar functions isotopic ...
    • On iterative decoding of high-density parity-check codes using edge-local complementation 

      Knudsen, Joakim Grahl (Doctoral thesis, 2010-11-24)
      The overall topic of this work is a graph operation known as edgelocal complementation (ELC) and its applications to iterative decoding of classical codes. Although these legacy codes are arguably not well-suited for ...
    • 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 multivariate Vernic recursions 

      Sundt, Bjørn (Statistical report no. 34, Research report, 1999-07)
    • 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 offshore wind farm maintenance scheduling for decision support on vessel fleet composition 

      Gutierrez-Alcoba, Alejandro; Hendrix, Eligius M.T.; Lopez, Gloria Ortega; Halvorsen-Weare, Elin Espeland; Haugland, Dag (Peer reviewed; Journal article, 2019)
      Maintenance costs account for a large part of the total cost of an offshore wind farm. Several models have been presented in the literature to optimize the fleet composition of the required vessels to support maintenance ...
    • 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 bent and almost perfect nonlinear functions 

      Davidova, Diana (Doctoral thesis, 2021-09-14)
      (Vectorial) Boolean functions play an important role in all domains related to computer science, and in particular, in cryptography. The safety of a cryptosystem is quantified via some characteristics of (vectorial) Boolean ...
    • 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 radar imaging of current features: 1. Model and comparison with observations 

      Kudryavtsev, Vladimir; Akimov, D.; Johannessen, Johnny A.; Chapron, B. (Journal article, 2005-07-22)
      A new radar imaging model of ocean current features is proposed. The simulated normalized radar cross section (NRCS) takes into account scattering from ‘‘regular’’ surfaces (by means of resonant Bragg scattering and specular ...
    • On radar imaging of current features: 2. Mesoscale eddy and current front detection 

      Johannessen, Johnny A.; Kudryavtsev, Vladimir; Akimov, D.; Eldevik, Tor; Winther, Nina Gjerde; Chapron, B. (Peer reviewed; Journal article, 2005-07-22)
      The surface signatures of meandering fronts and eddies have been regularly observed and documented in synthetic aperture radar (SAR) images. Wave-current interactions, the suppression of short wind waves by natural film, ...
    • On regular Frobenius bases 

      Selmer, Ernst S. (Department of Pure Mathematics report no. 49, Research report, 1987-03)
    • On relations between CCZ- and EA-equivalences 

      Villa, Irene; Calderini, Marco; Budaghyan, Lilya (Peer reviewed; Journal article, 2020)
      In the present paper we introduce some sufficient conditions and a procedure for checking whether, for a given function, CCZ-equivalence is more general than EA-equivalence together with taking inverses of permutations. ...