Sökning: "Matrix multiplication"
Visar resultat 11 - 15 av 29 avhandlingar innehållade orden Matrix multiplication.
11. Damage evolution in laminates with manufacturing defects
Sammanfattning : 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. LÄS MER
12. Efficient Algorithms for Graph-Theoretic and Geometric Problems
Sammanfattning : 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''. LÄS MER
13. Singular Value Computations for Toeplitz Matrices and Subspace Tracking
Sammanfattning : 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. LÄS MER
14. Superconductor Digital Signal Processor
Sammanfattning : 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. LÄS MER
15. Constructive Algebra in Type Theory
Sammanfattning : 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. LÄS MER