Browsing Department of Informatics by Title

Now showing items 133-152 of 321

    • Incompleteness of the Inference System BNeg 

      Golid, Kjetil Midtgarden (The University of Bergen, 2016-05-31)
      Any propositional discourse can be represented as a propositional theory in a specific form in such a way that the theory is inconsistent if and only if the discourse is paradoxical. Propositional theories in this form ...
      Master thesis

    • Independent Set on P5-free graphs, an empirical study 

      Haug, Håvard Karim (The University of Bergen, 2015-11-20)
      We implement the recent polynomial time algorithm for the independent set problem on P5-free graphs, and study the performance of this algorithm on graphs of size up to 50. Our empirical results show that the algorithm ...
      Master thesis

    • The index tracking problem with a limit on portfolio size 

      Mutunge, Purity Kamene (The University of Bergen, 2014-11-19)
      For a passive fund manager tracking a benchmark, it is not uncommon to select some, and not all the assets in the index to his portfolio. In this thesis, we consider the problem of minimizing the tracking error under the ...
      Master thesis

    • Inexact Solution of the Schur Complement Equation in a Primal-Dual Interior-Point Method for Semidefinite Programming 

      Frimannslund, Lennart (The University of Bergen, 2002)
      Master thesis

    • 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 ...
      Chapter

    • Integral Cryptanalysis 

      Moen, Vebjørn (The University of Bergen, 2002)
      Master thesis

    • 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. ...
      Chapter

    • 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 ...
      Doctoral thesis

    • 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 ...
      Doctoral thesis

    • Interactive Visual Analysis of Streaming Data 

      Smestad, Geir (Universitetet i Bergen (UiB), 2014-09-23)
      Interactive Visual Analysis (IVA) has proven to be a robust set of methods for visually exploring complex data sets and generating hypotheses from data. Datasets and techniques where the temporal aspect is central has been ...
      Master thesis

    • 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, ...
      Doctoral thesis

    • 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 ...
      Conference object

    • 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 ...
      Journal article

    • 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. ...
      Master thesis

    • 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 ...
      Master thesis

    • 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 ...
      Journal article

    • Investigating Streamless Sets 

      Parmann, Erik (Dagstuhl Publishing, 2015)
      In this paper we look at streamless sets, recently investigated by Coquand and Spiwack. A set is streamless if every stream over that set contain a duplicate. It is an open question in constructive mathematics whether the ...
      Conference object

    • 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 ...
      Conference object

    • J2ME Bluetooth programming 

      Klingsheim, André N. (The University of Bergen, 2004)
      Master thesis

    • JASPAR 2014: An extensively expanded and updated open-access database of transcription factor binding profiles 

      Mathelier, Anthony; Zhao, Xiaobei; Zhang, Allen W.; Parcy, François; Worsley-Hunt, Rebecca; Arenillas, David J.; Buchman, Sorana; Chen, Chih-yu; Chou, Alice; Ienasescu, Hans; Lim, Jonathan; Shyr, Casper; Tan, Ge; Zhou, Michelle; Lenhard, Boris; Sandelin, Albin; Wasserman, Wyeth W. (Oxford University Press, 2014-01)
      JASPAR (http://jaspar.genereg.net) is the largest open-access database of matrix-based nucleotide profiles describing the binding preference of transcription factors from multiple species. The fifth major release greatly ...
      Journal article