Search for dissertations about: "Matrix multiplication"

Showing result 11 - 15 of 29 swedish dissertations containing the words Matrix multiplication.

  2. 11. Damage evolution in laminates with manufacturing defects

    Author : Yongxin Huang; Kristofer Gamstedt; Luleå tekniska universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Polymera konstruktionsmaterial; Polymeric Composite Materials;

    Abstract : In this thesis, experimental investigations and theoretical studies on the stochastic matrix cracking evolution under static loading in composite laminates with manufacturing defects are presented. The presented work demonstrates a methodology that accounts for the statistically distributed defects in damage mechanics models for the assessment of the integrity of composites and for the structural design of composites. READ MORE

  4. 12. Efficient Algorithms for Graph-Theoretic and Geometric Problems

    Author : Peter Floderus; Matematik (naturvetenskapliga fakulteten); []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : This thesis studies several different algorithmic problems in graph theory and in geometry. The applications of the problems studied range from circuit design optimization to fast matrix multiplication. First, we study a graph-theoretical model of the so called ''firefighter problem''. READ MORE

  5. 13. Singular Value Computations for Toeplitz Matrices and Subspace Tracking

    Author : Eva Lundström; Henk van der Vorst; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Abstract : This thesis addresses the problem of computing the largest singular values and corresponding singular vectors of a Toeplitz matrix. These are often requested in signal processing and system identification to extract the signal from the noise. READ MORE

  6. 14. Superconductor Digital Signal Processor

    Author : Irina Kataeva; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Rapid Single Flux Quantum logic RSFQ ; multiuser detector; VHDL; Multiply-Accumulate Unit; Successive Interference Canceller;

    Abstract : Superconductor digital technology based on Rapid Single Flux Quantum logic (RSFQ) offers more than 50 times gain in speed and more than 100 reduction in power consumption over mainstream CMOS devices. However, the necessity of cooling down to 4 K and modest degree of integration density currently available mean that employing RSFQ is reasonable only for the tasks that are impossible or ineffective to implement in CMOS technology. READ MORE

  7. 15. Constructive Algebra in Type Theory

    Author : Anders Mörtberg; Göteborgs universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : This thesis contains four papers aiming at bridging the gap between algorithms implemented in computer algebra systems and interactive proof assistants. This is done by implementing and verifying efficient algorithms using the Coq proof assistant together with the SSReflect extension. READ MORE