Computer Science in Progress

Home   Artificial Intell.   Bio-exact   Chemistry   Computer Sci. BSc   Earth Sciences   Mathematics   Physics & Astr.   Science Educ.   Submit   Webmaster        


Displaying theses 1-10 of 301 total
Previous  1  2  3  4  5  6  7  8  9  10  11  Next  Search:

K.W. Chung
Bachelor programme: Informatica July 13th, 2018
Institute: Informatics Institute Research group: Lecturer's Group Graduation thesis Supervisor: Robert Belleman
Short-lasting effects of Redirected Walking in Virtual Reality
This thesis takes a look at the effects that "Redirected Walking might have on users' ability to orientate.
picture that illustrates the research done
Scientific abstract (pdf 1K)   Full text (pdf 11240K)

E.M. Kooistra
Bachelor programme: Informatica June 29th, 2018
Institute: Informatics Institute Research group: System and Network Engineering Graduation thesis Supervisor: Ralph Koning
Hardening virtual environments against cache based side-channel attacks
Hosting applications in the cloud is cheaper because you only pay for the resources you use. However keeping all the customers sharing the resource isolated from each other is challenging. There are ways to break the isolation that hypervisors create, one method is using cache based side-channel attacks. We propose a method that makes it possible to detect cache based side-channel attacks on a Xen based system.
picture that illustrates the research done
Scientific abstract (pdf 1K)   For more info or full text, mail to: R.Koning@uva.nl

J.D. Moolhuizen
Bachelor programme: Informatica June 21st, 2018
Institute: Informatics Institute Research group: Institute for Informatics - Other Graduation thesis Supervisor: Anthony van Inge
photo of the author
Stochastic processing for computer vision applications
Modern processors face several design challenges. These challenges prevent processors from becoming exponentially faster despite the exponential decrease in size of processor components over the past few decades. In this paper we explore an old processing paradigm from the time before digital processing became the industry standaard to see how this stochastic manner of processing may help us in addressing the power wall, ILP wall and memory wall. This research proposes stochastic hardware for the Sobel operator, a stochastic comparator, and a stochastic median filter. In addition, we demonstrate the usage of stochastic bundle processing for image processing applications.
picture that illustrates the research done
Scientific abstract (pdf 1K)   Full text (pdf 3284K)

D. Hillenius
Bachelor programme: Informatica June 15th, 2018
Institute: Informatics Institute Research group: Lecturer's Group Graduation thesis Supervisor: dr. R.G. Belleman
photo of the author
Augmented Reality aided learning of human embryo anatomy: A study on motivation and usability
Modern advances in augmented reality technology make for promising new uses in education. A discipline that can possibly benefit from augmented reality learning experiences is human embryology. Insight into human embryology is of considerable clinical interest, as it can explain congenital malformations that make up for 20% of all neonatal deaths. Conventional embryology teaching methods are however limited due to financial and ethical constraints, and a recent desktop computer application, that implements excellent recently published anatomy models, does not utilise the affordances offered by augmented reality. An augmented reality application, that displays these models, to aid embryology education is implemented and compared to the desktop computer application in controlled experiments that aim to measure motivation and usability. The augmented reality application was found to provide a significant increase in intrinsic motivation in the participants over the desktop computer application. Furthermore, the participants rated the augmented reality application as more valuable and useful to them. Little difference was found in usability between the applications, possibly due to the little prior experience with augmented reality applications. These results show benefits of augmented reality learning experiences over more traditional desktop computer simulations and great potential for future use in (embryology) education.
picture that illustrates the research done
Scientific abstract (pdf 1K)   Full text (pdf 5538K)

D.M. Smelt
Bachelor programme: Informatica June 9th, 2018
Institute: UvA / Other Research group: UvA / Other Graduation thesis Supervisor: drs. T.R. Walstra
Modeling many-core processor interconnect scalability for the evolving performance, power and area relation
Novel chip technologies continue to face power and thermal limits accompanied by the evolving performance, power and area relation. CPU architectures are moving towards ever-increasing core counts to sustain compute performance growth. The imminent many-core era necessitates an efficient and scalable interconnection network. This thesis elaborates on the underlying causes for compelled energy efficiency and its impacts on microarchitecture evolution. Scalability of various interconnect topologies is evaluated; pragmatically by means of x86 benchmarks and theoretically by means of synthetic traffic. Performance scalability statistics for both existing Intel x86 interconnects and alternative topologies are obtained by means of Sniper and gem5/Garnet2.0 simulations. Power and area models are obtained through McPAT for Sniper simulations and through DSENT for detailed gem5/Garnet2.0 NoC simulations. Garnet2.0 is extended for modeling of NoC power consumption and area with DSENT.
picture that illustrates the research done
Scientific abstract (pdf 2K)   Full text (pdf 4189K)

