Blar i Bergen Open Research Archive på tittel
Viser treff 31955-31974 av 34122
-
Type I interferon pathway assays in studies of rheumatic and musculoskeletal diseases: a systematic literature review informing EULAR points to consider
(Journal article; Peer reviewed, 2023)Objectives: To systematically review the literature for assay methods that aim to evaluate type I interferon (IFN-I) pathway activation and to harmonise-related terminology. Methods: Three databases were searched for ... -
Type of broadleaf forest matters most for ptyctimous mite communities (Acari, Oribatida) in Norway
(Journal article; Peer reviewed, 2021)We studied ptyctimous moss mites, which are characteristic of forest habitats, in Norwegian broadleaf forests considered as biodiversity hotspot areas in Fennoscandia. The study aimed to evaluate the effect of different ... -
A type system for counting instances of software components
(Peer reviewed; Journal article, 2012)We identify an abstract language for component software based on process algebra. Besides the usual operators for sequential, alternative and parallel composition, it has primitives for instantiating components and for ... -
A Type System for the Safe Instantiation of Components
(Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, Journal article, 2003-09-02)Component composition can lead to multiple instances of the same component. Some components can have only one instance loaded at a time, for example, when a unique external resource is used. We give an abstract component ... -
A Type System for Usage of Software Components
(Lecture Notes in Computer Science, Chapter; Peer reviewed, 2009)The aim of this article is to support component-based software engineering by modelling exclusive and inclusive usage of software components. Truong and Bezem describe in several papers abstract languages for component ... -
Type Systems for Guaranteeing Resource Bounds of Component Software
(Doctoral thesis, 2006-05-15)Since the early days of the development of programming languages, people have been developing various methods to reduce the runtime errors of software programs. These methods range from static analysis, testing to runtime ... -
Type Systems for Resource Use in Component Software
(Master thesis, 2006)In many situations a programmer must be concerned with resources which are not accounted and controlled completely by the programming language. These could be external physical resources, like a printer or a screen, it ... -
Type theoretical databases
(Journal article; Peer reviewed, 2020)We show how the display-map category of finite (symmetric) simplicial complexes can be seen as representing the totality of database schemas and instances in a single mathematical structure. We give a sound interpretation ... -
Types of pulsating aurora: Comparison of model and EISCAT electron density observations
(Journal article; Peer reviewed, 2022)Energetic particle precipitation associated with pulsating aurora (PsA) can reach down to lower mesospheric altitudes and deplete ozone. It is well documented that pulsating aurora is a common phenomenon during substorm ... -
Typical Sequences Revisited - Computing Width Parameters of Graphs
(Journal article; Peer reviewed, 2021)In this work, we give a structural lemma on merges of typical sequences, a notion that was introduced in 1991 [Lagergren and Arnborg, Bodlaender and Kloks, both ICALP 1991] to obtain constructive linear time parameterized ... -
Typical Sequences Revisited – Computing Width Parameters of Graphs
(Journal article; Peer reviewed, 2020)In this work, we give a structural lemma on merges of typical sequences, a notion that was introduced in 1991 [Lagergren and Arnborg, Bodlaender and Kloks, both ICALP 1991] to obtain constructive linear time parameterized ... -
The typification of Variolaria discoidea Pers.
(Journal article; Peer reviewed, 2023)The type species of the lichen genus Variolaria is V. discoidea. The name is solely based on a Hoffmann (1784) illustration. To stabilize the nomenclature, we have designated a lectotype and an epitype from Germany, for ... -
Typisk språkutvikling hos norske barn: en studie i bruk av verb
(Master thesis, 2022-05-19)Formålet med denne studien har vært å undersøke hva som kjennetegner typisk språkutvikling, for senere å kunne støtte identifiseringen av atypisk språkutvikling. Nærmere bestemt har vi undersøkt ulike morfosyntaktiske mål ... -
Typologies in GPs’ referral practice
(Peer reviewed; Journal article, 2016-07-18)Background: GPs’ individual decisions to refer and the various ways of working when they refer are important determinants of secondary care use. The objective of this study was to explore and describe potential characteristics ... -
A Typology of the Philosopher Ludwig Wittgenstein’s Writing of Text Alternatives
(Journal article; Peer reviewed, 2020)The paper describes the philosopher Ludwig Wittgenstein’s writing of text alternatives as it manifests itself in his manuscripts. Decided, undecided and cancelled alternatives are distinguished. Moreover, Wittgensteinian ... -
Tyrosine and tryptophan hydroxylases as therapeutic targets in human disease
(Peer reviewed; Journal article, 2017)Introduction: The ancient and ubiquitous monoamine signalling molecules serotonin, dopamine, norepinephrine, and epinephrine are involved in multiple physiological functions. The aromatic amino acid hydroxylases tyrosine ... -
Tyrosine kinase inhibitors and interferon‐α increase tunneling nanotube (TNT) formation and cell adhesion in chronic myeloid leukemia (CML) cell lines (
(Journal article; Peer reviewed, 2020)Chronic myeloid leukemia (CML) is a stem cell disease of the bone marrow where mechanisms of inter‐leukemic communication and cell‐to‐cell interactions are proposed to be important for optimal therapy response. Tunneling ... -
Tyrosinemia Type 1 and symptoms of ADHD: Biochemical mechanisms and implications for treatment and prognosis
(Peer reviewed; Journal article, 2020)Hereditary tyrosinemia Type 1 (HT‐1) is a rare metabolic disease where the enzyme catalyzing the final step of tyrosine breakdown is defect, leading to accumulation of toxic metabolites. Nitisinone inhibits the degradation ... -
Tyske sykehusleger i Norge i et institusjonelt perspektiv
(Doctoral thesis, 2013-09-06)Sammendrag Ifølge litteraturen er institusjonelle logikker sosialt konstruert av institusjonelle aktører, kan reproduseres eller endres gjennom politiske beslutninger og fungerer som institusjonell mal for stater, ...