Avancerad sökning

Visar resultat 1 - 5 av 1201 avhandlingar som matchar ovanstående sökkriterier.

1. 1. Descriptive Set Theory and Applications

   Författare :Joao Pedro Paulos; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Sets of Uniqueness; Operator U-sets; Thin Sets; Descriptive Set Theory; ; Operator U0-sets; Point Spectrum; Reflexivity; Fourier Algebra; Jamison sequences; Harmonic Analysis;

   Sammanfattning : The systematic study of Polish spaces within the scope of Descriptive Set Theory furnishes the working mathematician with powerful techniques and illuminating insights. In this thesis, we start with a concise recapitulation of some classical aspects of Descriptive Set Theory which is followed by a succint review of topological groups, measures and some of their associated algebras. LÄS MER

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

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

   Sammanfattning : 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. LÄS MER

4. 3. How to Set Rational Environmental Goals : theory and applications

   Författare :Karin Edvardsson; John Cantwell; Erik Carlson; KTH; []
   Nyckelord :HUMANIORA; HUMANITIES; goal-setting; rationality; precision; evaluability; approachability; motivity; coherence; operationalization; goal conflicts; environmental objectives; sustainable development; Philosophy subjects; Filosofiämnen;

   Sammanfattning : Environmental goals are commonly set to guide work towards ecological sustainability. The aim of this thesis is to develop a precise terminology for the description of goals in terms of properties that are important in their practical use as decision-guides and to illustrate how it can be used in evaluations of environmental policy. LÄS MER

5. 4. Geometry and Critical Configurations of Multiple Views

   Författare :Fredrik Kahl; Matematik LTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; algebra; algebraic geometry; field theory; Number Theory; Matematik; Mathematics; reconstruction; image sequence; absolute conic; critical motions; critical surfaces; perspective projection; affine geometry; Euclidean geometry; multiple view geometry; projective geometry; group theory; Talteori; fältteori; algebraisk geometri; gruppteori; Mathematical logic; set theory; combinatories; Matematisk logik; mängdlära; kombinatorik;

   Sammanfattning : This thesis is concerned with one of the core problems in computer vision, namely to reconstruct a real world scene from several images of it. The interplay between the geometry of the scene, the cameras and the images is analyzed. LÄS MER

7. 5. Plato's Republic on Democracy : Freedom, Fear and Tyrants Everywhere

   Författare :Oda E. Wiese Tvedt; Pauliina Remes; Hallvard Fossheim; Patricia Mindus; Josiah Ober; Uppsala universitet; []
   Nyckelord :HUMANIORA; HUMANITIES; Plato; Socrates; democratic theory; democratic philosophy; political phi-losophy; political theory; Ancient political theory; action theory; ration-ality; social choice theory; autonomy; epistemic vulnerabilities; akrasia; moral psychology; Ancient political institutions; Ancient social institu-tions; Athens; tyranny; oligarchy; democracy; simultaneous vote; Kal-lipolis; guardians; kings; kingship; decision-making; city; soul; polis; self-knowledge; judgement; freedom; power; fear; The Republic; oikos; private; public; History of Philosophy; demos; collectives; Philosophy; with specialization in history of philosophy; Filosofi med filosofihistorisk inriktning; Filosofi; Philosophy;

   Sammanfattning : This thesis poses the question ‘What is the critique of democracy in Plato’s Republic?’ It is not the first to do so. But contrary to standard readings, this thesis does not assume neither epistemological nor elitist explanations. Rather, it sees the Kallipolis, ‘the beautiful city in words’ as predicated on a particular anthropology. LÄS MER