Refactorings of Design Defects using Relational Concept Analysis

Software engineers often need to identify and correct design defects, ıe} recurring design problems that hinder development and maintenance\ud by making programs harder to comprehend and--or evolve. While detection\ud of design defects is an actively researched area, their correction---mainly\ud a manual and time-consuming activity --- is yet to be extensively\ud investigated for automation. In this paper, we propose an automated\ud approach for suggesting defect-correcting refactorings using relational\ud concept analysis (RCA). The added value of RCA consists in exploiting\ud the links between formal objects which abound in a software re-engineering\ud context. We validated our approach on instances of the <span class='textit'></span>Blob\ud design defect taken from four different open-source programs

An Incremental Learning Method to Support the Annotation of Workflows with Data-to-Data Relations

Workflow formalisations are often focused on the representation of a process with the primary objective to support execution. However, there are scenarios where what needs to be represented is the effect of the process on the data artefacts involved, for example when reasoning over the corresponding data policies. This can be achieved by annotating the workflow with the semantic relations that occur between these data artefacts. However, manually producing such annotations is difficult and time consuming. In this paper we introduce a method based on recommendations to support users in this task. Our approach is centred on an incremental rule association mining technique that allows to compensate the cold start problem due to the lack of a training set of annotated workflows. We discuss the implementation of a tool relying on this approach and how its application on an existing repository of workflows effectively enable the generation of such annotations

Distributed Formal Concept Analysis Algorithms Based on an Iterative MapReduce Framework

While many existing formal concept analysis algorithms are efficient, they are typically unsuitable for distributed implementation. Taking the MapReduce (MR) framework as our inspiration we introduce a distributed approach for performing formal concept mining. Our method has its novelty in that we use a light-weight MapReduce runtime called Twister which is better suited to iterative algorithms than recent distributed approaches. First, we describe the theoretical foundations underpinning our distributed formal concept analysis approach. Second, we provide a representative exemplar of how a classic centralized algorithm can be implemented in a distributed fashion using our methodology: we modify Ganter's classic algorithm by introducing a family of MR* algorithms, namely MRGanter and MRGanter+ where the prefix denotes the algorithm's lineage. To evaluate the factors that impact distributed algorithm performance, we compare our MR* algorithms with the state-of-the-art. Experiments conducted on real datasets demonstrate that MRGanter+ is efficient, scalable and an appealing algorithm for distributed problems.Comment: 17 pages, ICFCA 201, Formal Concept Analysis 201

Effect of heuristics on serendipity in path-based storytelling with linked data

Path-based storytelling with Linked Data on the Web provides users the ability to discover concepts in an entertaining and educational way. Given a query context, many state-of-the-art pathfinding approaches aim at telling a story that coincides with the user's expectations by investigating paths over Linked Data on the Web. By taking into account serendipity in storytelling, we aim at improving and tailoring existing approaches towards better fitting user expectations so that users are able to discover interesting knowledge without feeling unsure or even lost in the story facts. To this end, we propose to optimize the link estimation between - and the selection of facts in a story by increasing the consistency and relevancy of links between facts through additional domain delineation and refinement steps. In order to address multiple aspects of serendipity, we propose and investigate combinations of weights and heuristics in paths forming the essential building blocks for each story. Our experimental findings with stories based on DBpedia indicate the improvements when applying the optimized algorithm

Variations in sea surface roughness induced by the 2004 Sumatra-Andaman tsunami

Observations of tsunamis away from shore are critically important for improving early warning systems and understanding of tsunami generation and propagation. Tsunamis are difficult to detect and measure in the open ocean because the wave amplitude there is much smaller than it is close to shore. Currently, tsunami observations in deep water rely on measurements of variations in the sea surface height or bottom pressure. Here we demonstrate that there exists a different observable, specifically, ocean surface roughness, which can be used to reveal tsunamis away from shore. The first detailed measurements of the tsunami effect on sea surface height and radar backscattering strength in the open ocean were obtained from satellite altimeters during passage of the 2004 Sumatra-Andaman tsunami. Through statistical analyses of satellite altimeter observations, we show that the Sumatra-Andaman tsunami effected distinct, detectable changes in sea surface roughness. The magnitude and spatial structure of the observed variations in radar backscattering strength are consistent with hydrodynamic models predicting variations in the near-surface wind across the tsunami wave front. Tsunami-induced changes in sea surface roughness can be potentially used for early tsunami detection by orbiting microwave radars and radiometers, which have broad surface coverage across the satellite ground track

