Sökning: "A-type"

Visar resultat 16 - 20 av 392 avhandlingar innehållade ordet A-type.

1. 16. Protecting Information under Dynamic Policies: Specification, Conditions and Enforcement

   Författare :Bart van Delft; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; dynamic policies; datalog; information flow control; enforcement; security condition;

   Sammanfattning : Information-flow control enforces security policies on the information handled by computer applications. These policies often contain dynamic aspects, specifying how the confidentiality and integrity of information changes over time. This thesis focuses on the enforcement of such dynamic policies. The contributions are divided into three parts. LÄS MER

3. 17. Extragalactic extinction and spectral properties of Type Ia supernovae

   Författare :Linda Östman; Ariel Goobar; Avishay Gal-Yam; Stockholms universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Type Ia supernovae; cosmology; spectroscopy; dust extinction; quasars; axions; Physics; Fysik; fysik; Physics;

   Sammanfattning : The use of Type Ia supernovae as standardisable candles for probing cosmological parameters with high precision requires good knowledge about how the supernova light is affected along the line of sight and how the intrinsic brightness varies between objects. The work in this thesis addresses these topics. LÄS MER

4. 18. The bank vole (Myodes glareolus) – a novel animal model for the study of diabetes mellitus

   Författare :Martin Blixt; Stellan Sandler; Johnny Ludvigsson; Uppsala universitet; []
   Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Bank vole; pancreatic islets; diabetes mellitus; hydropic degeneration; proinflammatory cytokine; Diabetology; Diabetologi; Endocrinology; Endokrinologi; Medical Cell Biology; Medicinsk cellbiologi;

   Sammanfattning : The bank vole (Microtus arvalis) develops glucose intolerance both when kept in captivity and in the wild state. Glucose intolerant bank voles kept in captivity exhibited polydipsia, polyuria, hyperglycemia, hyperinsulinemia, islet autoantibodies and a markedly changed islet structure resembling so–called hydropic degeneration. LÄS MER

5. 19. Cytokine regulation in rodents with experimental arthritis

   Författare :Åsa Boström Müssener; Karolinska Institutet; Karolinska Institutet; []
   Nyckelord :collagen-induced arthritis; oil-induced arthritis; IL-2; IL-4; TNFa; IFNy; TGFß;

   Sammanfattning : The general aim of this project has been to try to elucidate the mechanisms behind induction of arthritis by using in situ hybridization and immunohistochemical methods to analyse the dynamics of the cytokine network in vivo, in the peripheral Iymphoid system and in the joints of rodents with collagen-induced arthritis (CIA)and oil-induced arthritis (OIA). We first examined the kinetics of cytokine gene expression in vivo, in the draining Iymph nodes of DA rats following immunization with rat type II collagen (RCII) emulsified in Freund's incomplete adjuvant oil (FIA) or with only FIA, which are regimens that induce CIA and OIA, respectively. LÄS MER

7. 20. Exact completion and type-theoretic structures

   Författare :Jacopo Emmenegger; Erik Palmgren; Alexander Berglund; Maria Emilia Maietti; Stockholms universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; exact completion; type theory; setoid; weak limits; cartesian closure; inductive types; Mathematics; matematik;

   Sammanfattning : This thesis consists of four papers and is a contribution to the study of representations of extensional properties in intensional type theories using, mainly, the language and tools from category theory. Our main focus is on exact completions of categories with weak finite limits as a category-theoretic description of the setoid construction in Martin-Löf's intensional type theory. LÄS MER