Now showing items 1-20 of 43

    • Analysis of Trivium Using Compressed Right Hand Side Equations 

      Schilling, Thorsten Ernst; Raddum, Håvard (Springer Berlin Heidelberg, 2012)
      We study a new representation of non-linear multivariate equations for algebraic cryptanalysis. Using a combination of multiple right hand side equations and binary decision diagrams, our new representation allows a very ...
      ChapterPeer reviewed
    • Classifying and Measuring Student Problems and Misconceptions 

      Rosbach, Alexander Hoem; Bagge, Anya Helene (Akademika forlag, 2013)
      In this paper we report on an attempt to classify student problems and mistakes, and measuring the frequency of particular problems in a firstsemester programming course. We also propose a scheme for annotating student ...
      ChapterPeer reviewed
    • Cognition: Learning and Memory 

      Braithwaite, Victoria A.; Salvanes, Anne Gro Vea (Science Publishers, 2008)
    • A Comparative Analysis of Feature Selection Methods for Biomarker Discovery in Study of Toxicant-Treated Atlantic Cod (Gadus Morhua) Liver 

      Zhang, Xiaokang; Jonassen, Inge (Springer, 2019)
      Univariate and multivariate feature selection methods can be used for biomarker discovery in analysis of toxicant exposure. Among the univariate methods, differential expression analysis (DEA) is often applied for its ...
      ChapterConference objectPeer reviewed
    • Comparison of Discrete and Continuous Models for the Pooling Problem 

      Alfaki, Mohammed; Haugland, Dag (Dagstuhl Publishing, 2011)
      The pooling problem is an important global optimization problem which is encountered in many industrial settings. It is traditionally modeled as a bilinear, nonconvex optimization problem, and solved by branch-and-bound ...
      ChapterPeer reviewed
    • A Continuous Max-Flow Approach to Minimal Partitions with Label Cost Prior 

      Yuan, Jing; Bae, Egil; Boykov, Yuri; Tai, Xue-Cheng (The authors, 2011)
      This paper investigates a convex relaxation approach for minimum description length (MDL) based image partitioning or labeling, which proposes an energy functional regularized by the spatial smoothness prior joint with a ...
      ChapterPeer reviewed
    • Convective chimneys and plumes in the Northern Greenland Sea 

      Johannessen, Ola M.; Lygre, Kjetil; Eldevik, Tor (American Geophysical Union, 2005)
      In the Boreas Basin in the northern Greenland Sea, convection has been observed to be localized as narrow structures - chimneys - in which the water masses may be homogeneous from the surface through great depths. An ...
    • Differential Fault Analysis of Trivium 

      Hojsík, Michal; Rudolf, Bohuslav (Springer Berlin Heidelberg, 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 ...
      ChapterPeer reviewed
    • An Ensemble Feature Selection Framework Integrating Stability 

      Zhang, Xiaokang; Jonassen, Inge (IEEE, 2019)
      Ensemble feature selection has drawn more and more attention in recent years. There are mainly two strategies for ensemble feature selection, namely data perturbation and function perturbation. Data perturbation performs ...
      ChapterConference objectPeer reviewed
    • Fana har Norges første og beste naturarkiv fra varmetiden før siste istid 

      Mangerud, Jan (Fana Historielag, 2009)
    • Floating Fault Analysis of Trivium 

      Hojsík, Michal; Rudolf, Bohuslav (Springer Berlin Heidelberg, 2008)
      One of the eSTREAM final portfolio ciphers is the hardwareoriented stream cipher Trivium. It is based on 3 nonlinear feedback shift registers with a linear output function. Although Trivium has attached a lot of interest, ...
      ChapterPeer reviewed
    • The Inclusion Problem for Regular Expressions 

      Hovland, Dag (Springer, 2010)
      This paper presents a new polynomial-time algorithm for the inclusion problem for certain pairs of regular expressions. The algorithm is not based on construction of finite automata, and can therefore be faster than the ...
      ChapterPeer reviewed
    • Inferring Required Permissions for Statically Composed Programs 

      Hasu, Tero; Bagge, Anya Helene; Haveraaen, Magne (Springer, 2013)
      Permission-based security models are common in smartphone operating systems. Such models implement access control for sensitive APIs, introducing an additional concern for application developers. It is important for the ...
      ChapterPeer reviewed
    • Integrated Multi-aspect Visualization of 3D Fluid Flows 

      Brambilla, Andrea; Andreassen, Øyvind; Hauser, Helwig (The Eurographics Association, 2013)
      The motion of a fluid is affected by several intertwined flow aspects. Analyzing one aspect at a time can only yield partial information about the flow behavior. More details can be revealed by studying their interactions. ...
      ChapterPeer reviewed
    • Large-Scale Atmospheric Circulation Variability and its Impacts on the Nordic Seas Ocean Climate - a Review. In: The Nordic Seas: An Integrated Perspective 

      Furevik, Tore; Nilsen, Jan Even Øie (American Geophysical Union, 2005)
      The large-scale atmospheric circulation and its impacts on the Nordic Seas ocean climate are reviewed. The dominant factors for the atmospheric variability are the Icelandic low and the Azores high, determining the strength ...
    • Mass Conservative Domain Decomposition for Porous Media Flow 

      Nordbotten, Jan Martin; Keilegavlen, Eirik; Sandvin, Andreas (InTech, 2012-03-28)
    • Mathematics and Medicine: How mathematics, modelling and simulations can lead to better diagnosis and treatments 

      Hanson, Erik Andreas; Hodneland, Erlend; Lorentzen, Rolf Johan; Nævdal, Geir; Nordbotten, Jan Martin; Sævareid, Ove; Zanna, Antonella (Springer, 2019)
      Starting with the discovery of X-rays by Röntgen in 1895, the progress in medical imaging has been extraordinary and immensely beneficial to diagnosis and therapy. Parallel to the increase of imaging accuracy, there is the ...
      ChapterPeer reviewedJournal article
    • The mersenne low hamming combination search problem can be reduced to an ILP problem 

      Budroni, Alessandro; Tenti, Andrea (Springer, 2019)
      In 2017, Aggarwal, Joux, Prakash, and Santha proposed an innovative NTRU-like public-key cryptosystem that was believed to be quantum resistant, based on Mersenne prime numbers q=2N−1 . After a successful attack designed ...
      ChapterPeer reviewedJournal article
    • North Atlantic multi-decadal variability - mechanisms and predictability 

      Keenlyside, Noel; Ba, Jin; Mecking, Jennifer V.; Omrani, Nour-Eddine; Latif, Mojib; Zhang, Rong; Msadek, Rym (World Scientific Publishing, 2015-10)
      The North Atlantic Ocean undergoes pronounced basin-wide, multi-decadal variations. The corresponding fluctuations in sea surface temperature (SST) have become known as the Atlantic Multi-decadal Oscillation (AMO) or ...
      ChapterPeer reviewed
    • Observation and Simulation of Ice Tongues and Vortex Pairs in the Marginal Ice Zone 

      Johannessen, Ola M.; Sandven, Stein; Budgell, W. Paul; Johannessen, Johnny A.; Shuchman, Robert A. (American Geophysical Union, 1994)
      Recognizes the major advancements of the past decade in understanding the interactions among the polar oceans and global atmospheric and oceanic systems. This volume addresses the following topics: Polar Ocean Circulation ...