Sökning: "compositional analysis"

Visar resultat 1 - 5 av 95 avhandlingar innehållade orden compositional analysis.

  1. 1. Components, Safety Interfaces, and Compositional Analysis

    Författare :Jonas Elmquist; Simin Nadjm-Tehrani; Linköpings universitet; []
    Nyckelord :Component-based system development; safety-critical systems; safety interfaces; compositional analysis; modelbased development; TECHNOLOGY; TEKNIKVETENSKAP;

    Sammanfattning : Component-based software development has emerged as a promising approach for developing complex software systems by composing smaller independently developed components into larger component assemblies. This approach offers means to increase software reuse, achieve higher flexibility and shorter time-to-market by the use of off-the-shelf components (COTS). LÄS MER

  3. 2. Early Pottery Use among Hunter-Gatherers around the Baltic Sea

    Författare :Vasiliki Papakosta; Sven Isaksson; Ole Stilborg; Åsa Maria Larsson; Stockholms universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; Early Pottery Use; Hunter-Gatherers; Baltic; Late Mesolithic; Ceramics; Ertebølle; Narva; Early Comb Ware; Lipid Extraction; Lipid Residue Analysis; Molecular Analysis; Stable Carbon Isotope Analysis; Elemental Analysis; Mineralogical Analysis; arkeologi med inriktning mot laborativ arkeologi; Scientific Archaeology;

    Sammanfattning : This thesis aims to provide an understanding of the dynamics underlying the adoption of pottery by pre-agrarian hunter-gatherer cultural groups around the Baltic Sea. The focus is on three approximately contemporaneous early pottery traditions of the region (ca. LÄS MER

  4. 3. 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

  5. 4. Nanoscale electron tomography and compositional analysis of Aerotaxy nanowires

    Författare :Axel Persson; -lup-obsolete; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Transmission Electron Microscopy; Electron tomography; Nanowires; Aerotaxy;

    Sammanfattning : One common goal of sample analysis is to provide structural, compositional, or functional data in order to improve production parameters. One instrument specialized in such structural and compositional analysis with a high spatial resolution is the transmission electron microscope (TEM). LÄS MER

  7. 5. Encounters Between Music and Nature : A Productive and Transversal Approach to Contemporary Music Analysis

    Författare :Elin Kanhov; Johanna Ethnersson Pontara; Jacob Derkert; Frida Beckman; Edward Campbell; Stockholms universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; contemporary Western art music; nature; Deleuze and Guattari; posthumanism; new materialism; ecomusicology; music analysis; Musicology; musikvetenskap;

    Sammanfattning : This thesis examines encounters between music and nature through a productive and transversal approach to music analysis with examples from the contemporary Western art music repertoire. In three analytical chapters, I study how contemporary music potentially reframes the positions and relations between music, humans and nature by engaging with transversal concepts from Gilles Deleuze and Félix Guattari’s thinking and drawing upon Judy Lochhead’s approach to productive music analysis. LÄS MER