Search for dissertations about: "simple models"

Showing result 21 - 25 of 999 swedish dissertations containing the words simple models.

  2. 21. Models for coupled active-passive population dynamics : Mathematical analysis and simulation

    Author : Thi Kim Thoa Thieu; Adrian Muntean; Matteo Colangeli; Grigorios A. Pavliotis; Karlstads universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; pedestrian dynamics; simple exclusion process; Forchheimer flows; Skorohod equations; nonlinear coupling; heterogenous domain; homogenization; drafting; evacuation; Matematik; Mathematics;

    Abstract : In this dissertation, we study models for coupled active--passive pedestrian dynamics from mathematical analysis and simulation perspectives. The general aim is to contribute to a better understanding of complex pedestrian flows. READ MORE

  4. 22. Automatic Extraction of Program Models for Formal Software Verification

    Author : Pedro de Carvalho Gomes; Dilian Gurov; Einar Johnsen; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Software Verification; Static Analysis; Program Models; Petri Nets; Compositional Verification; Concurrency; Computer Science; Datalogi;

    Abstract : In this thesis we present a study of the generation of abstract program models from programs in real-world programming languages that are employed in the formal verification of software. The thesis is divided into three parts, which cover distinct types of software systems, programming languages, verification scenarios, program models and properties. READ MORE

  5. 23. Amperometric Biosensors for Detection of Analytes in Cellular Models

    Author : Jaime Castillo Leon; Centrum för analys och syntes; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Analytical chemistry; Simultaneous detection; Bienzyme electrode; Amperometric biosensors; Cellular models; Analytisk kemi; Electrochemistry; Elektrokemi;

    Abstract : Various biological problems such as disease mechanisms, drug development and toxicological studies motivated the introduction of cellular models that today also represent an alternative for reducing the use of animals in controversial medical and pharmaceutical experiments. Cells are complex matrices where several processes occur simultaneously. READ MORE

  6. 24. Mathematical Models of Molecular Evolution

    Author : Martin Nilsson; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; dynamic fitness landscapes; quasispecies; error thresholds; evolved mutation rates; evolution in dynamic environments;

    Abstract : This thesis deals with mathematical models of Darwinian evolution in populations of simple living organisms. We study models which describe how the representation of different gene sequences in the population is affected by the fundamental forces of evolutionary processes, such as selection pressure, the mutation rate and the time dynamics of the underlying fitness landscape. READ MORE

  7. 25. Methane dynamics in northern lakes : Insights from multi-scale observations

    Author : Jonathan Schenk; David Bastviken; Magnus Gålfalk; Damien Maher; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Methane; Lakes; Variability; Sampling design; Models;

    Abstract : Methane (CH4) is a potent greenhouse gas which is emitted to the atmosphere from both natural and anthropogenic sources. Current evidence indicates that lakes account for a large part of the global emissions of CH4, but their contribution is difficult to quantify because of large temporal and spatial variability in processes leading to CH4 fluxes from lakes to the atmosphere. READ MORE