Conceptual mathematical models play a crucial role in the development of engineering specifications required in the detailed design process and in the test and evaluation of avionics equipment. Specifying aircraft proximity is a precursor to the development of aircraft Detect and Avoid (DAA) systems …

Stress is increasingly being recognized as one of the main factors that is negatively affecting our health, and therefore there is a need to regulate daily stress and prevent long-term stress. This need seems particularly important for adults with mild intellectual disabilities (MID) who have been shown …

A new bookkeeping system called Jiskefet is being developed for A Large Ion Collider Experiment (ALICE) during Long Shutdown 2, to be in production until the end of LHC Run 4 (2029). Jiskefet unifies two function- alities: a) gathering, storing and presenting metadata associated with the oper- ations …

Ameland, a Dutch Wadden Sea island, is blessed with many historical buildings, such as captains’ houses, which make up picturesque townscapes. Together with the attractions of sandy beaches, these quaint villages attract hundreds of thousands of visitors each year. Ameland also has the ambitious goal …

Background: Joint bleeds are the hallmark of hemophilia, leading to a painful arthritic condition called as hemophilic arthropathy (HA). Exercise programs are frequently used to improve the physical functioning in persons with HA. As hemophilia is a rare disease, there are not many physiotherapists who …

Background: For a stress-management app to be persuasive and impactful, designers and developers should obtain a clear perspective of the value proposition according to key stakeholders before development. However, this is often not the case. In order to increase the chance of creating an impact by means …

During the graduation project for the HBO-ICT education, the student has worked on a projectcommissioned by Thales Group. Thales uses Apache Avro to specify the API they use. Basedon this specification, empty methods are generated and filled out by Thales developers.However, they want to specify more …

A psychological mechanism to prefer specific (pre) judgments over general judgments has to do with control and defusing threats. By framing, what we fear becomes less generally threatening. For example, we specify an accident by looking at car age, driver 's age, alcohol / drugs, brand of car, or state …

Game-based learning can motivate learners and help them to acquire new knowledge in an active way. However, it is not always clear for learners how to learn effectively and efficiently within game-based learning environments. As metacognition comprises the knowledge and skills that learners employ to …

Grammar-based procedural level generation raises the productivity of level designers for games such as dungeon crawl and platform games. However, the improved productivity comes at cost of level quality assurance. Authoring, improving and maintaining grammars is difficult because it is hard to predict …