Sökning: "data conversion"

Visar resultat 1 - 5 av 341 avhandlingar innehållade orden data conversion.

1. 1. Scheduling of parallel matrix computations and data layout conversion for HPC and Multi-Core Architectures

   Författare :Lars Karlsson; Bo Kågström; Erik Elmroth; Charles Van Loan; Umeå universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer and systems science; Data- och systemvetenskap; data- och systemvetenskap; computer and systems sciences;

   Sammanfattning : Dense linear algebra represents fundamental building blocks in many computational science and engineering applications. The dense linear algebra algorithms must be numerically stable, robust, and reliable in order to be usable as black-box solvers by expert as well as non-expert users. LÄS MER

3. 2. On Induction, Coinduction and Equality in Martin-Löf and Homotopy Type Theory

   Författare :Andrea Vezzosi; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Conversion; Parametricity; Higher Inductive Types; Sized Types; Dependent Types; Type Theory; Guarded Types;

   Sammanfattning : Martin Löf Type Theory, having put computation at the center of logical reasoning, has been shown to be an effective foundation for proof assistants, with applications both in computer science and constructive mathematics. One ambition though is for MLTT to also double as a practical general purpose programming language. LÄS MER

4. 3. Towards conversational speech synthesis : Experiments with data quality, prosody modification, and non-verbal signals

   Författare :Bajibabu Bollepalli; Joakim Gustafsson; Jonas Beskow; Matthew Aylett; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Speech synthesis; MPEG compression; Voice Conversion; Artificial Neural Net- works; Laughter synthesis; HTS; Computer Science; Datalogi;

   Sammanfattning : The aim of a text-to-speech synthesis (TTS) system is to generate a human-like speech waveform from a given input text. Current TTS sys- tems have already reached a high degree of intelligibility, and they can be readily used to read aloud a given text. For many applications, e.g. LÄS MER

5. 4. Drill Failure Detection based on Sound using Artificial Intelligence

   Författare :Thanh Tran; Jan Thim; Sebastian Bader; Kalle Åström; Mittuniversitetet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Convolutional neural network; machine failure detection; Mel-spectrogram; long short-term memory; sound signal processing;

   Sammanfattning : In industry, it is crucial to be able to detect damage or abnormal behavior in machines. A machine's downtime can be minimized by detecting and repairing faulty components of the machine as early as possible. It is, however, economically inefficient and labor-intensive to detect machine fault sounds manual. LÄS MER

7. 5. Identification and tuning of algorithmic parameters in parallel matrix computations : Hessenberg reduction and tensor storage format conversion

   Författare :Mahmoud Eljammaly; Bo Kågström; Lars Karlsson; Umeå universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : This thesis considers two problems in numerical linear algebra and high performance computing (HPC): (i) the parallelization of a new blocked Hessenberg reduction algorithm using Parallel Cache Assignment (PCA) and the tunability of its algorithm parameters, and (ii) storing and manipulating dense tensors on shared memory HPC systems.The Hessenberg reduction appears in the Aggressive Early Deflation (AED) process for identifying converged eigenvalues in the distributed multishift QR algorithm (state-of-the-art algorithm for computing all eigenvalues for dense square matrices). LÄS MER