S.D. Melzer
Bachelor programme: Informatica June 8th, 2018
Institute: Informatics Institute Research group: Theory of Computer Science Graduation thesis Supervisor: Alban Ponse
Thread-oriented program algebra
This thesis introduces TOP (Thread-Oriented Program algebra) and TOP_2. TOP is an alternative to PGA (ProGram Algebra) and the semigroup C. TOP_2 is a 2-dimensional variant of TOP. Several properties of TOP and TOP_2 are studied. For instance, TOP_2 is equally expressive as TOP but does not require arbitrarily large jumps to model all regular threads.
picture that illustrates the research done
Scientific abstract (pdf 1K)   Full text (pdf 419K)

M.J.A. Brohet
Bachelor programme: Informatica June 8th, 2018
Institute: Informatics Institute Research group: System and Network Engineering Graduation thesis Supervisor: Paola Grosso
photo of the author
Accelerating cryptographic operations in networks
Cloud services are growing in demand and require high throughput, maximum flexibility and low costs, while the data that is being processed must remain protected. Safeguarding the traffic can be achieved using cryptographic operations (encryption, decryption and hashing), but a performance impact cannot always be mitigated. Therefore, accelerating such operations is of vital importance. In this thesis, we present a new acceleration method by employing so-called “smartNICs”. These are network interface cards that stand out in the fact that they are completely programmable, and some even contain embedded crypto-accelerators. We have developed a proof-of-concept that protects IP connections using IPsec in an accelerated manner and show that transfer rates of 10 Gigabit per second are possible, with a relatively small increase in latency.
picture that illustrates the research done
Scientific abstract (pdf 1K)   For more info or full text, mail to: P.Grosso@uva.nl

M.B.H.J. van Bergen
Bachelor programme: Informatica June 8th, 2018
Institute: Informatics Institute Research group: Lecturer's Group Graduation thesis Supervisor: dr. R.G. Belleman
photo of the author
Visualizing Magnetic Fields in Augmented Reality
Augmented reality shows promising potential in the educational scene. This thesis aims to further the research on augmented reality use in educational learning. Specifically, it researches the application of augmented reality in subjects which can be experienced as spatially complex. Therefore, we have designed an augmented reality application which can visualize magnetic fields. This application can be tested against the current methods of visualizing magnetic fields; to clarify if such an application can help lower the spatial complexity of certain subjects.
picture that illustrates the research done
Scientific abstract (pdf 1K)   Full text (pdf 12300K)

G. Dekker
Bachelor programme: Informatica June 8th, 2018
Institute: Informatics Institute Research group: Institute for Informatics - Other Graduation thesis Supervisor: drs. A. (Toto) van Inge
Sound based 3D localisation of mobile nodes in a wireless network for node tracking
In this thesis we propose a method to determine the relative locations of nodes in three dimensional space using sound. This can be used, for example, to notify nodes in a swarm of the locations of their closest neighbors. Our method starts by determining the distances between node pairs by sending sound signals to each other and looking at the times at which these signals are perceived by the different nodes. To identify from which node each signal is sent, each node gets a unique frequency at which it sends its signals. When the distance between a sufficient amount of node pairs is determined, these distances can be used to calculate the locations of all nodes relative to each other. The implementation gives large errors when determining distances between nodes. The assumption is that future research can reduce this error and will confirm that the method is usable.
picture that illustrates the research done
Scientific abstract (pdf 1K)   Full text (pdf 890K)

R.J. Kalis
Bachelor programme: Informatica June 8th, 2018
Institute: UvA / Other Research group: UvA / Other Graduation thesis Supervisor: Adam Belloum
photo of the author
Using blockchain to validate audit trail data in private business applications
It is important to be able to trust the data within applications, and to ensure that it has not been tampered with. To achieve this, companies employ audit trails with a log of all changes made inside their applications. However, if this audit trail is saved in the same way as the application data, it is still vulnerable to tampering. To solve this, we research the use of blockchain with this audit trail. We describe two different methods to store private data on a public blockchain: one based on data hashing and one based on data encryption. However, only the approach based on data hashing is able to scale in terms of transaction costs associated with the method. We create an Ethereum smart contract and integrate it with an Apache Isis audit trail. This audit trail can then be validated against the smart contract running on the Ethereum blockchain. We evaluate the method using several scenarios, which show that this implementation is able to detect data tampering, but not prevent it. Combined with a strong backup protocol and regular validations, however, it is able to provide more certainty regarding data integrity than a regular audit trail implementation.
picture that illustrates the research done
Scientific abstract (pdf 1K)   Full text (pdf 1588K)

Previous  1  2  3  4  5  6  7  8  9  10  11  Next  

This page is maintained by thesis@science.uva.nl