Essays about: "computer science - general"

Showing result 21 - 25 of 48 essays containing the words computer science - general.

1. 21. Developing an online learning module for C programming and Lego robot EV3 programming

   University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Author : Jinlei Li; [2020]
   Keywords : Teaching; C; Programming; LEGO; EV3; Scaffolding; Constructive Alignment; Online course; Course Module; Utlärning; C; Programming; LEGO; EV3; Scaffolding; Constructive Alignment; Onlinekurs; Kursmodul;

   Abstract : Recently, the school of electrical engineering and computer science (EECS) at the Royal institute of technology (KTH) proposed to introduce a new learning module for the course Engineering Methods - II1300. The module is to introduce both C programming and LEGO robot EV3 programming, to help the students to complete a course project. READ MORE

3. 22. Development of Stockham Fast Fourier Transform using Data-Centric Parallel Programming

   University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Author : Gabriel Bengtsson; [2020]
   Keywords : ;

   Abstract : Writing efficient scientific applications for modern High Performance Computing (HPC) systems has become much harder during the last years due to the rise of heterogeneous computer architectures. The inclusion of hardware accelerators has caused an increase in the number of required technologies to reach high performance, a change that has programming these systems outside the skill-set of a domain scientist. READ MORE

4. 23. Growth and Characterization of Ferroelectric Lanthanum-Doped Hafnia

   University essay from Lunds universitet/Fasta tillståndets fysik; Lunds universitet/Fysiska institutionen

   Author : Harald Havir; [2020]
   Keywords : Ferroelectricity; Lanthanum-doped Hafnia; ALD; Science General;

   Abstract : Hafnia-based ferroelectrics show great promise as future nonvolatile memory devices, however, their issues regarding device inconsistency across their lifetime, coupled with the relatively short total lifetime, makes these devices only theoretical as of now. In this thesis, an ALD deposition recipe for lanthanum oxide deposition was created. READ MORE

5. 24. MahlerNet : Unbounded Orchestral Music with Neural Networks

   University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Author : Elias Lousseief; [2019]
   Keywords : music; composition; algorithmic composition; neural networks; recurrent neural networks; RNN; variational autoencoder; VAE; LSTM; BALSTM; MusicVAE; PerformanceRNN; BachProp; musik; komposition; algoritmisk komposition; neurala nätverk; recurrent neural networks; RNN; variational autoencoder; VAE; LSTM; BALSTM; MusicVAE; PerformanceRNN; BachProp;

   Abstract : Modelling music with mathematical and statistical methods in general, and with neural networks in particular, has a long history and has been well explored in the last decades. Exactly when the first attempt at strictly systematic music took place is hard to say; some would say in the days of Mozart, others would say even earlier, but it is safe to say that the field of algorithmic composition has a long history. READ MORE

6. 25. Verifying Temporal Properties Using Deductive Verifiers

   University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Author : Jesper Amilon; Axel Lindeberg; [2019]
   Keywords : ;

   Abstract : Formal verification is an area of theoretical computer science where mathematical logic is used to prove that a program behaves in a certain way. With the methods in formal verification, you can prove that the program follows some given specification and thereby behaves in the desired way. The area is largely split up into two distinct parts. READ MORE