Search for dissertations about: "different type £"

Showing result 1 - 5 of 5160 swedish dissertations containing the words different type £.

2. 1. Genetic interaction between Type 1 and Type 2 diabetes

   Author : Haiyan Li; Malmö Institutionen för kliniska vetenskaper; []
   Keywords : MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Endocrinology; IDDM2.; Insulin gene VNTR; HLA; IDDM1; mixed type 1 2; Mixed type 1 type 2 diabetes families; LADA; GADabs; Autoantibodies against GAD65; Type 1 diabetes; Type 2 diabetes; diabetology; secreting systems; sekretion; diabetologi; Endokrinologi;

   Abstract : There are two major types of diabetes, type 1 and type 2 diabetes. Similarly characterized by hyperglycaemia and long term micro- and macrovascular complications, type 1 and type 2 diabetes have different underlying pathophysiologic processes. In Scandinavia, type 1 diabetes is common; type 2 diabetes accounts for 85% of all cases with diabetes. READ MORE

4. 2. Univalent Types, Sets and Multisets : Investigations in dependent type theory

   Author : Håkon Robbestad Gylterud; Erik Palmgren; Nicola Gambino; Stockholms universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; type theory; homotopy type theory; dependent types; constructive set theory; databases; formalisation; agda; Mathematics; matematik;

   Abstract : This thesis consists of four papers on type theory and a formalisation of certain results from the two first papers in the Agda language. We cover topics such as models of multisets and sets in Homotopy Type Theory, and explore ideas of using type theory as a language for databases and different ways of expressing dependencies between terms. READ MORE

5. 3. Modulations in B8-type Intermetallics

   Author : Margareta Elding-Pontén; Centrum för analys och syntes; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Electron diffraction; X-ray diffraction; Superspace group; Edshammar polyhedron; Mn-Sn; Cu-In; B8-type; Ni2In; NiAs; Modulation; Superstructure; Inorganic chemistry; Oorganisk kemi;

   Abstract : The B8-type regions of the Mn-Sn and Cu-In systems have been investigated by means of electron and X-ray diffraction. The importance of the combination of these techniques in the study of B8-type phases is pointed out. In addition to the B8-type phases an alloy with a quasicrystal approximant structure has been studied. READ MORE

6. 4. Office type, performance and well-being : A study of how personality and work tasks interact with contemporary office environments and ways of working

   Author : Aram Seddigh; Hugo Westerlund; Erik Berntson; Fredrik Jönsson; Eva Vingård; Stockholms universitet; []
   Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Office type; open-plan office; flex office; cell office; performance; job satisfaction; distraction; self-rated health; well-being; cognitive stress; exhaustion; individual differences; personality; concentration; stim-ulus screening ability; memory; Kontorstyp; kontorslandskap; flexkontor; cellkontor; produktivitet; arbetstillfredsställelse; distraktion; självskattat hälsa; trivsel; kognitiv stress; utmattning; individuella skillnader; personlighet; koncentration; arbetsminne; Psychology; psykologi;

   Abstract : Today, many organisations are adopting offices that have an open design with or without flexible seating. While advocates of open-plan offices propose that these office types lead to cost savings and aid inter and intra-team communication, opponents argue that these office types are associated with decreased performance and worsened health among employees. READ MORE

7. 5. Relations in Dependent Type Theory

   Author : Carlos Gonzalía; Göteborgs universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; formalized mathematics; relational systems; category theory; programming logics; constructive type theory; logical frameworks; relational database model;

   Abstract : This thesis investigates how to express and reason about relational concepts and methods inside the constructive logical framework of Martin-Löf's monomorphic type theory. We cover several areas where the notion of relation is central, and show how to formalize the basic concepts of each area. READ MORE