Sökning: "partial model"

Visar resultat 1 - 5 av 804 avhandlingar innehållade orden partial model.

1. 1. Case studies in omniparametric simulation

   Författare :Fredrik Lundin; Göteborgs universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; growth model; Ising model; Markov chain; omnithermal simulation; omniparametric simulationpercolatiion; Potts model; parameter estimation; partial observations; random cluster model; Richardson model; simulation driven parameter estimation; two-type Richardson model; omnithermal simulation;

   Sammanfattning : In the eld of particle systems and growths models simulation is an important tool. When explicit calculations are too complex or impossible to perform we may use simulations instead. We adapt a new technique here denoted omniparametric simulation, to the two-type Richardson, Ising and Potts models. LÄS MER

3. 2. Modelling animal populations

   Författare :Åke Brännström; Umeå universitet; []
   Nyckelord :population model; stochastic population model; population dynamics; discrete time model; Beverton-Holt model; Skellam model; Hassell model; Ricker model; first principles; coupled map lattice; CML; area integral; square function; Mathematics; matematik;

   Sammanfattning : This thesis consists of four papers, three papers about modelling animal populations and one paper about an area integral estimate for solutions of partial differential equations on non-smooth domains. The papers are: I. Å. Brännström, Single species population models from first principles. LÄS MER

4. 3. Effective Techniques for Stateless Model Checking

   Författare :Stavros Aronis; Konstantinos Sagonas; Bengt Jonsson; Patrice Godefroid; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Concurrent; Parallel; Model Checking; Partial Order Reduction; Dynamic Partial Order Reduction; DPOR; Sleep Set Blocking; Source Sets; Source DPOR; Wakeup Trees; Optimal DPOR; Observers; Verification; Bounding; Exploration Tree Bounding; Testing; Erlang; Concuerror; Protocol; Chain Replication; CORFU; Computer Science; Datavetenskap;

   Sammanfattning : Stateless model checking is a technique for testing and verifying concurrent programs, based on exploring the different ways in which operations executed by the processes of a concurrent program can be scheduled. The goal of the technique is to expose all behaviours that can be a result of scheduling non-determinism. LÄS MER

5. 4. Coaching partial plans : an approach to knowledge-based tutoring

   Författare :Tomas Sokolnicki; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : The thesis describes a design for how a tutoring system can enhance the educational capabilities of a conventional knowledge-based system. Our approach to intelligent tutoring has been conceived within the framework of the KNOWLEDGE-LINKER project, which aims to develop tools and methods to support knowledge management and expert advice-giving for generic applications. LÄS MER

7. 5. A Facet Model of the Logical Operational Structures of Piaget's Theory : Guttman's Facet Design applied to Piaget's Theory

   Författare :Barbro Bergling; Siv Fischbein; Stockholms universitet; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; facet design; Piaget; operational thinking; Rasch; partial credit model; hierarchical model; psykologi; Psychology;

   Sammanfattning : This thesis explored whether the complex structure of Piaget's theory of operational thinking could be synthesized into a facet model by means of facet design. The aims were: (1) to deduce from detailed conceptual analyses of 12 of Piaget's classical experiments the essential parts of the operational structures (Study I); (2) to explore the internal structure of his constructs in terms of a mapping sentence (Study II); (3) to study the hierarchical structure of the interrelationships between the constructs (Study III); and (4) to apply the facet model in the development of test items (Study II and IV). LÄS MER