Search for dissertations about: "analysis of algorithms and programs"

Showing result 1 - 5 of 36 swedish dissertations containing the words analysis of algorithms and programs.

2. 1. Proving Safety and Security of Binary Programs

   Author : Andreas Lindner; Roberto Guanciale; Mads Dam; Tamara Rezk; KTH; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Binary Code; Binary Analysis; Formal Verification; Model-Based Testing; Theorem Proving; HOL4; Intermediate Language; Instruction Set Architectures; ISA; Observational Models; Symbolic Execution; Weakest-Precondition; Execution Time Analysis; binärkod; binärkodsanalys; formell verifiering; modellbaserad testning; satsbevisning; HOL4; mellankod; instruktionsuppsättningar; ISA; observationsmodeller; symbolisk exekvering; minst restriktiva villkoret; analys av övre tidsgräns; Datalogi; Computer Science;

   Abstract : With the increasing ubiquity of computing devices, their correct and secure operation is of growing importance. In particular, critical components that provide core functionalities or process sensitive data have to operate as intended. READ MORE

4. 2. Interactive computer-aided expressive music performance : Analysis, control, modification and synthesis

   Author : Marco Fabiani; Anders Friberg; Roberto Bresin; Petri Toiviainen; KTH; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Acoustics; Akustik;

   Abstract : This thesis describes the design and implementation process of two applications (PerMORFer and MoodifierLive) for the interactive manipulation of music performance. Such applications aim at closing the gap between the musicians, who play the music, and the listeners, who passively listen to it. READ MORE

5. 3. On the Analysis and Fault-Diagnosis Tools for Small-Scale Heat and Power Plants

   Author : Jaime Arriagada; Kraftverksteknik; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Thermal engineering; applied thermodynamics; Termisk teknik; termodynamik; genetic algorithms; neural networks; fault diagnosis; maintenance; availability; reliability; energy analysis; combined heat and power; Methods and tools; small scale;

   Abstract : The deregulation of the electricity market drives utilities and independent power producers to operate heat and power plants as profit centers. In order to keep the economic margins on the credit side, the preferred measures have been to improve the electrical efficiency through changes in the hardware and boost the overall efficiency through e.g. READ MORE

6. 4. Optimization Algorithms for System Analysis and Identification

   Author : Ragnar Wallin; Alf Isaksson; Anders Hansson; Linköpings universitet; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

   Abstract : Optimization is a powerful and frequently used tool in many fields of research. In this thesis two relevant and important problems from robust control system analysis and system identification are solved using optimization algorithms. READ MORE

7. 5. Big data networks and orthology analysis

   Author : Emma Persson; Erik Sonnhammer; Albert László Barabási; Stockholms universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Ortholog; protein domain; functional association network; pathway enrichment analysis; biokemi med inriktning mot bioinformatik; Biochemistry towards Bioinformatics;

   Abstract : Understanding biological systems in complex organisms is important in life science in order to comprehend the interplay of genes, proteins, and compounds causing complex diseases. As biological systems are intricate, bioinformatics tools, models, and algorithms are of the utmost importance to understand the bigger picture and decipher biological meaning from the vast amounts of information available from biological experiments and predictions. READ MORE