• Development of Tools for Analyzing and Sharing Proteomics Data 

      Barsnes, Harald (Doctoral thesis, 2010-03-22)
    • Development of two-photon polymerised scaffolds for optical interrogation and neurite guidance of human iPSC-derived cortical neuronal networks 

      Crowe, J. A.; El-Tamer, A.; Nagel, D.; Koroleva, A. V.; Madrid-Wolff, J.; Olarte, O. E.; Sokolovsky, S.; Estevez-Priego, E.; Ludl, Adriaan-Alexander; Soriano, J.; Loza-Alvarez, P.; Chichkov, B. N.; Hill, E. J.; Parri, H. R.; Rafailov, E. U. (Journal article; Peer reviewed, 2020)
      Recent progress in the field of human induced pluripotent stem cells (iPSCs) has led to the efficient production of human neuronal cell models for in vitro study. This has the potential to enable the understanding of live ...
    • Diagram Predicate Framework meets Model Versioning and Deep Metamodelling 

      Rossini, Alessandro (Doctoral thesis, 2011-12-07)
      Model-driven engineering (MDE) is a branch of software engineering which aims at improving the productivity, quality and cost-effectiveness of software by shifting the paradigm from code-centric to model-centric. MDE ...
    • Diagram predicate framework: A formal approach to MDE 

      Rutle, Adrian (Doctoral thesis, 2010-11-29)
      Model-driven engineering (MDE) is a software engineering discipline which promotes models as first-class entities. It represents a shift of paradigm in software development, from being code-centric to become model-centric. ...
    • A Diagrammatic Logic for Object-Oriented Visual Modeling 

      Diskin, Zinovy; Wolter, Uwe Egbert (Peer reviewed; Journal article, 2008-11-21)
      Formal generalized sketches is a graph-based specification format that borrows its main ideas from categorical and ordinary first-order logic, and adapts them to software engineering needs. In the engineering jargon, it ...
    • Differential Fault Analysis of Trivium 

      Hojsík, Michal; Rudolf, Bohuslav (Lecture Notes in Computer Science; 5086, Chapter; Peer reviewed, 2008)
      Trivium is a hardware-oriented stream cipher designed in 2005 by de Canni`ere and Preneel for the European project eStream, and it has successfully passed the first and the second phase of this project. Its design has a ...
    • The differential spectrum of a ternary power mapping 

      Xia, Yongbo; Zhang, Xianglai; Li, Chunlei; Helleseth, Tor (Journal article; Peer reviewed, 2020)
      A function f(x)from the finite field GF(pn)to itself is said to be differentially δ-uniform when the maximum number of solutions x ∈GF(pn)of f(x +a) −f(x) =bfor any a ∈GF(pn)∗and b ∈GF(pn)is equal to δ. Let p =3and d =3n−3. ...
    • The Differential Spectrum of the Power Mapping xpn−3 

      Yan, Haode; Xia, Yongbo; Li, Chunlei; Helleseth, Tor; Xiong, Maosheng; Luo, Jinquan (Journal article; Peer reviewed, 2022)
      Let n be a positive integer and p a prime. The power mapping xpn−3 over Fpn has desirable differential properties, and its differential spectra for p=2,3 have been determined. In this paper, for any odd prime p , by ...
    • Differentially low uniform permutations from known 4-uniform functions 

      Calderini, Marco (Journal article; Peer reviewed, 2021)
      Functions with low differential uniformity can be used in a block cipher as S-boxes since they have good resistance to differential attacks. In this paper we consider piecewise constructions for permutations with low ...
    • DimLift: Interactive Hierarchical Data Exploration through Dimensional Bundling 

      Garrison, Laura Ann; Müller, Juliane; Schreiber, Stefanie; Oeltze-Jafra, Steffen; Hauser, Helwig; Bruckner, Stefan (Journal article; Peer reviewed, 2021)
      The identification of interesting patterns and relationships is essential to exploratory data analysis. This becomes increasingly difficult in high dimensional datasets. While dimensionality reduction techniques can be ...
    • A direct construction of even length ZCPs with large ZCZ ratio 

      Kumar, Praveen; Sarkar, Palash; Majhi, Sudhan; Paul, Subhabrata (Journal article; Peer reviewed, 2022)
      This paper presents a direct construction of aperiodic q-ary (q is a positive even integer) even length Z-complementary pairs (ZCPs) with large zero-correlation zone (ZCZ) width using generalised Boolean functions (GBFs). ...
    • Direct Construction of Optimal Z-Complementary Code Sets With Even Lengths by Using Generalized Boolean Functions 

      Ghosh, Gobinda; Majhi, Sudhan; Sarkar, Palash; Upadhaya, Ashish Kumar (Journal article; Peer reviewed, 2022)
      The Z-complementary code set (ZCCS) is well-known for being used in multicarrier code-division multiple access (MC-CDMA) systems to provide interference-free communication in a quasi-synchronous environment. Based on the ...
    • Direct data transfer between SOAP web services in Orchestration 

      Subramanian, Sattanathan; Sztromwasser, Paweł; Puntervoll, Pål; Petersen, Kjell (Chapter; Peer reviewed, 2012)
      In scientific data analysis, workflows are used to integrate and coordinate resources such as databases and tools. Workflows are normally executed by an orchestrator that invokes component services and mediates data transport ...
    • The directed 2-linkage problem with length constraints 

      Bang-Jensen, J.; Bellitto, Thomas; Lochet, William; Yeo, A. (Journal article; Peer reviewed, 2020)
    • Directed graph representation of half-rate additive codes over GF(4) 

      Danielsen, Lars Eirik; Parker, Matthew G. (Peer reviewed; Journal article, 2010)
      We show that (n, 2n) additive codes over GF(4) can be represented as directed graphs. This generalizes earlier results on self-dual additive codes over GF(4), which correspond to undirected graphs. Graph representation ...
    • Discriminating between surfaces of peripheral membrane proteins and reference proteins using machine learning algorithms 

      Miao, Fengming (Master thesis, 2019-04-05)
      In biology, the cell membrane is an important component of a cell and usually works as a “fence” to distinguish the inside and outside of a cell. The key role is to protect the cells from being interfered by their surroundings ...
    • Disentangling genetic and epigenetic determinants of ultrafast adaptation 

      Gjuvsland, Arne Bjørke; Zörgö, Enikö Beatrix; Antony Samy, Jeevan Karloss; Stenberg, Simon; Demirsoy, Ibrahim H; Roque, Francisco; Maciaszczyk-Dziubinska, Ewa; Migocka, Magdalena; Alonso-Perez, Elisa; Zackrisson, Martin; Wysocki, Robert; Tamas, Markus J; Jonassen, Inge; Omholt, Stig William; Warringer, Jonas (Peer reviewed; Journal article, 2016)
      A major rationale for the advocacy of epigenetically mediated adaptive responses is that they facilitate faster adaptation to environmental challenges. This motivated us to develop a theoretical–experimental framework for ...
    • Diverse Collections in Matroids and Graphs 

      Fomin, Fedor; Golovach, Petr; Panolan, Fahad; Philip, Geevarghese; Saurabh, Saket (Journal article; Peer reviewed, 2021)
      We investigate the parameterized complexity of finding diverse sets of solutions to three fundamental combinatorial problems, two from the theory of matroids and the third from graph theory. The input to the Weighted Diverse ...
    • Diverse Pairs of Matchings 

      Fomin, Fedor; Golovach, Petr; Jaffke, Lars; Philip, Geevarghese; Sagunov, Danil (Journal article; Peer reviewed, 2020)
      We initiate the study of the Diverse Pair of (Maximum/ Perfect) Matchings problems which given a graph G and an integer k, ask whether G has two (maximum/perfect) matchings whose symmetric difference is at least k. Diverse ...