The biophysical basis and clinical applications of rheoencephalography

Rheoencephalography methods for determining aviators potentially subject to cerebrovascular diseas

Source Code Verification for Embedded Systems using Prolog

System relevant embedded software needs to be reliable and, therefore, well tested, especially for aerospace systems. A common technique to verify programs is the analysis of their abstract syntax tree (AST). Tree structures can be elegantly analyzed with the logic programming language Prolog. Moreover, Prolog offers further advantages for a thorough analysis: On the one hand, it natively provides versatile options to efficiently process tree or graph data structures. On the other hand, Prolog's non-determinism and backtracking eases tests of different variations of the program flow without big effort. A rule-based approach with Prolog allows to characterize the verification goals in a concise and declarative way. In this paper, we describe our approach to verify the source code of a flash file system with the help of Prolog. The flash file system is written in C++ and has been developed particularly for the use in satellites. We transform a given abstract syntax tree of C++ source code into Prolog facts and derive the call graph and the execution sequence (tree), which then are further tested against verification goals. The different program flow branching due to control structures is derived by backtracking as subtrees of the full execution sequence. Finally, these subtrees are verified in Prolog. We illustrate our approach with a case study, where we search for incorrect applications of semaphores in embedded software using the real-time operating system RODOS. We rely on computation tree logic (CTL) and have designed an embedded domain specific language (DSL) in Prolog to express the verification goals.Comment: In Proceedings WLP'15/'16/WFLP'16, arXiv:1701.0014

PRIMA — Privacy research through the perspective of a multidisciplinary mash up

Based on a summary description of privacy protection research within three fields of inquiry, viz. social sciences, legal science, and computer and systems sciences, we discuss multidisciplinary approaches with regard to the difficulties and the risks that they entail as well as their possible advantages. The latter include the identification of relevant perspectives of privacy, increased expressiveness in the formulation of research goals, opportunities for improved research methods, and a boost in the utility of invested research efforts

Psychological approaches to the study of saving / 7

Bibliography: p. 95-114

Declarative Rules for Annotated Expert Knowledge in Change Management

In this paper, we use declarative and domain-specific languages for representing expert knowledge in the field of change management in organisational psychology. Expert rules obtained in practical case studies are represented as declarative rules in a deductive database. The expert rules are annotated by information describing their provenance and confidence. Additional provenance information for the whole - or parts of the - rule base can be given by ontologies. Deductive databases allow for declaratively defining the semantics of the expert knowledge with rules; the evaluation of the rules can be optimised and the inference mechanisms could be changed, since they are specified in an abstract way. As the logical syntax of rules had been a problem in previous applications of deductive databases, we use specially designed domain-specific languages to make the rule syntax easier for non-programmers. The semantics of the whole knowledge base is declarative. The rules are written declaratively in an extension datalogs of the well-known deductive database language datalog on the data level, and additional datalogs rules can configure the processing of the annotated rules and the ontologies

Domain-specific languages in Prolog for declarative expert knowledge in rules and ontologies

Declarative if–then rules have proven very useful in many applications of expert sys- tems. They can be managed in deductive databases and evaluated using the well-known forward-chaining approach. For domain-experts, however, the syntax of rules becomes complicated quickly, and already many different knowledge representation formalisms ex- ist. Expert knowledge is often acquired in story form using interviews. In this paper, we discuss its representation by defining domain-specific languages (Dsls) for declarative ex- pert rules. They can be embedded in Prolog systems in internal Dsls using term expan- sion and as external Dsls using definite clause grammars and quasi-quotations – for more sophisticated syntaxes. Based on the declarative rules and the integration with the Prolog-based deductive database system DDbase, multiple rules acquired in practical case studies can be combined, compared, graphically analysed by domain-experts, and evaluated, resulting in an extensi- ble system for expert knowledge. As a result, the actual modeling Dsl becomes executable; the declarative forward-chaining evaluation of deductive databases can be understood by the domain experts. Our Dsl for rules can be further improved by integrating ontologies and rule annotations

Will climate change increase the risk of plant invasions into mountains?

Mountain ecosystems have been less adversely affected by invasions of non-native plants than most other ecosystems, partially because most invasive plants in the lowlands are limited by climate and cannot grow under harsher high-elevation conditions. However, with ongoing climate change, invasive species may rapidly move upwards and threaten mid-, and then high-elevation mountain ecosystems. We evaluated this threat by modeling the current and future habitat suitability for 48 invasive plant species in Switzerland and New South Wales, Australia. Both regions had contrasting climate interactions with elevation, resulting in possible different responses of species distributions to climate change. Using a species distribution modeling approach that combines data from two spatial scales, we built high-resolution species distribution models (≤ 250 m) that account for the global climatic niche of species and also finer variables depicting local climate and disturbances. We found that different environmental drivers limit the elevation range of invasive species in each of the two regions, leading to region-specific species responses to climate change. The optimal suitability for plant invaders is predicted to markedly shift from the lowland to the montane or subalpine zone in Switzerland, whereas the upward shift is far less pronounced in New South Wales where montane and subalpine elevations are already suitable. The results suggest that species most likely to invade high elevations in Switzerland will be cold-tolerant, whereas species with an affinity to moist soils are most likely to invade higher elevations in Australia. Other plant traits were only marginally associated with elevation limits. These results demonstrate that a more systematic consideration of future distributions of invasive species is required in conservation plans of not yet invaded mountainous ecosystems