Searched for: mods_note_programme_s%3A%22Computer%255C%2BScience%255C%2Band%255C%2BEngineering%22
(1 - 20 of 713)

Pages

document
Bhagat, Naval Tapan (author)
Visible Light Positioning (VLP) is an emerging field of research with several possible application. While most state-of-the-art VLP systems work with active modulation of light (switching lights on/off rapidly), this poses issues such as the flickering problem and excessive power consumption. In contrast, passive modulation of light (twisting...
bachelor thesis 2022
document
Narchi, William (author)
This paper presents how a convolutional neural network can be constructed in order to recognise gestures using photodiodes and ambient light. A number of candidates are presented and evaluated, with the most performant being adopted for in-depth analysis. This network is then compressed in order to be ran on an Arduino Nano 33 BLE...
bachelor thesis 2022
document
Durmuş, Merdan (author)
Visible Light Communication (VLC) is becoming an important research area where Visible Light Sources such as LED, Halogen Lamps and even the sun can be used for Wireless Communication. LED-to-Camera Communication is a form of VLC, where the camera can notice intermittent stimuli changes above a certain threshold frequency (flicker fusion...
bachelor thesis 2022
document
van Dam, Otte (author)
Previous studies have found that there is a strong correlation between the social presence of a teacher and perceived performance of students, and that an increased cognitive load decreases the effectiveness in problem solving. The objective of this study was to find out to what extend holograms can be used to improve the social presence of the...
bachelor thesis 2022
document
Khan, Arghem (author)
Artificial Intelligence (AI) and Machine learning (ML) applications are being widely used to solve different problems in different sectors. These applications have enabled the human-effort and involvement to be very low. The AI/ML systems<br/>make their own predictions and do not require a great deal of human help. However, over the last few...
bachelor thesis 2022
document
Mokráňová, Silvia (author)
Common sense is knowledge that most humans have, but machines do not. Generally, computer knowledge bases make use of positive (known) knowledge. However, in addition to positive common sense knowledge, there is also negative. Negative knowledge represent facts that are known to be untrue, like "a cat does not have fins". This knowledge is...
bachelor thesis 2022
document
Huang, Xiaoao (author)
Commonsense knowledge is a type of knowledge consisting of facts that humans use every day. Humans make queries in search engines with different user intents, and some of them can be answered by knowledge tuples. Different types of knowledge are stored differently in the knowledge bases. Being aware of the types of commonsense knowledge required...
bachelor thesis 2022
document
Hoogeveen, Harm (author)
Commonsense knowledge plays a key role in human intelligence. It is knowledge possessed by most humans that helps them in everyday situations. One possible way is to store the knowledge in four types. Each piece is either positive or negative, and generative or discriminative. For efficient retrieval and storage, a uniform model is needed....
bachelor thesis 2022
document
van Woensel, Martijn (author)
Commonsense knowledge based question answer- ing is a recent topic that has seen a surge in inter- est. Yet most models obtain general data, this pa- per looks at obtaining query-specific similar con- cepts using first and second-order proximity to- gether with BERT-based retrieval. Using these query-specific concepts new commonsense knowl- edge...
bachelor thesis 2022
document
Diaconu, Jasmine (author)
Search engines operate as an oracle between user queries and information access: the user types the input and receives back the information requested. To accomplish the task, search engines need to interpret human language and, most importantly, comprehend the underlying user intents of a query. With this process, they can retrieve the most...
bachelor thesis 2022
document
Broekhoff, Jochem (author)
Agda, a promising dependently typed function language, needs more mainstream adoption. By the process of code extraction, we compile proven Agda code into a popular existing language, allowing smooth integration with existing workflows. Due to Agda’s pluggable nature, this process is relatively straightforward. We implement a solution in Haskell...
bachelor thesis 2022
document
Massar, Marnix (author)
agda2hs is a tool which translates a subset of Agda to readable Haskell. Using agda2hs, programmers can implement libraries in this subset of Agda, formally verify them, and then convert them to Haskell. In this paper we present a new, verified implementation of the lens data type, which is used to access data structures in a readable yet...
bachelor thesis 2022
document
Plas, Nicolas (author)
Software-Defined Networking (SDN) is a relatively new networking paradigm that proposes to separate the control and the data logic in networks. The control logic is centralized in a controller, which allows for a programmable network. SDN is promising but also intro- duces some critical security vulnerabilities to networks. This work proposes a...
bachelor thesis 2022
document
van Dijk, Robert (author)
The appearance of an object or scene is determined by factors like the material, the lights, the geometry, the position of the observer, and the surroundings.<br/>Changes in these factors can be simulated using a projector-camera setup.<br/>Other research focuses on changing the appearance from the perspective of the projector, or on projector...
bachelor thesis 2022
document
Schifferstein, Michelle (author)
The formal verification of concurrent programs is of particular importance, because concurrent programs are notoriously difficult to test. Because Haskell is a purely functional language, it is relatively easy to reason about the correctness of such programs and write down manual proofs. However, since these methods are still prone to error,...
bachelor thesis 2022
document
Cording, Henry (author)
Diminished reality (DR) is an extension of augmented reality (AR) in which real objects are concealed, removed, or replaced. State of the art DR implementations are written and evaluated on desktop platforms, and those which are aimed at smartphones use auxiliary data or hardware for image completion. This paper introduces a DR app for Android...
bachelor thesis 2022
document
van Veen, Nils (author)
In the field of cooperative AI, an environment is created called Overcooked AI based on the popular Overcooked game. Originally the environment is used to study deep reinforcement learning, on the other hand it also allows for cooperative planning methods of which the paper will focus on. These methods include coupled based planning with...
bachelor thesis 2022
document
Milliken, Louis (author)
Dependently typed languages such as Agda can provide users certain guarantees about the correct- ness of the code that they write, however, this comes at the cost of excess code that is not used at run time. Agda code is currently compiled to another language before it is run, there are not many target languages in popular use, so it is unclear...
bachelor thesis 2022
document
Zimmerhackl, Lukas (author)
Dependent programming languages such as Agda show a lot of promise in creating new ways of writing code, but currently suffer from a lack of support and features. In this paper we attempt to create a new back-end for Agda targeting Java which has a huge and thriving ecosystem.<br/><br/>We implement the new back-end for Agda in Haskell and we...
bachelor thesis 2022
document
Haršáni, Alex (author)
Agda2hs is a tool that allows developers to write verified programs using Agda and then translate these programs to Haskell while maintaining the verified properties. Previous research has shown that Agda2hs can be used to produce a verified implementation of a wide range of programs. However, monads that model effectful computations were...
bachelor thesis 2022
Searched for: mods_note_programme_s%3A%22Computer%255C%2BScience%255C%2Band%255C%2BEngineering%22
(1 - 20 of 713)

Pages