Avancerad sökning
Visar resultat 1 - 5 av 26 avhandlingar som matchar ovanstående sökkriterier.
1. Contributions to Pointfree Topology and Apartness Spaces
Sammanfattning : The work in this thesis contains some contributions to constructive point-free topology and the theory of apartness spaces. The first two papers deal with constructive domain theory using formal topology. LÄS MER
2. On Constructive Sets and Partial Structures
Sammanfattning : The first three papers in this thesis study the formalisation of a set in type theory as a data type with an equivalence relation – an object usually known as a setoid. The corresponding formalisation of a locally small category is called an E-category. LÄS MER
3. Topics on Function Spaces and Multilinear Algebra
Sammanfattning : The present thesis consists of three different papers. Indeed, they treat two different research areas: function spaces and multilinear algebra. In paper I, a characterization of continuity of the $p$-$\Lambda$-variation function is given and Helly's selection principle for $\Lambda BV^{(p)}$ functions is established. LÄS MER
4. The role and use of water in agriculture in the Western Balkans: the case of Macedonia
Sammanfattning : This thesis examines the role and demand for water in Macedonia from an economic perspective with an emphasis on agricultural use. The first paper provides an overview of the Macedonian agricultural sector and assesses the productivity growth in the period 1999-2010. In the study period, the sector experienced an average increase in volume of 1. LÄS MER
5. Real and complex Monge-Ampère equations, statistical mechanics and canonical metrics
Sammanfattning : Recent decades has seen a strong trend in complex geometry to study canonical metrics and the way they relate to geometric analysis, algebraic geometry and probability theory. This thesis consists of four papers each contributing to this field. The first paper sets up a probabilistic framework for real Monge-Ampère equations on tori. LÄS MER
