Sökning: "compositional methods"

Visar resultat 21 - 25 av 33 uppsatser innehållade orden compositional methods.

1. 21. Comparing Multivariate Regression Methods For Compositional Data : Through Simulation Studies & Applications

   Kandidat-uppsats, Umeå universitet/Institutionen för matematik och matematisk statistik

   Författare :Christoffer Långström; [2017]
   Nyckelord :Compositional Data; Regression;

   Sammanfattning : Compositional data, where measurements are vectors with each component constituting a percentage of a whole, is abundant throughout many disciplines of science. Consequently, there is a strong need to establish valid statistical procedures for this type of data. LÄS MER

3. 22. Crystallization and Emplacement of the Monte Amarelo Dikes: Magma Storage Assessment on Fogo, Cape Verde Islands

   Master-uppsats, Uppsala universitet/Institutionen för geovetenskaper

   Författare :Olle Risby; [2017]
   Nyckelord :Fogo; magma storage model; thermobarometry; clinopyroxene; intrusion landslide.; Fogo; magmalagringsdjup; termobarometri; klinopyroxen; intrusion; skred;

   Sammanfattning : The volcanic island of Fogo belongs to the Cape Verde archipelago, a two-tiered chain of islands situated 500 km west of the African coast. Fogo is regarded as one of the most active volcanoes in the world with 10 eruptions during the last 250 years. The former shield volcano Monte Amarelo reached 3500 m.a. LÄS MER

4. 23. Computing component specifications from global system requirements

   Master-uppsats, KTH/Teoretisk datalogi, TCS

   Författare :Carl Björkman; [2017]
   Nyckelord :control flow analysis; tableau system; theoretical computer science; program verification; compositional verification; static analysis; control flow;

   Sammanfattning : If we have a program with strict control flow security requirements and want to ensure system requirements by verifying properties of said program, but part of the code base is in the form of a plug-in or third party library which we do not have access to at the time of verification, the procedure presented in this thesis can be used to generate the requirements needed for the plug-ins or third party libraries that they would have to fulfil in order for the final product to pass the given system requirements. This thesis builds upon a transformation procedure that turns control flow properties of a behavioural form into a structural form. LÄS MER

5. 24. Stegvist komponerande : strategier för att skapa flow

   Master-uppsats, Kungl. Musikhögskolan/Institutionen för komposition, dirigering och musikteori

   Författare :Johan Blixt; [2017]
   Nyckelord :composition; music; opera; flow; counterpoint; music theatre; dramatic music; komposition; musik; opera; flow; låsningar; kontrapunkt; musikteater; musikdramatik;

   Sammanfattning : I denna uppsats beskriver jag mitt arbete med en kortopera som heter Dags som jag skrivit under min masterutbildning i komposition på Kungl. Musikhögskolan. Jag använder en auto-etnografisk metod för att beskriva reflektioner kring olika aspekter av komposition. LÄS MER

7. 25. A Lonely Voice Sounding From the Deep Forests : The Representation of Nature in Sibelius's Symphonies

   Master-uppsats, Uppsala universitet/Institutionen för musikvetenskap

   Författare :Fredrica Roos; [2017]
   Nyckelord :;

   Sammanfattning : Although the notion that the music of Jean Sibelius portrays the nature and landscape of Finland has long dominated his reception, the more precise ways in which these aspects are musically expressed have remained relatively unexamined. In an attempt to further explore and deepen the knowledge of the natural world’s musical mediation in the composer’s art, the aim of this essay is to define therepresentation of nature and landscape in Sibelius’s seven symphonies. LÄS MER