Department of Computer Science and Engineering / Institutionen för data- och informationsteknik: Recent submissions
Now showing items 61-80 of 541
-
Escape Room Generator
(2021-09-14)Escape rooms are real-life games where groups of players usually find themselves trapped in a room and must escape before time runs out. To achieve this, puzzles of various types must be solved, mainly through deductive ... -
Assessing the Security of Internal Automotive Networks
(2021-09-14)Context In order to address the growing need for connectivity in today’s cars, the in-vehicle network has increased in complexity, now consisting of over 100 electrical control units. Balancing the level of security with ... -
Proof Editor for Natural Deduction
(2021-09-14)In this thesis, we present Logan, a proof editor for constructing Fitch-style proofs in first-order logic. This proof editor is intended to be used by students who are taking a course in logic. Compared to other available ... -
Avläsning av EEG-data från Emotiv Epoc X för ett SSVEP-baserat braincomputer interface för att spela Snake
(2021-09-14)Denna rapport beskriver arbetet med att utforma ett BCI som kan styra datorspelet Snake i realtid. Spelet styrs genom att inducera steady state visually evoked potentials i hjärnan via flimrande stimuli av vissa frekvenser. ... -
Developing a modular, high-interaction honeypot using container virtualization
(2021-09-14)A significant increase of attacks combined with companies neglecting cybersecurity poses a problem for the ever-growing number of Internet-connected devices. With honeypot technology being an invaluable tool for understanding ... -
A Front-End for Daison
(2021-09-07)Daison is a database written in the functional programming language Haskell. It has no built-in visual representation of data and using it in an interactive Haskell environment such as GHCi is inconvenient since it ... -
A Language For Board Games
(2021-09-07)This thesis covers the process and theory behind creating a domain-specific language for board games. This language is specifically made for positional board games and allows for further implementation of games in that ... -
Interactive Ecosystem Simulator
(2021-09-07)As ecosystems are complex domains, both analytical and computer-aided models can aid in gaining insights about their dynamics. One such computer-aided model is the concept of ecosystem simulation. This project aims to ... -
Help Annotating Software “HAnS” - Visualisation
(2021-09-07)Developing large software systems that are feature-oriented is a complex and time-consuming task that is further hindered by the recurring and repetitive undertaking of feature lookup. However, feature lookups’ inefficiency ... -
Multi-objective optimization for placing airspace surveillance observers
(2021-08-13)Reconnaissance is an important aspect of military planning. Tools that help an alysts monitor and make informed choices are vital for avoiding costly situations. The use of ground-based radar sensors is a common method ... -
Traceability Link Correctness: Project-Specific or Generic?
(2021-08-12)To enable proper maintenance of a software product, it is important to discover new and maintain existing traceability links between artifacts. Correctness of trace links is important as it builds trust in existing trace ... -
Game Boy Emulation
(2021-08-10)This thesis studies the subject of system emulation through the development of a set of software microcontrollers and the assembling of them into a complex system. The specific system aimed to be emulated is the original ... -
Confounder Parsing for Text Matching
(2021-07-06)In observational studies for policy evaluation, matching is used in service of causal inference to simulate randomization and thus reduce selection bias that might occur when treatment assignment differs systematically. ... -
Driver Behavior Classification in Electric Vehicles
(2021-07-06)Studies have shown that driving style affects the energy consumption of electric vehicles, with aggressive driving consuming up to 30% more energy than moderate driving. Therefore, modeling of aggressive driving can provide ... -
Requirement Strategy in Large-Scale Agile Development
(2021-07-06)[Context and Motivation] Agile methodologies are created to facilitate short time to market. Large-scale system development such as complex products and embedded systems are not fairly treated by agile, especially with ... -
Fault detection power of unit and system testing in Java open source projects
(2021-07-06)Testing is one of the most crucial steps in providing quality for software products. Two key and heavily used testing levels are unit and system testing, each level hav ing different benefits and drawbacks. For their ... -
Ocean Exploration with Artificial Intelligence
(2021-07-06)Large and diverse data is crucial to train object detection systems properly and achieve satisfactory prediction performance. However, in some areas, such as ma rine science, gathering sufficient data is challenging and ... -
Ground surface classification by stereo polarised image sensors
(2021-04-21)or an autonomous vehicle. By introducing polarized imaging, advances in water hazard detection have been made in recent years. However, most approaches utilize retrofitted polarized cameras for use in an off-road ... -
Investigation of high performance configurations on the Evolved Packet Gateway
(2021-04-21)Modern servers today are based on multi-socket motherboards to increase their power and performance figures. These setups provide CPU interconnection through a high speed bus. If processes on one CPU need access to memory ... -
Application of Machine Learning Algorithms for Post Processing of Reference Sensors
(2021-04-01)The Autonomous Drive (AD) systems and Advanced Driver Assistance Systems (ADAS) in the current and future generations of vehicles include a large number of sensors which are used to perceive the vehicle’s surroundings. ...