Sökning: "Type"
Visar resultat 11 - 15 av 11038 avhandlingar innehållade ordet Type.
11. Characterization of the Pancreas in Type 1 and Type 2 Diabetes
Sammanfattning : Diabetes is recognized by hyperglycaemia and polyuria. Complications, reduced quality of life and staggering health-care costs are all derived from the disease. Two subclasses of diabetes are Type 1 diabetes (T1D) and Type 2 diabetes (T2D). LÄS MER
12. Descriptive Types for XML Query Language Xcerpt
Sammanfattning : The thesis presents a type system for a substantial fragment of XML query language Xcerpt. The system is descriptive; the types associated with Xcerpt constructs are sets of data terms and approximate the semantics of the constructs.A formalism of Type Definitions, related to XML schema languages, is adopted to specify such sets. LÄS MER
13. Towards a practical programming language based on dependent type theory
Sammanfattning : Dependent type theories have a long history of being used for theorem proving. One aspect of type theory which makes it very powerful as a proof language is that it mixes deduction with computation. LÄS MER
14. Type 2 myocardial infarction : Aspects of diagnosis, prognosis and treatment
Sammanfattning : Unlike the coronary thromboembolic type 1 myocardial infarction (MI), a type 2 MI occurs secondary to other conditions causing an imbalance in myocardial oxygen supply and demand. Type 2 MI is associated with high mortality and evidence based treatment is lacking. LÄS MER
15. Modulations in B8-type Intermetallics
Sammanfattning : 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. LÄS MER