Avancerad sökning
Visar resultat 1 - 5 av 24 avhandlingar som matchar ovanstående sökkriterier.
1. Urban Change Detection Using Multitemporal SAR Images
Sammanfattning : Multitemporal SAR images have been increasingly used for the detection of different types of environmental changes. The detection of urban changes using SAR images is complicated due to the complex mixture of the urban environment and the special characteristics of SAR images, for example, the existence of speckle. LÄS MER
2. Urban Land-cover Mapping with High-resolution Spaceborne SAR Data
Sammanfattning : Urban areas around the world are changing constantly and therefore it is necessary to update urban land cover maps regularly. Remote sensing techniques have been used to monitor changes and update land-use/land-cover information in urban areas for decades. Optical imaging systems have received most of the attention in urban studies. LÄS MER
3. Silk Weaving in Sweden During the 19th Century : Textiles and texts - An evaluation of the source material
Sammanfattning : Silk-weaving in Sweden during the 19th century. Textiles and texts - An evaluation of the source material. With the rich material available, 19th century silk-weaving invites to studies on industrialisation processes. LÄS MER
4. Primitive Direcursion and Difunctorial Semantics of Typed Object Calculus
Sammanfattning : In the first part of this thesis, we contribute to the semantics of typed object calculus by giving (a) a category-theoretic denotational semantics using partial maps making use of an algebraic compactness assumption, (b) a notion of "wrappers'' by which algebraic datatypes can be represented as object types, and (c) proofs of computational soundness and adequacy of typed object calculus via Plotkin's FPC (with lazy operational semantics), thus making models of FPC suitable also for first-order typed object calculus (with recursive objects supporting method update, but not subtyping). It follows that a valid equation in the model induces operationally congruent terms in the language, so that program algebras can be studied. LÄS MER
5. Skräddaren, sömmerskan och modet : Arbetsmetoder och arbetsdelning i tillverkningen av kvinnlig dräkt 1770-1830
Sammanfattning : The aim of this study in textile studies and cultural history is to gain a greater understanding of what happened to the division of labour and manufacturing techniques when female fashions changed in the period 1770-1830. This was a time of upheaval as regards fashions, and a change in dress practice. LÄS MER