Sökning: "Upper bounds"
Visar resultat 16 - 20 av 114 avhandlingar innehållade orden Upper bounds.
16. Counting rational points on genus one curves
Sammanfattning : 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. LÄS MER
17. On Control and Estimation of Large and Uncertain Systems
Sammanfattning : This thesis contains an introduction and six papers about the control and estimation of large and uncertain systems. The first paper poses and solves a deterministic version of the multiple-model estimation problem for finite sets of linear systems. The estimate is an interpolation of Kalman filter estimates. LÄS MER
18. Dynamic threshold generators for robust fault detection
Sammanfattning : Detection of faults, such as clogged valves, broken bearings or biased sensors, has been brought more and more into focus during the last few decades. There are two main reasons why faults are important to detect at an early stage. LÄS MER
19. Garbage collection for reactive real-time systems
Sammanfattning : Predictable use of resources, such as processor time and memory, is a desirable property for virtually any computer system. In real-time computing, static predictability is of particular concern. LÄS MER
20. Termination and Cost Analysis : Complexity and Precision Issues
Sammanfattning : The research in this thesis is related to static cost and termination analysis.Cost analysis aims at estimating the amount of resources that a given programconsumes during the execution, and termination analysis aims at proving thatthe execution of a given program will eventually terminate. LÄS MER