Sökning: "General Linear Model"

Visar resultat 1 - 5 av 408 avhandlingar innehållade orden General Linear Model.

1. 1. Regular Model Checking

   Författare :Marcus Nilsson; Bengt Jonsson; Parosh Aziz Abdulla; Kim Larsen; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; formal methods; model checking; verification; regular sets; Computer science; Datavetenskap;

   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

3. 2. The Quest for Robust Model Selection Methods in Linear Regression

   Författare :Prakash Borpatra Gohain; Magnus Jansson; K.V.S Hari; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Model selection; information criterion; linear regression; sparsity; high dimensional; Electrical Engineering; Elektro- och systemteknik; Mathematical Statistics; Matematisk statistik;

   Sammanfattning : A fundamental requirement in data analysis is fitting the data to a model that can be used for the purpose of prediction and knowledge discovery. A typical and favored approach is using a linear model that explains the relationship between the response and the independent variables. LÄS MER

4. 3. A new non-linear GARCH model

   Författare :Gustaf E. Hagerud; Handelshögskolan i Stockholm; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : This dissertation contains four papers in the field of financial econometrics. In the first paper, A Smooth Transition ARCH Model for Asset Returns, a new class of ARCH models is introduced. The model class allows for non-linearity in the equation for the conditional variance. LÄS MER

5. 4. Stochastic model updating and model selection with application to structural dynamics

   Författare :Majid Khorsand Vakilzadeh; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Finite element model; Bayesian model selection; Bayesian model updating; stochastic simulation; Bootstrapping; Subspace system identification; Uncertainty quantification;

   Sammanfattning : Uncertainty induced by our incomplete state of knowledge about engineering systems and their surrounding environment give rise to challenging problems in the process of building predictive models for the system behavior. One such challenge is the model selection problem, which arises due to the existence of invariably multiple candidate models with different mathematical forms to represent the system behavior, and so there is a need to assess their plausibility based on experimental data. LÄS MER

7. 5. Regular model checking

   Författare :Marcus Nilsson; Bengt Jonsson; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

   Sammanfattning : We present regular model checking, a framework for algorithmic verification of infinite-state systems with, e.g., queues, stacks, integers, or a parameterized linear topology. States are represented by strings over a finite alphabet and the transition relation by a regular length-preserving relation on strings. LÄS MER