Browsing Institutt for informatikk by Title
Now showing items 246-265 of 3343
-
(Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2020)Autoantibodies to transglutaminase 2 (TG2) are hallmarks of celiac disease. To address B cell tolerance and autoantibody formation to TG2, we generated immunoglobulin knock-in (Ig KI) mice that express a prototypical celiac ...
-
(Journal article / Tidsskriftartikkel / AcceptedVersion; Peer reviewed, 2013)We introduce a simplex spline basis for a space of C^1-quadratics on the well-known Powell-Sabin 12-split triangular region. Among its many important desirable properties, we show that it has an associated recurrence ...
-
(Master thesis / Masteroppgave, 2005)Program comprehension is a very important skill a software engineer need. Many researchers conduct experiments on program comprehension in order to improve tools, documentation, and maintenance guidelines supporting program ...
-
(Master thesis / Masteroppgave, 2015)Flere eksisterende systemer for fotballanalyse krever at trenere og andre brukere manuelt må hente og redigere video av kamper. Dette kan medføre et høyt tidsbruk når bestemte kampsituasjoner skal undersøkes og analyseres. ...
-
(Master thesis / Group thesis / Masteroppgave / Gruppeoppgave, 2015)Enormous amounts of money and other resources are poured into professional soccer today. Teams will do anything to get a competitive advantage, including investing heavily in new technology for player development and ...
-
(Master thesis / Group thesis / Masteroppgave / Gruppeoppgave, 2015)Enormous amounts of money and other resources are poured into professional soccer today. Teams will do anything to get a competitive advantage, including investing heavily in new technology for player development and ...
-
(Master thesis / Masteroppgave, 2012)Today, a large number of (elite) sports clubs spend a large amount of resources to analyze their game performance, either manually or using one of the many existing analytics tools. In the area of soccer, there exist several ...
-
(Master thesis / Masteroppgave, 2015)This thesis explores two aspects of the development and implementation of a generic configurational software platform - the localisation or adaptation of such a platform to a specific local context, and the evolutionary ...
-
(Master thesis / Hovedoppgave, 2004)Denne hovedfagsoppgaven handler om hvordan en tjenestebro kan være et midtpunkt i hjemmet for å tilby tjenester som kan være nyttige for oss som er forbrukere. Som et eksempel på en tjeneste, ser oppgaven på muligheten til ...
-
(Doctoral thesis / Doktoravhandling, 2007)Expo-Rational B-splines (ERBS) is a new geometric representation for use in complex shaping/design. The special about ERBS is that it is based on local blending of local geometry. The development of ERBS started in 2003. ...
-
(Master thesis / Masteroppgave, 2012)With the blossom of virtualization and cloud computing, virtualized systems can be found from small companies to service providers and big data centers. All of them use this technology because of the many benefits it has ...
-
(Master thesis / Masteroppgave, 2015)I denne tesen jobber vi med å forbedre BVR og dets verktøy. For å identifisere områder for forbedring har vi gjennomført en analyse av BVR som grafisk språk, i tillegg til å gjennomføre et eksperiment som ser på ...
-
(Master thesis / Masteroppgave, 2017)The exponential increase in data generated gives rise to more demanding requirments for processing it. A parallel programming paradigm known as MapReduce, has been used widely to process this data. There exist frameworks ...
-
(Research report / Forskningsrapport, 2007)This paper formalizes the observable interface behavior of an concurrent, objectoriented language with futures and promises. The calculus captures the core of Creol, a language, featuring in particular asynchronous method ...
-
(Research report / Forskningsrapport, 2012)This report extends our behavioral type and effect system for detecting dealocks in [8] by polymorphism and formalizing type inference (wrt. the lock types. Our inference is defined for a simple concurrent, first-order ...
-
(Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2018)The rapidly increasing pervasiveness and integration of computers in human society calls for a broad discipline under which this development can be studied. We argue that to design and use technology one needs to develop ...
-
(Master thesis / Masteroppgave, 2019)Deep learning based systems are on the rise as they have shown tremendous potential to extract concealed patterns through the data. Today Deep learning systems are surpassing human-level vision capabilities, which leads ...
-
(Master thesis / Masteroppgave, 2014)This project focuses on how to benchmark a SMB/CIFS storage with trace and replay methodology. Traces are used primarily by file system researchers in an attempt to understand, categorize, and generalize file system ...
-
(Master thesis / Masteroppgave, 2017)Most Health Information Systems (HIS) in developing countries are fragmented and characterized by multiple overlapping and/or duplicate sub-HIS. The fragmentation of HIS is further identified by many researchers as the ...
-
(Master thesis / Masteroppgave, 2008)In this master thesis we investigate lambda calculus and the theory of combinatory logic. Two computational models strongly related to functional programming languages. The lambda calculus is a theoretical foundation and ...