Does Europe need a comprehensive energy policy?

The nuclear meltdown in Fukushima has given renewed momentum to the anti-nuclear power movement across Europe. However, the degree of momentum varies greatly from country to country, and considering the geographically widespread consequences of a nuclear accident, it hardly appears optimal for one country to ban nuclear power while multiple nuclear power plants are still active in neighbouring countries. Even beyond the nuclear power dilemma, the economic and political externalities associated with energy policy are diffi cult to overstate. The contributions to this Forum look into the benefits expected from a comprehensive common energy policy for Europe and the problems which establishing such a policy would involve

Adaptation to Climate Change: Why is it Needed and How Can it be Implemented?

This is the 3rd study to be published in the CEPS Policy Brief series from ongoing research being carried out for the EU-funded ADAM project (ADaptation And Mitigation strategies: supporting European climate policy). Following an introduction to the aims and objectives of the ADAM project, section 2 sets out the rationales for public policy related to adaptation to the impacts of climatic change in the EU. Section 3 provides evidence from a number of stakeholders and sketches the perception of various actors towards the role of European adaptation policies and climate proofing of sectoral policies. Section 4 on the economics of adaptation argues that the economic impacts of climate change will mainly be reduced by private and autonomous response, while principal challenges are with adaptation needs that require collective action and public engagement, including public finance. Section 5 assesses monetary and socioeconomic risks from extreme weather events in Europe and points to the evidence of rising losses due to weather extremes whilst important knowledge gaps remain to project future risks. And the final section (6) deals with different concepts of uncertainties surrounding climate change and climate variability, and argues for adaptive measures to be sufficiently flexible to allow recalibration as uncertainties are reduced with time

a.SCatch: semantic structure for architectural floor plan retrieval

Architects’ daily routine involves working with drawings. They use either a pen or a computer to sketch out their ideas or to do a drawing to scale. We therefore propose the use of a sketch-based approach when using the floor plan repository for queries. This enables the user of the system to sketch a schematic abstraction of a floor plan and search for floor plans that are structurally similar. We also propose the use of a visual query language, and a semantic structure as put forward by Langenhan. An algorithm extracts the semantic structure sketched by the architect on DFKI’s Touch& Write table and compares the structure of the sketch with that of those from the floor plan repository. The a.SCatch system enables the user to access knowledge from past projects easily. Based on CBR strategies and shape detection technologies, a sketch-based retrieval gives access to a semantic floor plan repository. Furthermore, details of a prototypical application which allows semantic structure to be extracted from image data and put into the repository semi-automatically are provided

Precise design of environmental data warehouses

People use data warehouses to help them make decisions. For example, public policy decision-makers can improve their decisions by using this technology to analyze the environmental effects of human activity. In production systems, data warehouses provide structures for extracting the knowledge required to optimize systems. Designing data warehouses is a complex task; designers need flexible and precise methods to help them create data warehouses and adapt their analysis criteria to developments in the decision-making process. In this paper, we introduce a flexible method based on UML (Unified Modeling Language). We introduce a UML profile for building multi-dimensional models and for choosing different criteria according to analysis requirements. This profile makes it possible to specify integrity constraints in OCL (Object Constraint Language). We apply our method to the construction of an environmental system for analyzing the use of certain agricultural fertilizers. We integrate various data sources into a multi-dimensional model showing several categories of analysis, and the consistency of data can be checked with OCL constraints

Tractable Fragments of Temporal Sequences of Topological Information

In this paper, we focus on qualitative temporal sequences of topological information. We firstly consider the context of topological temporal sequences of length greater than 3 describing the evolution of regions at consecutive time points. We show that there is no Cartesian subclass containing all the basic relations and the universal relation for which the algebraic closure decides satisfiability. However, we identify some tractable subclasses, by giving up the relations containing the non-tangential proper part relation and not containing the tangential proper part relation. We then formalize an alternative semantics for temporal sequences. We place ourselves in the context of the topological temporal sequences describing the evolution of regions on a partition of time (i.e. an alternation of instants and intervals). In this context, we identify large tractable fragments

Modal Logics of Topological Relations

Logical formalisms for reasoning about relations between spatial regions play a fundamental role in geographical information systems, spatial and constraint databases, and spatial reasoning in AI. In analogy with Halpern and Shoham's modal logic of time intervals based on the Allen relations, we introduce a family of modal logics equipped with eight modal operators that are interpreted by the Egenhofer-Franzosa (or RCC8) relations between regions in topological spaces such as the real plane. We investigate the expressive power and computational complexity of logics obtained in this way. It turns out that our modal logics have the same expressive power as the two-variable fragment of first-order logic, but are exponentially less succinct. The complexity ranges from (undecidable and) recursively enumerable to highly undecidable, where the recursively enumerable logics are obtained by considering substructures of structures induced by topological spaces. As our undecidability results also capture logics based on the real line, they improve upon undecidability results for interval temporal logics by Halpern and Shoham. We also analyze modal logics based on the five RCC5 relations, with similar results regarding the expressive power, but weaker results regarding the complexity

Mereotopological Connection

The paper outlines a model-theoretic framework for investigating and comparing a variety of mereotopological theories. In the first part we consider different ways of characterizing a mereotopology with respect to (i) the intended interpretation of the connection primitive, and (ii) the composition of the admissible domains of quantification (e.g., whether or not they include boundary elements). The second part extends this study by considering two further dimensions along which different patterns of topological connection can be classified—the strength of the connection and its multiplicity