Game development businesses often choose Lua for separating scripted game logic from reusable engine code. Lua can easily be embedded, has simple interfaces, and offers a powerful and extensible scripting language. Using Lua, developers can create prototypes and scripts at early development stages. However, when larger quantities of engine code and script are available, developers encounter maintainability and quality problems. First, the available automated solutions for interoperability do not take domain-specific optimizations into account. Maintaining a coupling by hand between the Lua interpreter and the engine code, usually in C++, is labour intensive and error-prone. Second, assessing the quality of Lua scripts is hard due to a lack of tools that support static analysis. Lua scripts for dynamic analysis only report warnings and errors at run-time and are limited to code coverage. A common solution to the first problem is developing an Interface Definition Language (IDL) from which ”glue code”, interoperability code between interfaces, is generated automatically. We address quality problems by proposing a method to complement techniques for Lua analysis. We introduce Lua AiR (Lua Analysis in Rascal), a framework for static analysis of Lua script in its embedded context, using IDL models and Rascal.
Crime script analysis as a methodology to analyse criminal processes is underdeveloped. This is apparent from the various approaches in which scholars apply crime scripting and present their cybercrime scripts. The plethora of scripting methods raise significant concerns about the reliability and validity of these scripting studies. In this methodological paper, we demonstrate how object-oriented modelling (OOM) could address some of the currently identified methodological issues, thereby refining crime script analysis. More specifically, we suggest to visualise crime scripts using static and dynamic modelling with the Unified Modelling Language (UML) to harmonise cybercrime scripts without compromising their depth. Static models visualise objects in a system or process, their attributes and their relationships. Dynamic models visualise actions and interactions during a process. Creating these models in addition to the typical textual narrative could aid analysts to more systematically consider, organise and relate key aspects of crime scripts. In turn, this approach might, amongst others, facilitate alternative ways of identifying intervention measures, theorising about offender decision-making, and an improved shared understanding of the crime phenomenon analysed. We illustrate the application of these models with a phishing script.
MULTIFILE
andlt;pandgt;Self-monitoring of blood glucose levels, food intake, and physical activity supports self-management of patients with type 2 diabetes mellitus (T2DM). There has been an increase in the development and availability of mobile health apps for T2DM.andlt;/pandgt;
MULTIFILE
Lack of physical activity in urban contexts is an increasing health risk in The Netherlands and Brazil. Exercise applications (apps) are seen as potential ways of increasing physical activity. However, physical activity apps in app stores commonly lack a scientific base. Consequently, it remains unknown what specific content messages should contain and how messages can be personalized to the individual. Moreover, it is unknown how their effects depend on the physical urban environment in which people live and on personal characteristics and attitudes. The current project aims to get insight in how mobile personalized technology can motivate urban residents to become physically active. More specifically, we aim to gain insight into the effectiveness of elements within an exercise app (motivational feedback, goal setting, individualized messages, gaming elements (gamification) for making people more physically active, and how the effectiveness depends on characteristics of the individual and the urban setting. This results in a flexible exercise app for inactive citizens based on theories in data mining, machine learning, exercise psychology, behavioral change and gamification. The sensors on the mobile phone, together with sensors (beacons) in public spaces, combined with sociodemographic and land use information will generate a massive amount of data. The project involves analysis in two ways. First, a unique feature of our project is that we apply machine learning/data mining techniques to optimize the app specification for each individual in a dynamic and iterative research design (Sequential Multiple Assignment Randomised Trial (SMART)), by testing the effectiveness of specific messages given personal and urban characteristics. Second, the implementation of the app in Sao Paolo and Amsterdam will provide us with (big) data on use of functionalities, physical activity, motivation etc. allowing us to investigate in detail the effects of personalized technology on lifestyle in different geographical and cultural contexts.
Lack of physical activity in urban contexts is an increasing health risk in The Netherlands and Brazil. Exercise applications (apps) are seen as potential ways of increasing physical activity. However, physical activity apps in app stores commonly lack a scientific base. Consequently, it remains unknown what specific content messages should contain and how messages can be personalized to the individual. Moreover, it is unknown how their effects depend on the physical urban environment in which people live and on personal characteristics and attitudes. The current project aims to get insight in how mobile personalized technology can motivate urban residents to become physically active. More specifically, we aim to gain insight into the effectiveness of elements within an exercise app (motivational feedback, goal setting, individualized messages, gaming elements (gamification) for making people more physically active, and how the effectiveness depends on characteristics of the individual and the urban setting. This results in a flexible exercise app for inactive citizens based on theories in data mining, machine learning, exercise psychology, behavioral change and gamification. The sensors on the mobile phone, together with sensors (beacons) in public spaces, combined with sociodemographic and land use information will generate a massive amount of data. The project involves analysis in two ways. First, a unique feature of our project is that we apply machine learning/data mining techniques to optimize the app specification for each individual in a dynamic and iterative research design (Sequential Multiple Assignment Randomised Trial (SMART)), by testing the effectiveness of specific messages given personal and urban characteristics. Second, the implementation of the app in Sao Paolo and Amsterdam will provide us with (big) data on use of functionalities, physical activity, motivation etc. allowing us to investigate in detail the effects of personalized technology on lifestyle in different geographical and cultural contexts.
