Now showing items 21-40 of 260

  • Software modeling of the propagation of electromagnetic beams through different media 

    Bruket, Kjetil Rørvik (The University of Bergen and Bergen University College, 2014-06-02)
    Propagation and focusing of electromagnetic beams through layered anisotropic medium is of interest in the field of optical data storage, where thin layers are mounted on glass substrates, display technology, where polarised ...
  • On the feasibility of distributed systems for interactive visual analysis of omics data 

    Farag, Yehia Mohamed (The University of Bergen, 2014-06-02)
    The purpose of this thesis is to discuss the feasibility of developing a distributed interactive visual analysis omics system demonstrating how selected modules from the standalone J-Express Modularized application ...
  • Fast methods to solve the pooling problem 

    Kejriwal, Anisha (The University of Bergen, 2014-05-31)
    In pipeline transportation of natural gas, simple network flow problems are replaced by hard ones when bounds on the flow quality are imposed. The sources, typically represented by gas wells, provide flow of unequal ...
  • 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 ...
  • So you've got IPv6 address space. Can you defend it? 

    Sande, Mikal (The University of Bergen, 2014-05-29)
    Internet Protocol version 6 (IPv6) is the successor of Internet Protocol version 4 (IPv4). IPv6 will become the next standard networking protocol on the Internet. It brings with it a great increase in address space, changes ...
  • Perceptually Uniform Motion Space 

    Birkeland, Åsmund; Turkay, Cagatay; Viola, Ivan (IEEE, 2014-05-07)
    Flow data is often visualized by animated particles inserted into a flow field. The velocity of a particle on the screen is typically linearly scaled by the velocities in the data. However, the perception of velocity ...
  • Continuous Levels-of-Detail and Visual Abstraction for Seamless Molecular Visualization 

    Parulek, Julius; Jönsson, Daniel; Ropinski, Timo; Bruckner, Stefan; Ynnerman, Anders; Viola, Ivan (Wiley, 2014-05-06)
    Molecular visualization is often challenged with rendering of large molecular structures in real time. We introduce a novel approach that enables us to show even large protein complexes. Our method is based on the ...
  • On cutwidth parameterized by vertex cover 

    Cygan, Marek; Lokshtanov, Daniel; Pilipczuk, Marcin; Pilipczuk, Michal Pawel; Saurabh, Saket (Springer, 2014-04)
    We study the CUTWIDTH problem, where the input is a graph G, and the objective is find a linear layout of the vertices that minimizes the maximum number of edges intersected by any vertical line inserted between two ...
  • FreeContact: fast and free software for protein contact prediction from residue co-evolution 

    Kaján, László; Hopf, Thomas A.; Kalaš, Matúš; Marks, Debora S.; Rost, Burkhard (BioMed Central, 2014-03-26)
    Background: 20 years of improved technology and growing sequences now renders residue-residue contact constraints in large protein families through correlated mutations accurate enough to drive de novo predictions of protein ...
  • Data clustering optimization with visualization 

    Guillaume, Fabien (The University of Bergen, 2014-03-20)
    This thesis study the possible applications of Particle Swarm Optimization in Kernel Clustering, Dynamic modeling and Artificial Neural Network.
  • Substation Location in Offshore Wind Farms - A Planar Multi-Facility Location-Routing Problem 

    Amland, Thomas (The University of Bergen, 2014-03-14)
    In offshore wind farms, two important parts of the design are to determine locations for substations and a cabling layout that connects every turbine to a substation. These problems are interconnected, as the cable layout ...
  • Exploring Subexponential Parameterized Complexity of Completion Problems 

    Drange, Pål Grønås; Fomin, Fedor V.; Pilipczuk, Michal Pawel; Villanger, Yngve (Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2014-02-19)
    Let F be a family of graphs. In the F-Completion problem, we are given an n-vertex graph G and an integer k as input, and asked whether at most k edges can be added to G so that the resulting graph does not contain a ...
  • Throughput and robustness of bioinformatics pipelines for genome-scale data analysis 

    Sztromwasser, Paweł (The University of Bergen, 2014-02-19)
    The post-genomic era has been heavily influenced by the rapid development of highthroughput molecular-screening technologies, which has enabled genome-wide analysis approaches on an unprecedented scale. The constantly ...
  • BioHackathon series in 2011 and 2012: penetration of ontology and linked data in life science domains 

    Katayama, Toshiaki; Wilkinson, Mark D.; Aoki-Kinoshita, Kiyoko F.; Kawashima, Shuichi; Yamamoto, Yasunori; Yamaguchi, Atsuko; Okamoto, Shinobu; Kawano, Shin; Kim, Jin-Dong; Wang, Yue; Wu, Hongyan; Kano, Yoshinobu; Ono, Hiromasa; Bono, Hidemasa; Kocbek, Simon; Aerts, Jan; Akune, Yukie; Antezana, Erick; Arakawa, Kazuharu; Aranda, Bruno; Baran, Joachim; Bolleman, Jerven; Bonnal, Raoul J. P.; Buttigieg, Pier Luigi; Campbell, Matthew P.; Chen, Yi-an; Chiba, Hirokazu; Cock, Peter J. A.; Cohen, K. Bretonnel; Constantin, Alexandru; Duck, Geraint; Dumontier, Michel; Fujisawa, Takatomo; Fujiwara, Toyofumi; Goto, Naohisa; Hoehndorf, Robert; Igarashi, Yoshinobu; Itaya, Hidetoshi; Ito, Maori; Iwasaki, Wataru; Kalaš, Matúš; Katoda, Takeo; Kim, Taehong; Kokubu, Anna; Komiyama, Yusuke; Kotera, Masaaki; Laibe, Camille; Lapp, Hilmar; Lütteke, Thomas; Marshall, M. Scott; Mori, Takaaki; Mori, Hiroshi; Morita, Mizuki; Murakami, Katsuhiko; Nakao, Mitsuteru; Narimatsu, Hisashi; Nishide, Hiroyo; Nishimura, Yosuke; Nyström-Persson, Johan; Ogishima, Soichi; Okamura, Yasunobu; Okuda, Shujiro; Oshita, Kazuki; Packer, Nicki H; Prins, Pjotr; Ranzinger, Rene; Rocca-Serra, Philippe; Sansone, Susanna; Sawaki, Hiromichi; Shin, Sung-Ho; Splendiani, Andrea; Strozzi, Francesco; Tadaka, Shu; Toukach, Philip; Uchiyama, Ikuo; Umezaki, Masahito; Vos, Rutger; Whetzel, Patricia L.; Yamada, Issaku; Yamasaki, Chisato; Yamashita, Riu; York, William S.; Zmasek, Christian M.; Kawamoto, Shoko; Takagi, Toshihisa (BioMed Central, 2014-02-05)
    Abstract The application of semantic technologies to the integration of biological data and the interoperability of bioinformatics analysis and visualization tools has been the common theme of a series of annual ...
  • Parameterized complexity of Eulerian deletion problems 

    Cygan, Marek; Pilipczuk, Marcin; Marx, Dániel; Pilipczuk, Michal Pawel; Schlotter, Ildikó (Springer, 2014-01)
    We study a family of problems where the goal is to make a graph Eulerian, i.e., connected and with all the vertices having even degrees, by a minimum number of deletions. We completely classify the parameterized complexity ...
  • Molecular mechanisms of adaptation emerging from the physics and evolution of nucleic acids and proteins 

    Goncearenco, Alexander; Ma, Binguang; Berezovsky, Igor (Oxford University Press, 2014)
    DNA, RNA and proteins are major biological macromolecules that coevolve and adapt to environments as components of one highly interconnected system. We explore here sequence/structure determinants of mechanisms of adaptation ...
  • Parsing in a Broad Sense 

    Zaytsev, Vadim; Bagge, Anya Helene (Springer, 2014)
    Having multiple representations of the same instance is common in software language engineering: models can be visualised as graphs, edited as text, serialised as XML. When mappings between such representations are considered, ...
  • Reflections on Courses for Software Language Engineering 

    Bagge, Anya Helene; Lämmel, Ralf; Zaytsev, Vadim (2014)
    Software Language Engineering (SLE) has emerged as a field in computer science research and software engineering, but it has yet to become entrenched as part of the standard curriculum at universities. Many places have a ...
  • A Model of Type Theory in Cubical Sets 

    Bezem, Marcus Aloysius; Coquand, Thierry; Huber, Simon (Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014)
    We present a model of type theory with dependent product, sum, and identity, in cubical sets. We describe a universe and explain how to transform an equivalence between two types into an equality. We also explain how to ...
  • Improving Parallel Sparse Matrix-vector Multiplication 

    Tessem, Torbjørn Johnsen (The University of Bergen, 2013-12-19)
    Sparse Matrix-vector Multiplication (SMvM) is a mathematical technique encountered in many programs and computations and is often heavily used. Solving SMvM in parallel allows for bigger instances to be solved, and problems ...