Sökning: "bounded integer"
Visar resultat 1 - 5 av 16 avhandlingar innehållade orden bounded integer.
1. Pharmacometric Investigations of Prediction Precision and Advances of Models for Composite Scale Data
Sammanfattning : 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. LÄS MER
2. Processes on Integer Partitions and Their Limit Shapes
Sammanfattning : 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. LÄS MER
3. Interacting particle systems for opinion dynamics: the Deffuant model and some generalizations
Sammanfattning : 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. LÄS MER
4. Calculi for Program Incorrectness and Arithmetic
Sammanfattning : 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. LÄS MER
5. Nontypical Behaviour of Orbits and Birkhoff Averages for Expanding Maps
Sammanfattning : 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. LÄS MER