Gully Formation at the Haughton Impact Structure (Arctic Canada) Through the Melting of Snow and Ground Ice, with Implications for Gully Formation on Mars

The formation of gullies on Mars has been the topic of active debate and scientific study since their first discovery by Malin and Edgett in 2000. Several mechanisms have been proposed to account for gully formation on Mars, from dry mass movement processes, release of water or brine from subsurface aquifers, and the melting of near-surface ground ice or snowpacks. In their global documentation of martian gullies, report that gullies are confined to ~2783S and ~2872N latitudes and span all longitudes. Gullies on Mars have been documented on impact crater walls and central uplifts, isolated massifs, and on canyon walls, with crater walls being the most common situation. In order to better understand gully formation on Mars, we have been conducting field studies in the Canadian High Arctic over the past several summers, most recently in summer 2018 and 2019 under the auspices of the Canadian Space Agency-funded Icy Mars Analogue Program. It is notable that the majority of previous studies in the Arctic and Antarctica, including our recent work on Devon Island, have focused on gullies formed on slopes generated by regular endogenic geological processes and in regular bedrock. How-ever, as noted above, meteorite impact craters are the most dominant setting for gullies on Mars. Impact craters provide an environment with diverse lithologies including impact-generated and impact-modified rocks and slope angle, and thus greatly variable hill slope processes could occur within a localized area. Here, we investigate the formation of gullies within the Haughton impact structure and compare them to gullies formed in unimpacted target rock in the nearby Thomas Lee Inle

Atmospheric neutron measurements with the SONTRAC science model

–The SOlar Neutron TRACking (SONTRAC) telescope was originally developed to measure the energy spectrum and incident direction of neutrons produced in solar flares, in the energy range 20 - 250 MeV. While developed primarily for solar physics, the SONTRAC detector may be employed in virtually any application requiring both energy measurement and imaging capabilities. The SONTRAC Science Model (SM) is presently being operated at the University of New Hampshire (UNH) as a ground-based instrument to investigate the energy spectrum, zenith and azimuth angle dependence of the cosmic-ray induced sea-level atmospheric neutron flux. SONTRAC measurements are based on the non-relativistic double scatter of neutrons off ambient protons within a block of scintillating fibers. Using the n-p elastic double-scatter technique, it is possible to uniquely determine the neutron’s energy and direction on an event-by-event basis. The 3D SM consists of a cube of orthogonal plastic scintillating fiber layers with 5 cm sides, read out by two CCD cameras. Two orthogonal imaging chains allow full 3D reconstruction of scattered proton tracks

Influence of topography on tide propagation and amplification in semi-enclosed basins

An idealized model for tide propagation and amplification in semi-enclosed rectangular basins is presented, accounting for depth differences by a combination of longitudinal and lateral topographic steps. The basin geometry is formed by several adjacent compartments of identical width, each having either a uniform depth or two depths separated by a transverse topographic step. The problem is forced by an incoming Kelvin wave at the open end, while allowing waves to radiate outward. The solution in each compartment is written as the superposition of (semi)-analytical wave solutions in an infinite channel, individually satisfying the depth-averaged linear shallow water equations on the f plane, including bottom friction. A collocation technique is employed to satisfy continuity of elevation and flux across the longitudinal topographic steps between the compartments. The model results show that the tidal wave in shallow parts displays slower propagation, enhanced dissipation and amplified amplitudes. This reveals a resonance mechanism, occurring when\ud the length of the shallow end is roughly an odd multiple of the quarter Kelvin wavelength. Alternatively, for sufficiently wide basins, also Poincaré waves may become resonant. A transverse step implies different wavelengths of the incoming and reflected Kelvin wave, leading to increased amplitudes in shallow regions and a shift of amphidromic points in the direction of the deeper part. Including the shallow parts near the basin’s closed end (thus capturing the Kelvin resonance mechanism) is essential to reproduce semi-diurnal and diurnal\ud tide observations in the Gulf of California, the Adriatic Sea and the Persian Gulf

Revenge by photoshop: Memefying police acts in the public dialogue about injustice

In this article, we are interested in the role digital memes in the form of pictures play in the framing of public discourses about police injustice and what it is that makes memes successful in this process. For this purpose, we narrate the story of one such meme: the ‘pepper-spray cop’. In our analysis, we link the creation and spread of the meme to the democratization of online activism and the subversive acts of hierarchical sousveillance. Based on our findings, we discuss features of the meme and the process linked to its initiation, rapid spread and disappearance as vital for the success of visual memes in the context of online protests