Sökning: "Compositional data"

Visar resultat 11 - 15 av 77 avhandlingar innehållade orden Compositional data.

  1. 11. 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

  3. 12. Algorithmic Verification of Procedural Programs in the Presence of Code Variability

    Författare :Siavash Soleimanifard; Dilian Gurov; Doron Peled; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : This thesis addresses the formal verification of temporal properties of procedural programs that are dynamically or statically configured by replacing, adapting, or adding new components. Dealing with such variable programs is challenging because a part of the program is either not available at verification time or changes frequently. LÄS MER

  4. 13. Modelling and Verification of Real-Time Systems Using Timed Automata : Theory and Practice

    Författare :Paul Pettersson; Wang Yi; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

    Sammanfattning : During the last decade, model-checking techniques for the verification of timed system have been developed baaed on the theory of timed automata. The practical limitation in applying these techniques to industrial-size systems is the huge amount of time and memory needed to explore and store the state-space of the system model. LÄS MER

  5. 14. Hierarchical Real Time Scheduling and Synchronization

    Författare :Moris Behnam; Mikael Sjödin; Thomas Nolte; Björn Andersson; Mälardalens högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer engineering; Datorteknik; Datavetenskap;

    Sammanfattning :   The Hierarchical Scheduling Framework (HSF) has been introduced to enable compositional schedulability analysis and execution of embedded software systems with real-time constraints. In this thesis, we consider a system consisting of a number of semi-independent components called subsystems, and these subsystems are allowed to share logical resources. LÄS MER

  7. 15. Tracking Information Flows in Interactive and Object-Oriented Programs

    Författare :Willard Thor Rafnsson; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; information security; privacy; static analysis; information flow; program analysis; confidentiality; dependency analysis;

    Sammanfattning : This thesis improves the current state of the art on information-flow control of interactive and object-oriented programs, respectively. Given a policy which specifies which information flows are permitted in a program, the objective here is to ensure that only flows satisfying the policy can occur. LÄS MER