Avancerad sökning
Visar resultat 1 - 5 av 2482 avhandlingar som matchar ovanstående sökkriterier.
1. Improved pharmacometric model building techniques
Sammanfattning : Pharmacometric modelling is an increasingly used method for analysing the outcome from clinical trials in drug development. The model building process is complex and involves testing, evaluating and diagnosing a range of plausible models aiming to make an adequate inference from the observed data and predictions for future studies and therapy. LÄS MER
2. Model Selection
Sammanfattning : Before using a parametric model one has to be sure that it offers a reasonable description of the system to be modeled. If a bad model structure is employed, the obtained model will also be bad, no matter how good is the parameter estimation method. There exist many possible ways of validating candidate models. LÄS MER
3. Fluid Mechanics of Vertical Axis Turbines : Simulations and Model Development
Sammanfattning : Two computationally fast fluid mechanical models for vertical axis turbines are the streamtube and the vortex model. The streamtube model is the fastest, allowing three-dimensional modeling of the turbine, but lacks a proper time-dependent description of the flow through the turbine. LÄS MER
4. Regular Model Checking
Sammanfattning : A major current challenge in the area of program verification is to extend its applicability to infinite-state systems. A system can be infinite-state because it operates on unbounded data structures, such as queues, stacks, integers, etc., or because its description is parameterized by the number of components inside the system. LÄS MER
5. Model Selection and Sparse Modeling
Sammanfattning : Parametric signal models are used in a multitude of signal processing applications. This thesis deals with signals for which there are many candidate models, and it is not a priori known which model is the most appropriate one. LÄS MER