Department of Computer Science and Engineering / Institutionen för data- och informationsteknik: Recent submissions
Visas titlar 261-280 av 541
-
A Logical Relation for Dependent Type Theory Formalized in Agda
(2017-02-27)When writing proofs, it is desirable to show that one’s proof is correct. With formalising a proof in dependent type theory, it is implied that the proof is correct as long as the type theory is correct. <br><br> This ... -
Abstract Visualization of Algorithms and Data Structures
(2017-01-13)Within the field of visualization it is common to distinguish between Algorithm Visualization (AV) and Program Visualization (PV). AV uses high level abstractions to demonstrate how algorithms works, while PVs are ... -
Sustainability Aspects in Requirements Engineering
(2016-12-08) -
Eciton - Ett mjukvarusystem för koordinering och schemaläggning av artisttransporter under musikfestivaler och event
(2016-11-15)Denna rapport beskriver utvecklingen av Eciton, ett mjukvarusystem för koordinering och schemaläggning av transporter under musikfestivaler och event. Systemet består av en webbapplikation för koordinatorer, en ... -
EIRA - An Application for Finding and Ranking Researchers
(2016-11-15)The purpose of the project is to deliver a proof of concept application that is expected to solve an issue related to nding suitable researchers for research groups. The system that organizations use, as of writing this ... -
Deadly Banquet Creating believable non-player characters
(2016-11-15)NPCs (non-player characters) in computer games are often very predictable and obviously artificial, which might be the result of developers devoting more resources to maintaining high-end graphics instead of creating ... -
Generating Headlines with Recurrent Neural Networks
(2016-11-15)This report describes the implementation and evaluation of two natural language models using the machine learning technique deep learning. More specifically, two different models describing recurrent artificial neural ... -
Finding the Densest Common Subgraph with Linear Programming
(2016-11-15)This thesis studies the concept of dense subgraphs, speci cally for graphs with multiple edge sets. Our work improves the running time of an existing Linear Program (LP) for solving the Densest Common Subgraph problem. ... -
The PedaGoGo. Teaching children computer programming
(2016-11-14)The aim of this report is to describe the development a programmable physical toy, designed to teach children, aged ten to twelve, computer programming concepts. As technology and computers play an increasingly large role ... -
Lollipop - A general purpose, functional programming language with linear types
(2016-11-14)This project designs and implements a general-purpose functional programming language with linear types, called Lollipop. The purpose is to investigate how linear types can be a part of modern programming languages. The ... -
Automatised analysis of emergency calls using Natural Language Processing
(2016-10-31)The operators at SOS Alarm receives thousands of calls each day at the different emergency medical communication centres, owned by SOS Alarm, all over Sweden. A subset of these calls contain room for improvement and the ... -
SeamScape A procedural generation system for accelerated creation of 3D landscapes
(2016-10-24)This bachelor thesis rose from the idea of speeding up game production by using procedural generation techniques. Procedural generation in the project’s scope involves the algorithmic production of data which represents a ... -
scmt - SuperK Cluster Management Toolkit Plug-and-play management for single-board computer clusters
(2016-10-24)Computer clusters have become increasingly important in elds such as high-performance computing and database management due to their scalability and lower economic cost compared with traditional supercomputers. However, ... -
inSource - Utveckling av ett socialt webbaserat arbetsverktyg för rekryterare inom data- och IT-branschen
(2016-10-24)Att hitta lämpliga personer med rätt kompetens till jobb inom data- och IT-branschen är inte alltid enkelt, varför Software Skills, ett rekryteringsföretag i Göteborg, har gjort det till sin affärsidé. Eftersom de använder ... -
A modular system for smart energy plug stream analysis
(2016-10-24)This report documents the development of a system capable of gathering energy consumption data from multiple different brands of smart energy plugs. The problem today is that firstly the manufacturers’ software is not ... -
Bioinformatics pipeline development to support Helicobacter pylori genome analysis
(2016-09-20)Helicobacter pylori is a bacterium related to a variety of diseases and is a major risk factor for gastric cancer [1]. There can be differences in the genomes of H. pylori bacteria that are isolated from different patient ... -
The Performance of TLS Protocol in Vehicular Embedded Computers
(2016-09-19)Transport Layer Security (TLS) is a protocol that is widely used to secure Hypertext Transfer Protocol (HTTP) data transported across the Internet. This protocol comes with a set of operations that are for encryption, ... -
Clustering Non-Stationary Data Streams with Online Deep Learning
(2016-06-30)With more devices connected, sensor data logged and people active in social networks, the trend towards working with dynamic data is clear. The number of applications where it becomes essential to perform real time analysis ... -
Applying MVP Principles when Developing Mobile Health Applications: An Exploratory Study on Selected mobile Applications and their Version History
(2016-06-28)In an ever evolving and highly competitive mobile health application market, software developers and companies face the daunting challenge to streamline their development methods to be able to obtain and correctly ... -
On Efficiency and Effectiveness of Model-based test Case Generation Techniques by Applying the HIS Method: An Experimental Research
(2016-06-27)Researchers and practitioners have extensively studied various testing techniques and their importance on affecting the cost and the quality of software. One of these techniques is Model-Based Testing (MBT). MBT concentrates ...