Search for dissertations about: "bounded integer"
Showing result 1 - 5 of 16 swedish dissertations containing the words bounded integer.
-
1. Pharmacometric Investigations of Prediction Precision and Advances of Models for Composite Scale Data
Abstract : Clinical trials are needed to evaluate new treatments. In late-stage clinical trials, failures are mostly due to lack of efficacy. Fit-for-purpose analysis methods will likely increase the success rates and advance drug development by providing higher precision to support decisions such as go/no-go, dose selection, or sample size. READ MORE
-
2. Processes on Integer Partitions and Their Limit Shapes
Abstract : This thesis deals with processes on integer partitions and their limit shapes, with focus on deterministic and stochastic variants on one such process called Bulgarian solitaire. The main scientific contributions are the following. READ MORE
-
3. Interacting particle systems for opinion dynamics: the Deffuant model and some generalizations
Abstract : In the field of sociophysics, concepts and techniques taken from statistical physics are used to model and investigate some social and political behavior of a large group of humans: their social network is given by a simple graph and neighboring individuals meet and interact in pairs or small groups. Although most of the established models feature rather simple microscopic interaction rules, the macroscopic long-time behavior of the collective often eludes an analytical treatment due to the complexity, which stems from the interaction of the large system as a whole. READ MORE
-
4. Calculi for Program Incorrectness and Arithmetic
Abstract : This thesis is about the development and usage of deductive methods in two main areas: (i) the deductive dis-verification of programs, i.e., how techniques for deductive verification of programs can be used to detect program defects, and (ii) reasoning modulo integer arithmetic, i.e. READ MORE
-
5. Nontypical Behaviour of Orbits and Birkhoff Averages for Expanding Maps
Abstract : This thesis consists of an introductory chapter followed by five papers. In the first paper, expanding maps on the unit interval are considered. The set of points for which the forward orbit is bounded away from a given point is studied. It is shown that this set has full Hausdorff dimension and that it has large intersection properties. READ MORE