An incremental space to visualize dynamic data sets

In Information Visualization, adding and removing data elements can strongly impact the underlying visual space. We have developed an inherently incremental technique (incBoard) that maintains a coherent disposition of elements from a dynamic multidimensional data set on a 2D grid as the set changes. Here, we introduce a novel layout that uses pairwise similarity from grid neighbors, as defined in incBoard, to reposition elements on the visual space, free from constraints imposed by the grid. The board continues to be updated and can be displayed alongside the new space. As similar items are placed together, while dissimilar neighbors are moved apart, it supports users in the identification of clusters and subsets of related elements. Densely populated areas identified in the incSpace can be efficiently explored with the corresponding incBoard visualization, which is not susceptible to occlusion. The solution remains inherently incremental and maintains a coherent disposition of elements, even for fully renewed sets. The algorithm considers relative positions for the initial placement of elements, and raw dissimilarity to fine tune the visualization. It has low computational cost, with complexity depending only on the size of the currently viewed subset, V. Thus, a data set of size N can be sequentially displayed in O(N) time, reaching O(N (2)) only if the complete set is simultaneously displayed.

Fault Coverage-Driven Incremental Test Generation

In this paper, we consider a classical problem of complete test generation for deterministic finite-state machines (FSMs) in a more general setting. The first generalization is that the number of states in implementation FSMs can even be smaller than that of the specification FSM. Previous work deals only with the case when the implementation FSMs are allowed to have the same number of states as the specification FSM. This generalization provides more options to the test designer: when traditional methods trigger a test explosion for large specification machines, tests with a lower, but yet guaranteed, fault coverage can still be generated. The second generalization is that tests can be generated starting with a user-defined test suite, by incrementally extending it until the desired fault coverage is achieved. Solving the generalized test derivation problem, we formulate sufficient conditions for test suite completeness weaker than the existing ones and use them to elaborate an algorithm that can be used both for extending user-defined test suites to achieve the desired fault coverage and for test generation. We present the experimental results that indicate that the proposed algorithm allows obtaining a trade-off between the length and fault coverage of test suites.

Closing the Clymene ocean and bending a Brasiliano belt: Evidence for the Cambrian formation of Gondwana, southeast Amazon craton

We report new paleomagnetic and geochronological data from Ediacaran rift-drift carbonates in the Paraguai belt at the southern end of the suture zone between the Amazon craton and the Sao Francisco and Rio de Plata cratons, South America. Early thrusting resulted in remagnetization ca. 528 +/- 36 Ma or later; the mean age is established by (40)Ar/(39)Ar encapsulation dating of mixed authigenic and detrital illite from remagnetized carbonates from the unmetamorphosed fold-thrust belt. This remagnetization overlaps with a 525 Ma Gondwana reference pole. Metamorphic illite from the slate belt yields (40)Ar/(39)Ar ages of 496-484 Ma, the timing of peak regional metamorphism. Oroclinal bending of the Paraguai belt was caused by a 90 degrees clockwise rotation of the east-west limb after ca. 528 Ma, probably reflecting the irregular margin of the southeast Amazon craton. The age of the Paraguai belt overlaps with that of the Pampean orogeny farther south along the western margin of the Rio de Plata craton, suggesting a coeval closure for the Clymene ocean separating the Amazon craton from the Sao Francisco and Rio de Plata cratons.