NIK Programming, sensors and logic

Author and abstract
Aleksander Bai, Rannveig Skjerve, Till Halbach and Kristin Fuglerud:
Evaluating accessibility testing in automated software build processes
Today, most software projects utilize an automated build process with unit tests, code quality checks, end-to-end integration tests, and more. To make software usable by as many people as possible, regardless of capabilities, accessibility testing must be integrated into the build process. The goal is highly accessible software where issues are found early in the development lifecycle. In this work, we have investigated the most common accessibility testing tools suitable for integration in an automated build process and split the tools into two categories based on their rulesets. The rulesets are evaluated against a well known demonstration site for calculation of the rulesets' precision, recall, and $F_1$ scores. Finally, we discuss the implications of their scores and how accessibility testing tools can be integrated into an automated build process.
Jostein Bratlie and Rune Dalmo:
Exploring future C++ features within a geometric modeling context
The development of the C++ programming language and its standard library has undergone a renaissance since the introduction of the C++11 standard, making the language more relevant than ever, through modern features, simplification and expansion of the standard library. Comparing past and future feature sets (C++17, C++20, ...) similar to comparing different programming languages. In this article we look at how new and upcoming features of the language can be utilized to ease the development of domain specific application areas through features such as generic programming, compile-time polymorphism and type-safety. We provide representative examples by application to differential geometry by modeling hierarchical structure for parametric object evaluation.
Crystal Chang Din, Leif Harald Karlsen, Irina Pene, Oliver Stahl, Ingrid Chieh Yu, Thomas Østerlie:
Geological Multi-scenario Reasoning
In the oil and gas industry, during exploration prospect assessment, explorationists rely on ad hoc manual work practices and tools for developing and communicating multiple hypothetical geological scenarios of the prospect. This leaves them with little efficient means to make the fullest use of state of the art digital technologies to communicate and systematically compare and assess different hypothetical geological scenarios before deciding which scenario to pursue. In this paper, we present a formal framework for geological multi-scenario reasoning, a novel tool-based method for geologically oriented subsurface evaluation. The methodology applies formal methods and logic-based techniques to subsurface evaluation and expresses interpretive uncertainty as discrete scenarios with branches of potential alternatives. This framework consists of (i) a proto-scenario generator that takes user observations and geological evidence as input and generates semantically valid initial states based on formalized geological knowledge in first-order logic (ii) geological processes formalized as a rewrite theory that are executable in Maude. By applying geological rewrite rules onto the proto-scenarios, we are able to assist explorationists with multi-scenario generation and reasoning beyond human capacity.
Tor-Morten Grønli, Andreas Biørn-Hansen, Siri Fagernes, Ragnhild Eg, Kjeld Hansen and Per Morten Fredriksen:
Unveiling the Data Shadow: A Scalable Software Architecture for Public Health and Electronically Assessed Data (PHEAD)
In 2017, health expenditure in Norway amounted to 10,4 percent of GDP, and it increases by approx. 0,3 percent annually. Medical treatment and rehabilitation include treatment in hospitals, medical services, dental services, etc., and about half of Norway's health expenses are related to these services. In total, 97 percent of the budget is spent on treating disorders and support functions. Despite studies have shown that the greatest effect on health is within preventive health, only 3 percent of the Norwegian health expenses is used for that purpose. Computer-based technology is used to measure a large amount of health-related information as activity level, heartrate, sleep rhythms, eating habits, exercise habits and emotions. These large amounts of data collected by patients are available in electronic recording equipment and social media but are not shared with the physician or other healthcare professionals – in fact establishing a data shadow. The volume of data is massive, and health personnel do not know how to break the data down to sensible and usable information
This research project is founded in this perspective of preventive health and synthesizes available personal health information by utilizing commodity mobile and wearable hardware to gain a comprehensive insight into the health data shadow of an individual. This is further used to give individuals a fact-based awareness of own health and make informed choices, showcased through a persuasive technologies experiment, and secondly by a built prototype solution upon which health workers and medical doctors can be provided with a comprehensive, unfiltered data foundation to base diagnoses, treatment and council upon. Our major contribution is a proof of concept implementation and leveraging state of the art cloud based function as a service approach to build a scalable software architecture for a ubiquitous and heterogeneous environment harvesting the data shadow through activity tracking devices.