Search for dissertations about: "POINTS"

Showing result 1 - 5 of 2718 swedish dissertations containing the word POINTS.

2. 1. Metamathematical fixed points

   Author : Rasmus Blanck; Göteborgs universitet; []
   Keywords : HUMANIORA; HUMANITIES; arithmetised metamathematics; fixed point; recursion theory;

   Abstract : This thesis concerns the concept of metamathematical fixed points. After an introduction, we survey the field of metamathematics, from la fin du siècle to present. We are especially interested in the notion of fixed points, theorems on the existence of various kinds of fixed points, and their applications to metamathematics. READ MORE

4. 2. Points on Production : Taphonomic research on Mesolithic osseous assemblages in Sweden

   Author : Sara Gummesson; Jan Storå; Ola Magnell; Kenneth Ritchie; Stockholms universitet; []
   Keywords : HUMANIORA; HUMANITIES; Osteoarchaeological patterns; Taphonomic analysis; Osseous craft; Mesolithic; Spatial studies; arkeologi; Archaeology;

   Abstract : Osteoarchaeological materials are influenced by many consecutive factors, from human hunting strategies, consumption patterns and waste disposal to mechanical and chemical changes in bone structure and shape. Here Mesolithic osteoarchaeological patterns have been examined in relation to the production of bone and antler artefacts. READ MORE

5. 3. Benchmarking Points-to Analysis

   Author : Tobias Gutzmann; Welf Löwe; Jonas Lundberg; Sibylle Schupp; Linnéuniversitetet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Points-to Analysis; Dataflow Analysis; Static Analysis; Dynamic Analysis; Gold Standard; Software Technology; Programvaruteknik;

   Abstract : Points-to analysis is a static program analysis that, simply put, computes which objects created at certain points of a given program might show up at which other points of the same program. In particular, it computes possible targets of a call and possible objects referenced by a field. READ MORE

6. 4. Counting rational points on genus one curves

   Author : Manh Hung Tran; Göteborgs universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Diophantine equations; rational points; Elliptic curves; genus; descent; determinant method; cubic and quartic curves; genus;

   Abstract : This thesis contains two papers dealing with counting problems for curves of genus one. We obtain uniform upper bounds for the number of rational points of bounded height on such curves. The main tools to study these problems are descent and various refined versions of Heath-Brown’s p-adic determinant method. READ MORE

7. 5. Ramification numbers and periodic points in arithmetic dynamical systems

   Author : Jonas Nordqvist; Karl-Olof Lindahl; Johan Öinert; Linnéuniversitetet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; ramification numbers; local fields; arithmetic dynamics; periodic points; Nottingham group; Mathematics; Matematik;

   Abstract : The field of discrete dynamical systems is a rich and active field of research within mathematics, with applications ranging from biology to computer science, finance, engineering and various others. In this thesis properties of certain discrete dynamical systems are studied together with number theoretic properties of the functions defining these systems. READ MORE