Search for dissertations about: "exact model"

Showing result 1 - 5 of 375 swedish dissertations containing the words exact model.

  2. 1. Stochastic model updating and model selection with application to structural dynamics

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

    Abstract : 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. READ MORE

  4. 2. Environmental System Analysis of Waste Management : Experiences from Applications of the ORWARE Model

    Author : Anna Björklund; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; municipal solid waste MSW ; waste management; waste management planning; model; environmental systems analysis; life cycle assessment LCA ; substance flow analysis SFA ; substance flows; environmental impact; energy; uncertainty; Chemical engineering; Kemiteknik;

    Abstract : Waste management has gone through a history of shiftingproblems, demands, and strategies over the years. In contrastto the long prevailing view that the problem could be solved byhiding or moving it, waste is now viewed as a problem rangingfrom local to global concern, and as being an integral part ofseveral sectors in society. READ MORE

  5. 3. On the Logic of Theory Change : Extending the AGM Model

    Author : Eduardo Fermé; John Cantwell; David Makinson; KTH; []
    Keywords : HUMANIORA; HUMANITIES; Logic of Theory Change. AGM model. Belief Bases; Iterated Models; Multiple belief change; AGM and defeasible Logic; Logic; Logik;

    Abstract : This thesis consists in six articles and a comprehensive summary. • The pourpose of the summary is to introduce the AGM theory of belief change and to exemplify the diversity and significance of the research that has been inspired by the AGM article in the last 25 years. READ MORE

  6. 4. Exact completion and type-theoretic structures

    Author : Jacopo Emmenegger; Erik Palmgren; Alexander Berglund; Maria Emilia Maietti; Stockholms universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; exact completion; type theory; setoid; weak limits; cartesian closure; inductive types; Mathematics; matematik;

    Abstract : This thesis consists of four papers and is a contribution to the study of representations of extensional properties in intensional type theories using, mainly, the language and tools from category theory. Our main focus is on exact completions of categories with weak finite limits as a category-theoretic description of the setoid construction in Martin-Löf's intensional type theory. READ MORE

  7. 5. Correlated materials : models and methods

    Author : Hugo Strand; Göteborgs universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; correlated electrons; Hubbard model; multiband Hubbard model; dynamical mean field theory; exact diagonalization; Landau theory; Mott metal-insulator transition; Gutzwiller method; many-body point group symmetry; ironchalcogenides; Kanamori interaction; Slater-Condon interaction;

    Abstract : This thesis encompass a series of studies on methods and models for electron systems with local interactions, relevant for correlated materials. The first study focus on the canonical model for local correlation, the Hubbard model. READ MORE