BORA - UiBBORA
    • English
    • norsk
  • English 
    • English
    • norsk
  • Login
Search 
  •   BORA Home
  • Faculty of Mathematics and Natural Sciences
  • Department of Informatics
  • Department of Informatics
  • Search
  •   BORA Home
  • Faculty of Mathematics and Natural Sciences
  • Department of Informatics
  • Department of Informatics
  • Search
JavaScript is disabled for your browser. Some features of this site may not work without it.

Search

Show Advanced FiltersHide Advanced Filters

Filters

Use filters to refine the search results.

Now showing items 101-110 of 377

  • Sort Options:
  • Relevance
  • Title Asc
  • Title Desc
  • Issue Date Asc
  • Issue Date Desc
  • Results Per Page:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
Thumbnail

Binding Leverage as a Molecular Basis for Allosteric Regulation 

Mitternacht, Simon; Berezovsky, Igor N. (Public Library of Science, 2011-09-15)
Allosteric regulation involves conformational transitions or fluctuations between a few closely related states, caused by the binding of effector molecules. We introduce a quantity called binding leverage that measures ...
Thumbnail

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 ...
Thumbnail

Generalized Bent and/or Negabent Constructions 

Ådlandsvik, Yngve (The University of Bergen, 2012-04-27)
In this thesis, we generalize the Maiorana-McFarland construction for bent, negabent and bent-negabent Boolean functions and describe a way to computationally search for constructions using these generalizations. We present ...
Thumbnail

Automatic Differentiation of Third Order Derivatives using Forward Mode in C++ 

Lium, Torbjørn (The University of Bergen, 2009-01-07)
Automatic differentiation of third order derivatives is implemented in C++. The implementation uses uses object-orientation and operator overloading to perform the differentiation. A short introduction to operator ...
Thumbnail

Dynamic Content Manager for E-Learning 

Bottu, Anil Kumar (The University of Bergen, 2008-11-18)
Dynamic content manager for E-Learning project is developed as the partial fulfillment of master studies under the supervision of yngve lamo Ph.D and Khalid Azim Mughal Ph.D.
Thumbnail

Støtte for Geodata i Dynamic Presentation Generator 

Waage, Aleksander Vatle (The University of Bergen, 2012-01-27)
Thumbnail

Diagram Predicate Framework meets Model Versioning and Deep Metamodelling 

Rossini, Alessandro (The University of Bergen, 2011-12-07)
Model-driven engineering (MDE) is a branch of software engineering which aims at improving the productivity, quality and cost-effectiveness of software by shifting the paradigm from code-centric to model-centric. MDE ...
Thumbnail

Naturlige nettverk 

Vatshelle, Martin (The University of Bergen, 2008)
En innføring i naturlige nettverk. Vi forklarer og diskuterer begrepet naturlige nettverk og vurderer hvilke nettverk som bør kalles naturlige. Vi ser på forskjeller og likheter mellom tilfeldige, planlagte og naturlige ...
Thumbnail

Randomised Construction and Dynamic Decoding of LDPC Codes 

Knudsen, Joakim Grahl (The University of Bergen, 2005-11-30)
Thumbnail

Modelling migration patterns of fish using depth and temperature preferences 

Natvig, Erik (The University of Bergen, 2012-04-27)
Time series of depth and temperature derived from electronic tagging of fish have been used to construct a stochastic model that aims at capturing main characteristics of the observations. Mixed Ornstein-Uhlenbeck process ...
  • 1
  • . . .
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • . . .
  • 38

University of Bergen Library
Contact Us | Send Feedback
 

 

Browse

All of BORACommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsTypeThis CollectionBy Issue DateAuthorsTitlesSubjectsType

My Account

LoginRegister

Discover

TypeMaster thesis (149)Journal article (111)Doctoral thesis (55)Peer reviewed (50)Conference object (38)Chapter (20)Dataset (1)Research report (1)Date Issued2010 - 2018 (255)2000 - 2009 (117)1992 - 1999 (5)AuthorJonassen, Inge (16)Hauser, Helwig (14)Fomin, Fedor (13)Kalaš, Matúš (12)Villanger, Yngve (12)Viola, Ivan (11)Bagge, Anya Helene (10)Pilipczuk, Michal Pawel (9)Hovland, Dag (8)Barsnes, Harald (7)... View MoreSubjectGrafalgoritmer (7)parameterized complexity (6)RFID (5)Type systems (5)Algorithms (4)Component software (4)DPG (4)Kernelization (4)Privacy (4)Algebraic cryptanalysis (3)... View MoreNorwegian Science IndexMatematikk og Naturvitenskap: 400 (79)Mathematics and natural science: 400 (32)Matematikk og naturvitenskap: 400 (23)Mathematics and natural scienses: 400 (23)Teknologi: 500 (14)Technology: 500 (5)Medical disciplines: 700 (1)Medisinske fag: 700 (1)Midical sciences: 700 (1)... View MoreJournalBMC Bioinformatics (9)Electronical Notes in Theoretical Computer Science (4)Algorithmica (3)Bioinformatics (3)Electronic Notes in Theoretical Computer Science (3)Computer Graphics Forum (2)IEEE Transactions on Information Theory (2)Leibniz International Proceedings in Informatics (2)Nucleic Acids Research (2)BMC Evolutionary Biology (1)... View More

University of Bergen Library
Contact Us | Send Feedback