• The Lagrangian, constraint qualifications and economics 

      Rückmann, Jan-Joachim; Flåm, Sjur Didrik (Journal article; Peer reviewed, 2022)
      Considering constrained choice, practitioners and theorists frequently invoke a Lagrangian to generate optimality conditions. Regular use of that vehicle requires, however, some constraint qualification. Yet many economists ...
    • Largest chordal and interval subgraphs faster than 2n 

      Bliznets, Ivan; Fomin, Fedor; Pilipczuk, Michal Pawel; Villanger, Yngve (Peer reviewed; Journal article, 2015-08-22)
      We prove that in a graph with n vertices, induced chordal and interval subgraphs with the maximum number of vertices can be found in time O(2λn) for some λ< 1. These are the first algorithms breaking the trivial 2nnO(1) ...
    • Lattice Sieving With G6K 

      Moksheim, Katrine (Master thesis, 2023-06-01)
      Recent advances in quantum computing threaten the cryptography we use today. This has led to a need for new cryptographic algorithms that are safe against quantum computers. The American standardization organization NIST ...
    • Learning Acquisition Functions for Cost-aware Bayesian Optimization 

      Henriksen, Audun Ljone (Master thesis, 2023-08-01)
    • Learning Description Logic Ontologies: Five Approaches. Where Do They Stand? 

      Ozaki, Ana (Journal article; Peer reviewed, 2020)
      The quest for acquiring a formal representation of the knowledge of a domain of interest has attracted researchers with various backgrounds into a diverse field called ontology learning. We highlight classical machine ...
    • 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), ...
    • The Legendre Symbol and the Modulo-2 Operator in Symmetric Schemes over Fnp: Preimage Attack on Full Grendel 

      Grassi, Lorenzo; Khovratovich, Dmitry; Rønjom, Sondre; Schofnegger, Markus (Journal article; Peer reviewed, 2022)
      Motivated by modern cryptographic use cases such as multi-party computation (MPC), homomorphic encryption (HE), and zero-knowledge (ZK) protocols, several symmetric schemes that are efficient in these scenarios have recently ...
    • Lex M versus MCS-M 

      Villanger, Yngve (Journal article, 2006)
    • Line Harp: Importance-Driven Sonification for Dense Line Charts 

      Bru, Egil (Master thesis, 2023-06-01)
    • Linear dependencies between non-uniform distributions in DES 

      Fauskanger, Stian (Master thesis, 2014-05-30)
      Davies and Murphy explained some non-uniform distributions of the output from pairs and triplets of S-boxes in DES, and how they are completely dependent on some key bits. There are linear dependencies between these ...
    • Lineær kompleksitet til produkter av maksimalsekvenser 

      Ovnerud, Torbjørn (Master thesis, 2000)
    • Liquid Conductor: Animated Transitions Across Dimensions 

      Valen, Tines Johan Kalsås (Master thesis, 2023-06-21)
      This thesis explores the power of visualization in conveying complex data through intuitive visual representations. It investigates the effectiveness of animated transitions in understanding correlations between different ...
    • Localizing Cell Towers from Crowdsourced Measurements 

      Rusvik, Johan Alexander Nordstrand (Master thesis, 2015-06-01)
      Today, several internet sites exist that aim to provide the locations and number of cellular network antennas worldwide. For example [1],[2] and [3]. What makes this task difficult to accomplish is the lack of information ...
    • Logics of Statements in Context-Category Independent Basics 

      Wolter, Uwe Egbert (Journal article; Peer reviewed, 2022)
      Based on a formalization of open formulas as statements in context, the paper presents a freshly new and abstract view of logics and specification formalisms. Generalizing concepts like sets of generators in Group Theory, ...
    • Long Cycles in Graphs: Extremal Combinatorics Meets Parameterized Algorithms 

      Fomin, Fedor; Golovach, Petr; Sagunov, Danil; Simonov, Kirill (Journal article; Peer reviewed, 2022)
      We discuss recent algorithmic extensions of two classic results of extremal combinatorics about long paths in graphs. First, the theorem of Dirac from 1952 asserts that a 2-connected graph G with the minimum vertex degree ...
    • Long-read single-molecule RNA structure sequencing using nanopore 

      Tilahun Bizuayehu, Teshome; Labun, Kornel; Jakubec, Martin; Jefimov, Kirill; Niazi, Adnan Muhammad; Valen, Eivind Dale (Journal article; Peer reviewed, 2022)
      RNA molecules can form secondary and tertiary structures that can regulate their localization and function. Using enzymatic or chemical probing together with high-throughput sequencing, secondary structure can be mapped ...
    • Longest Cycle Above Erdös-Gallai Bound 

      Fomin, Fedor; Golovach, Petr; Sagunov, Danil; Simonov, Kirill (Journal article; Peer reviewed, 2022)
      In 1959, Erdős and Gallai proved that every graph G with average vertex degree ad(G) ≥ 2 contains a cycle of length at least ad(G). We provide an algorithm that for k ≥ 0 in time 2^𝒪(k)⋅n^𝒪(1) decides whether a 2-connected ...
    • Longitudinal visualization for exploratory analysis of multiple sclerosis lesions 

      Sugathan, Sherin; Bartsch, Hauke; Riemer, Frank; Grüner, Eli Renate; Lawonn, Kai; Smit, Noeska Natasja (Journal article; Peer reviewed, 2022)
      In multiple sclerosis (MS), the amount of brain damage, anatomical location, shape, and changes are important aspects that help medical researchers and clinicians to understand the temporal patterns of the disease. Interactive ...
    • Looking at the Stars 

      Prieto, Elena; Sloper, Christian (Journal article, 2006-02-28)
      The problem of packing k vertex-disjoint copies of a graph H into another graph G is NP-complete if H has more than two vertices in some connected component. In the framework of parameterized complexity we analyze a ...
    • Loop-checking and the uniform word problem for join-semilattices with an inflationary endomorphism 

      Bezem, Marc; Coquand, Thierry (Journal article; Peer reviewed, 2022)
      We solve in polynomial time two decision problems that occur in type checking when typings depend on universe level constraints.