Avancerad sökning
Visar resultat 1 - 5 av 8 avhandlingar som matchar ovanstående sökkriterier.
1. Exponential integrators for stochastic partial differential equations
Sammanfattning : Stochastic partial differential equations (SPDEs) have during the past decades become an important tool for modeling systems which are influenced by randomness. Because of the complex nature of SPDEs, knowledge of efficient numerical methods with good convergence and geometric properties is of considerable importance. LÄS MER
2. An Observer-Based Technique with Trace Links for Requirements Validation in Embedded Real-Time Systems
Sammanfattning : With the growing complexity of embedded real-time systems, requirements validation becomes an ever-more critical activity for developing such systems. Studies have revealed that most of the anomalies, discovered in the development of complex systems, belong to requirement and specification phases. LÄS MER
3. Development of Methods for Determination of Fat and Trace Constituents in Food, with Emphasis on Supercritical Fluid Extraction
Sammanfattning : Sample preparation is the most time-consuming step in an analysis. Traditional sample preparation techniques consume large amounts of organic solvents, are time-consuming and are difficult to automate. LÄS MER
4. Summation formulae and zeta functions
Sammanfattning : This thesis in analytic number theory consists of 3 parts and 13 individual papers.In the first part we prove some results in Turán power sum theory. We solve a problem of Paul Erdös and disprove conjectures of Paul Turán and K. Ramachandra that would have implied important results on the Riemann zeta function. LÄS MER
5. Kantor Triple Systems
Sammanfattning : The main purpose of this thesis is to study real exceptional Kantor triple systems. In the first paper we first prove the known results in both the real and complex classical cases of K-simple Kantor triple systems. In the real classical case our approach gives somewhat simpler formulas. LÄS MER
