Relational methods can be found at various places in computer science, notably in data base theory, relational semantics of concurrency, relationaltype theory, analysis of rewriting systems, and modern programming language design. In addition, they appear in algorithms analysis and in the bulk of discrete mathematics taught to computer scientists. This book is devoted to the background of these methods. It explains how to use relational and graph-theoretic methods systematically in computer science. A powerful formal framework of relational algebra is developed with respect to applications to...

This 2-volume work represents the proceedings of the First European Workshop on Fault Diagnostics, Reliability and Re- lated Knowledge-Based Approaches held in the Island of Rho- des, Greece (August 3l-September 3, 1986). This Workshop was organized in the framework of a joint research project spon- sored by the Commission of the European Communi ties under the Stimulation Action Programme. The principal aim of the Workshop was to bring together people working on the numeric and symbolic (knowledge-based) treatment of reliability and fault diagnosis problems, in order to promote the...

The investigations refer to the development of plant phenology since the 1960s in Germany. Spatiotemporal trends were assessed by means of regression kriging. It could be shown that there already is a distinct shift of phenological onset towards the beginning of the year of up to two weeks. In future, a shift of up to one month was calculated till 2080. Moreover, a prolongation of the vegetation period of up to three weeks was found. The findings are relevant for the development of mitigation measures to prevent from environmental, agricultural and economic issues due to climate change.

This book introduces and develops new algebraic methods to work with relations, often conceived as Boolean matrices, and applies them to topology.