Sökning: "partial observations"

Visar resultat 11 - 15 av 95 avhandlingar innehållade orden partial observations.

  1. 11. Combined Static and Dynamic Verification of Object Oriented Software Through Partial Proofs

    Författare :Mauricio Chimento; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : When verifying software one can make use of several verification techniques. These techniques mostly fall in one of two categories: Static Verification and Dynamic Verification. Static verification deals with the analysis of either concrete source code, or a model of it. LÄS MER

  3. 12. Reconstruction of Past European Land Cover Based on Fossil Pollen Data : Gaussian Markov Random Field Models for Compositional Data

    Författare :Behnaz Pirzamanbein; Matematisk statistik; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Spatial Statistics; Adaptive Markov Chain Monte Carlo; Dirichlet Observation; Confidence Region; Palaeoecology; Past Human Land Use; Stochastic Partial Differential Equation;

    Sammanfattning : The aim of this thesis is to develop statistical models to reconstruct past land cover composition and human land use based on fossil pollen records over Europe for different time periods over the past 6000 years. Accurate maps of past land cover and human land use are needed when studying the interaction between climate and land surface, and the effects of human land use on past climate. LÄS MER

  4. 13. Free-Vehicle Benthic Lander Technology for the Study of Biogeochemical Processes in Marine Sediments

    Författare :Anders Tengberg; Göteborgs universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; marine sediments; benthic fluxes; incubations; chambers; in-situ; benthic landers; autonomous vehicles; lander technology; hydrodynamics; calibration; experimental design; Partial Least Squares PLS ; sensors; fugacity; oxygen; carbon; nitrogen; phosphorus; silica; dissolved organic carbon DOC ; total carbonate; recycling; burial; lander technology;

    Sammanfattning : Various sediment sampling and incubation techniques were used to characterize benthic biogeochemical processes important for an improved understanding of the oceanic carbon cycle. Recent flux data from the Arctic Siberian shelf are revealing differences (often by a factor of ten) between areas affected by the big Russian river outlets (high fluxes) and areas with low influence from land (low fluxes). LÄS MER

  5. 14. Planned Change and Inertia : Integrating Technology, Organization and Human Aspects

    Författare :Eva Lovén; Horst Hart; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : New work organization and new computer-based tools can save costs and improve quality. A fact that often is not acknowledged is that new work organization and new computer-based tools take resources from the organization.Three empirical studies were performed in production, concerning changed work organization and managerial innovation. LÄS MER

  7. 15. Quality and Ergonomics : towards successful integration

    Författare :Jan R.C. Axelsson; Pascale Carayon; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : The understanding and practice of ergonomics, built on the knowledge of human characteristics, abilities and needs, plays a fundamental role in satisfying people - whether they are labelled customers, users or workers. In this context ergonomics and quality can be regarded as overall approaches, as philosophies taking account of people in the way things are designed and organised. LÄS MER