Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 164 for “"Linear Algebra"”.
-
Linear Algebra Over Skewfields
Made available in DSpace on 2014-12-09T22:17:44Z (GMT). No. of bitstreams: 1 6808271.pdf: 1920968 bytes, checksum: 5882b89ea0743ccce40295b26ef3d432 (MD5) Previous issue date: 1967
-
Distributed dense linear algebra operations with Charm++
Submission published under a 24 month embargo labeled 'U of I Access', the embargo will last until 2024-12-01
-
Linear Algebra, Random Matrices and Lie Theory
… as well as the automorphism groups of the bilinear and sesquilinear forms are discussed with numerical examples. In particular, we present a general approach for computing a basis of the tangent space of the automorphism group. In the second part, we derive a series of matrix factorizations …
-
Parallel Sparse Linear Algebra for Homotopy Methods
… homotopy methods are used to solve difficult nonlinear systems of equations by tracking the zero curve of a homotopy map. Homotopy curve tracking involves solving a sequence of linear systems, which often vary greatly in difficulty. In this research, a popular iterative solution tool, GMRES(k), …
-
Cryptographic Applications of Group Actions from Linear Algebra
L'abstract è presente nell'allegato / the abstract is in the attachment
-
Learning precise partial semantic mappings via linear algebra
In natural language interfaces, having high precision, i.e., abstaining when the system is unsure, is critical for good user experience. However, most NLP systems are trained to maximize accuracy with precision as an afterthought. In this thesis, we put precision first and ask: Can we learn to map …
-
Formalisation and execution of Linear Algebra: theorems and algorithms
… studies the formalisation and execution of Linear Algebra algorithms in Isabelle/HOL, an interactive theorem prover. The work is based on the HOL Multivariate Analysis library, whose matrix representation has been refined to datatypes that admit a representation in functional programming …
-
Structured linear algebra problems and applications to system identification
This thesis considers problems of stability, rank estimation and conditioning for structured matrices. The ideas are developed with attention to potential applications in control and signal processing where such matrices arise routinely. A stability result for the factorization of the broad class …
-
Faster linear algebra for data analysis and machine learning
We study fast algorithms for linear algebraic problems that are ubiquitous in data analysis and machine learning. Examples include singular value decomposition and low-rank approximation, several varieties of linear regression, data clustering, and nonlinear kernel methods. To scale these problems …
-
Optimal power flow using a genetic algorithm and linear algebra
… To speed convergence, some theory from linear algebra is incorporated into the algorithm.;A GA provides several advantages over more traditional OPF algorithms. For instance, a GA does not constrain the shape of the generators' cost curves and is flexible enough to incorporate control …
-
Novel Monte Carlo Methods for Large-Scale Linear Algebra Operations
<p>Linear algebra operations play an important role in scientific computing and data analysis. With increasing data volume and complexity in the "Big Data" era, linear algebra operations are important tools to process massive datasets. On one hand, the advent of modern high-performance computing …
-
Workload-aware compressed linear algebra for data-centric machine learning pipelines
… to numeric matrices and enables compressed linear algebra operations such as matrix-vector multiplications directly on compressed representations. Traditional ML pipelines containing feature transformations and model training are increasingly extended into so-called data-centric ML pipelines …
-
Preconditioned iterative methods for highly sparse, nonsymmetric, unstructured linear algebra problems
… problems require the solution of a system of linear equations Ax = b in which A is large, highly sparse, nonsymmetric, and unstructured. Several iterative methods which are applicable to nonsymmetric and indefinite problems are applied to a suite of test problems derived from simulations of …
-
The effect of students' physics background on their understanding of linear algebra
Concepts of vectors, linear combinations and spanning, transformations and linear transformations in the teaching of Linear Algebra, a geometric approach was taken. Activities in the aforementioned areas were designed in a dynamic computer environment Cabri Geometry II that allowed students to …
-
Difficulties in the learning and teaching of linear algebra : a personal experience
Two different personal experiences of teaching Linear Algebra are analyzed: (1) teaching a college-level linear algebra course and (2) being the instructor in a predesigned experiment that investigates a geometric approach to the concepts of vector and linear transformations using the dynamic …
-
Automatic algorithm derivation and exploration in linear algebra for parallelism and locality
"Parallelization is one of the major challenges for programmers. But parallelizing existing code is a hard task that can lead to less than optimal solutions since sequential programs can su er from impediments to parallelization resulting from the semantic of the languages or the data structures …
-
The power of randomized algorithms : from numerical linear algebra to biological systems
… the solution of core problems in numerical linear algebra. In particular, we give a randomized low-rank approximation algorithm for positive semidefinite matrices that runs in sublinear time, significantly improving upon what is possible with traditional deterministic methods. We also …
-
Linear algebra on lattices : Simit language extensions with applications to lattice QCD
… language extensions to Simit, a language for linear algebra on graphs. Currently, Simit doesn't efficiently handle lattice graphs (regular grids). This thesis defines a stencil assembly construct to capture linear algebra on these graphs. A prototype compiler with a Halide backend demonstrates …
Page 1 of 9