Sökning: "type"

Visar resultat 6 - 10 av 11075 avhandlingar innehållade ordet type.

1. 6. Solar Type Stars as Calibrators : A Photometric and Spectroscopic Study on the Atmospheric Properties of Late-type Stars

   Författare :Anna Önehag; Ulrike Heiter; Andreas Korn; Bengt Gustafsson; Frank Grundahl; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; stars: atmospheres; stars: late-type; techniques: photometric; stars: abundances; techniques: spectroscopic; Astronomy; Astronomi;

   Sammanfattning : Detailed knowledge of solar-type stars is essential in the understanding of the evolutionary past, presence and future of the Sun as well as the formation of its planetary system. Moreover, solar-type stars are of key significance for the study of the evolution of the Galaxy. The ages of solar-type stars map the full galactic evolution. LÄS MER

3. 7. Type Ia Supernovae : Homogeneity and Diversity

   Författare :Gabriele Garavini; Ariel Goobar; David Branch; Stockholms universitet; []
   Nyckelord :Physics;

   Sammanfattning : The use of type Ia supernovae as distance estimators has shown that about 75% of the energy content of the universe has a negative equation of state parameter and thus, drives the acceleration of the universe. Constraining the exact nature of this energy is one of the main goals in cosmology. LÄS MER

4. 8. Cubical Intepretations of Type Theory

   Författare :Simon Huber; Göteborgs universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Dependent Type Theory; Univalence Axiom; Models of Type Theory; Identity Types; Cubical Sets;

   Sammanfattning : The interpretation of types in intensional Martin-Löf type theory as spaces and their equalities as paths leads to a surprising new view on the identity type: not only are higher-dimensional equalities explained as homotopies, this view also is compatible with Voevodsky's univalence axiom which explains equality for type-theoretic universes as homotopy equivalences, and formally allows to identify isomorphic structures, a principle often informally used despite its incompatibility with set theory. While this interpretation in homotopy theory as well as the univalence axiom can be justified using a model of type theory in Kan simplicial sets, this model can, however, not be used to explain univalence computationally due to its inherent use of classical logic. LÄS MER

5. 9. Antigen-specific islet antibodies: prediction of beta cell failure and differentiation between Type 1 and Type 2 diabetes

   Författare :Henrik Borg; Malmö Institutionen för kliniska vetenskaper; []
   Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; diabetology; Endokrinologi; secreting systems; Endocrinology; seropositive; seronegative; slowly-progressive; Type 2; Type 1; classification; IA-2A; IA-2; GADA; GAD; ICA; islet antibodies; C-peptide; beta cell function; diabetes mellitus; adult-onset; sekretion; diabetologi;

   Sammanfattning : Autoantibodies against glutamic acid decarboxylase (GADA), protein tyrosine-phosphatase-like protein (IAÐ2A), and/or pancreatic islet cells (ICA) are autoimmune markers usually present at diagnosis of Type 1 diabetes. Type 1 diabetes is therefore in general believed to be caused by an immune-mediated beta cell destruction. LÄS MER

7. 10. Adolescent type 1 diabetes : Eating and gastrointestinal function

   Författare :Maria Lodefalk; Peter Bang; Jan Åman; Hans-Jacob Bangstad; Sweden Stockholm Karolinska institutet; Karolinska Institutet; Karolinska Institutet; []
   Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; type 1 diabetes; adolescence; food habits; gastrointestinal symptoms; incretins; ghrelin; eating disorders; gastric emptying; postprandial glycaemia; Pediatrik; Pediatrics;

   Sammanfattning : Adolescents with type 1 diabetes (T1DM) are given nutritional education, but the knowledge about their adherence to the food recommendations and associations between dietary intake and metabolic control is poor. Gastrointestinal symptoms are more prevalent in adults with T1DM than in healthy controls, which may be due to disturbed gastrointestinal motility. LÄS MER