Now showing items 109-128 of 260

  • 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 ...
  • Integral Cryptanalysis 

    Moen, Vebjørn (The University of Bergen, 2002)
  • 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. ...
  • Interactive visual analysis of multi-faceted scientific data 

    Kehrer, Johannes (The University of Bergen, 2011-05-27)
    Visualization plays an important role in exploring, analyzing and presenting large and heterogeneous scientific data that arise in many disciplines of medicine, research, engineering, and others. We can see that model ...
  • Interactive Visual Analysis of Process Data 

    Lampe, Ove Daae (The University of Bergen, 2011-11-30)
    Data gathered from processes, or process data, contains many different aspects that a visualization system should also convey. Aspects such as, temporal coherence, spatial connectivity, streaming data, and the need for ...
  • Interactive Visual Analysis of Time-dependent Flows: Physics- and Statistics-based Semantics 

    Pobitzer, Armin (The University of Bergen, 2012-06-22)
    With the increasing use of numerical simulations in the fluid mechanics community in recent years flow visualization increasingly gains importance as an advanced analysis tool for the simulation output. Up to now, ...
  • Interactive Visualization of Streaming Data with Kernel Density Estimation 

    Lampe, Ove Daae; Hauser, Helwig (IEEE, 2011)
    In this paper, we discuss the extension and integration of the statistical concept of Kernel Density Estimation (KDE) in a scatterplotlike visualization for dynamic data at interactive rates. We present a line kernel ...
  • Interactively illustrating polymerization using three-level model fusion 

    Kolesar, Ivan; Parulek, Julius; Viola, Ivan; Bruckner, Stefan; Stavrum, Anne-Kristin; Hauser, Helwig (BioMed Central, 2014-10-14)
    Background: Research in cell biology is steadily contributing new knowledge about many aspects of physiological processes, both with respect to the involved molecular structures as well as their related function. Illustrations ...
  • Interaksjon og Søk i Dynamic Presentation Generator 

    Olsen, Tobias Rusås (The University of Bergen, 2010-06)
    Denne oppgaven handler om hvordan interaksjon og søk kan integreres i Dynamic Presentation Generator. Dette innholdshåndteringssystemet benytter seg av presentasjonsmønstre, en ide som går ut på å skille struktur og innhold. ...
  • Interaktive bridgetjenester for Internett og Mobil 

    Tenold, Eirik; Monsen, Remy (The University of Bergen, 2008)
    Denne rapporten presenterer utviklingen av to forskjellige systemer til bruk i forbindelse med kortspillet bridge. Det første systemet er et web-basert administrasjonssystem for bridge-turneringer, mens det andre systemet ...
  • Interfacing concepts: Why declaration style shouldn't matter 

    Bagge, Anya Helene; Haveraaen, Magne (Elsevier, 2010-09-17)
    A concept (or signature) describes the interface of a set of abstract types by listing the operations that should be supported for those types. When implementing a generic operation, such as sorting, we may then specify ...
  • Investigating the Limitations of Java Annotations for Input Validation 

    Mancini, Federico; Hovland, Dag; Mughal, Khalid A. (2010)
    Recently Java annotations have received a lot of attention as a possible way to simplify the usage of various frameworks, ranging from persistence and verification to security. In this paper we discuss our experiences ...
  • J2ME Bluetooth programming 

    Klingsheim, André N. (The University of Bergen, 2004)
  • K-packing and K-domination on tree graphs 

    Mjelde, Morten (The University of Bergen, 2004)
  • Lex M versus MCS-M 

    Villanger, Yngve (Elsevier, 2006)
  • Linear dependencies between non-uniform distributions in DES 

    Fauskanger, Stian (The University of Bergen, 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 (The University of Bergen, 2000)
  • Localizing Cell Towers from Crowdsourced Measurements 

    Rusvik, Johan Alexander Nordstrand (The University of Bergen, 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 ...
  • Looking at the Stars 

    Prieto, Elena; Sloper, Christian (Elsevier, 2006-02-28)
  • Lower bounds on the size of spheres of permutations under the Chebychev distance 

    Kløve, Torleiv (Springer, 2010)
    Lower bounds on the number of permutations p of {1, 2, . . . , n} satisfying |pi − i| ≤ d for all i are given