Sökning: "independent component analysis"

Visar resultat 1 - 5 av 134 avhandlingar innehållade orden independent component analysis.

  1. 1. Formal Approaches to Service-oriented Design : From Behavioral Modeling to Service Analysis

    Författare :Aida Čaušević; Paul Pettersson; Jonathan P. Bowen; Mälardalens högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; service-oriented software engineering; formal modeling; service-oriented systems; resources; analysis; behavior; correctness check; Computer science; Datavetenskap; Computer Science; datavetenskap;

    Sammanfattning : Service-oriented systems (SOS) have recently emerged as context-independent component-based systems. In contrast to components, services can be created, invoked, composed and destroyed at run-time. Services are assumed to be platform independent and available for use within heterogeneous applications. LÄS MER

  3. 2. Type Ia Supernova Cosmology : Quantitative Spectral Analysis

    Författare :Gastón Folatelli; Ariel Goobar; Enrico Cappellaro; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Supernova; Cosmology; Spectroscopy; Physics; Fysik;

    Sammanfattning : Type Ia supernovae have been successfully used as standardized candles to study the expansion history of the Universe. In the past few years, these studies led to the exciting result of an accelerated expansion caused by the repelling action of some sort of dark energy. LÄS MER

  4. 3. A weak space-time formulation for the linear stochastic heat equation

    Författare :Matteo Molteni; Göteborgs universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Inf-sup theory; Stochastic heat equation; Petrov-Galerkin; Finite element; Crank-Nicolson; Quasi-optimality; Finite element;

    Sammanfattning : The topic covered in this thesis is the introduction of a new formulation for the linear stochastic heat equation driven by additive noise, based on the space-time variational formulation for its deterministic counterpart. Having a variational formulation allows the use of the so called inf-sup theory in order to obtain results of existence and uniqueness in a relatively simple way. LÄS MER

  5. 4. Transient growth of disturbances in laminar pipe flow

    Författare :Lars Bergström; Luleå tekniska universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Mathematics; Matematik;

    Sammanfattning : Transient growth of disturbances is studied theoretically in pipe Poiseuille flow and experimentally both in pipe and plane Poiseuille flow. The theoretical results, based on the initial value problem, show that a large transient amplification occurs for small, angular dependent disturbances in pipe Poiseuille flow although all modes are damped. LÄS MER

  7. 5. A Formalized Approach to Multi-View Components for Embedded Systems : Applied to Tool Integration, Run-Time Adaptivity and Architecture Exploration

    Författare :Magnus Persson; Martin Törngren; De-Jiu Chen; Werner Damm; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; view; viewpoint; architecture; component; view integration; architecture exploration; component-based development; multi-view modeling; model-based design; CESAR; DySCAS; ESPRESSO;

    Sammanfattning : Development of embedded systems poses an increasing challenge fordevelopers largely due to increasing complexity. Several factors contribute tothe complexity challenge:• the number of extra-functional properties applying to embedded systems,such as resource usage, timing effects, safety. LÄS MER