Dynamic maps for supporting spatial decision processes

The research here described aims at supporting decision making processes related to large scale and long term spatial questions. It proposes a method for sharing information and conveying reasoning by the use of dynamic maps. Through the visual localization of costs and benefits, the participants to the spatial decision processes are led to evaluate methods and objectives for a lot of alternative development options. The system has been used in different case studies showing its effectiveness in creating awareness on spatial problems and enabling discussions

Visualising accessibility: an interactive tool and two applications to empirical case studies of urban development and public engagement

While a substantial body of literature exists on the theoretical definitions and measures of accessibility, the extent to which such measures are applied into practice to assess project alternatives is less frequent (Geurs and Van Wee, 2004). Recent studies affirm that one of the main barriers to the usability of accessibility measure is the lack of visualisation quality and mapping tool for accessibility representation (te Brömmelstroet et al, 2014), while visualisation tools are commonly recognised as the most effective methodology to facilitate knowledge sharing, particularly in those processes involving public stakeholders and non-experts with different expertise. Starting form this consideration, this paper presents an application of the Interactive Visualisation Tool, named InViTo (Pensa and Masala, 2014a; 2014b; Pensa, et al., 2014; Pensa, Masala and Lami, 2013; Pensa, Masala and Marina, 2013) able to generate maps of the level of perceived accessibility (i.e. “desirability”) of different urban areas. Desirability is here computed as the perceived level of access to different urban items as transport supply (metro and rail stations, public transport stops, parking) and urban activities such as hospitals, schools, museums. In this respect, the concept of desirability encompasses a measure of accessibility to several urban facilities, and the perception that residents of the study area have of such facilities. The InViTo tool allows to build up maps of desirability interactively, by making selection of the chosen items and by giving differential weights to each items. This makes the tools powerful and very useful particularly when discussing and showing analysis results to stakeholders, who could have the opportunity to see in real time the results of different scenario alternatives and assumptions. In the paper two applications are presented. The first one to the empirical case study of Rome, presents the steps to undertake in order to apply the tool: from data gathering, maps coding, and results representation. The second application aims at exploring the potential usability of the tool in engaging public stakeholders into the assessment of different urban development options. Furthermore, the results of a workshop held in Turin, in which public and private stakeholders were interactively involved, are discussed. The paper is organised as follows. In section 2, an overview of the InViTo tool is given with a focus on its applicability formeasuring accessibility. In section 3 the results of the two InViTo applications are discussed. Conclusions are drawn in section 4, with an outlook to undergoing research issues

Gene Expressio Array Exploration Using K-Formal Concept Analysis

Proceeding of: 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011.DNA micro-arrays are a mechanism for eliciting gene expression values, the concentration of the transcription products of a set of genes, under different chemical conditions. The phenomena of interest—up-regulation, down-regulation and co-regulation—are hypothesized to stem from the functional relationships among transcription products. In [1,2,3] a generalisation of Formal Concept Analysis was developed with data mining applications in mind, K-Formal Concept Analysis, where incidences take values in certain kinds of semirings, instead of the usual Boolean carrier set. In this paper, we use (Rmin+)- and (Rmax+) to analyse gene expression data for Arabidopsis thaliana. We introduce the mechanism to render the data in the appropriate algebra and profit by the wealth of different Galois Connections available in Generalized Formal Concept Analysis to carry different analysis for up- and down-regulated genes.Spanish Government-Comision Interministerial de Ciencia y Tecnología projects 2008-06382/TEC and 2008-02473/TEC and the regional projects S-505/TIC/0223 (DGUI-CM) and CCG08-UC3M/TIC- 4457 (Comunidad Aut onoma de Madrid - UC3M)

Cross-analysis of the accessibility instruments

In the following, we look at how the different accessibility instruments presented in section 3 compare on the different aspects: background, conceptual framework and theoretical underpinnings, operational aspects, relevance for planning practice, strengths and limitations, and visualization. We identify, per item, significant similarities and differences and reflect on potential implications for the following steps of the Action

M3Fusion: A Deep Learning Architecture for Multi-{Scale/Modal/Temporal} satellite data fusion

Modern Earth Observation systems provide sensing data at different temporal and spatial resolutions. Among optical sensors, today the Sentinel-2 program supplies high-resolution temporal (every 5 days) and high spatial resolution (10m) images that can be useful to monitor land cover dynamics. On the other hand, Very High Spatial Resolution images (VHSR) are still an essential tool to figure out land cover mapping characterized by fine spatial patterns. Understand how to efficiently leverage these complementary sources of information together to deal with land cover mapping is still challenging. With the aim to tackle land cover mapping through the fusion of multi-temporal High Spatial Resolution and Very High Spatial Resolution satellite images, we propose an End-to-End Deep Learning framework, named M3Fusion, able to leverage simultaneously the temporal knowledge contained in time series data as well as the fine spatial information available in VHSR information. Experiments carried out on the Reunion Island study area asses the quality of our proposal considering both quantitative and qualitative aspects

Making Use of Empty Intersections to Improve the Performance of CbO-Type Algorithms

This paper describes how improvements in the performance of Close-by-One type algorithms can be achieved by making use of empty intersections in the computation of formal concepts. During the computation, if the intersection between the current concept extent and the next attribute-extent is empty, this fact can be simply inherited by subsequent children of the current concept. Thus subsequent intersections with the same attribute-extent can be skipped. Because these intersections require the testing of each object in the current extent, significant time savings can be made by avoiding them. The paper also shows how further time savings can be made by forgoing the traditional canonicity test for new extents, if the intersection is empty. Finally, the paper describes how, because of typical optimizations made in the implementation of CbO-type algorithms, even more time can be saved by amalgamating inherited attributes with inherited empty intersections into a single, simple test

Flettner Rotor Concept for Marine Applications: A Systematic Study

The concept of Flettner rotor, a rotating cylinder immersed in a fluid current, with a top-mounted disk, has been analyzed by means of unsteady Reynolds averaged Navier-Stokes simulations, with the aim of creating a suitable tool for the preliminary design of the Flettner rotor as a ship's auxiliary propulsion system. The simulation has been executed to evaluate the performance sensitivity of the Flettner rotor with respect to systematic variations of several parameters, that is, the spin ratio, the rotor aspect ratio, the effect of the end plates, and their dimensions. The Flettner rotor device has been characterized in terms of lift and drag coefficients, and these data were compared with experimental trends available in literature. A verification study has been conducted in order to evaluate the accuracy of the simulation results and the main sources of numerical uncertainty. All the simulation results were used to achieve a surrogate model of lift and drag coefficients. This model is an effective mathematical tool for the preliminary design of Flettner rotor. Finally, an example of assessment of the Flettner rotor performance as an auxiliary propulsion device on a real tanker ship is reported