Elemental contents and Sr isotopic data of calcite celestite infillings from various tectonic microstructures the so-called “Main Fault” that occurs in Opalinus Clay Formation (Switzerland) were used to elaborate on geochemical impact this structural system fine-grained host sediments. The chemical leachates vein, slickenside gouge are significantly different those diffuse undeformed highly def...

As a software system evolves, its test suite can accumulate redundancies over time. Test minimization aims at removing redundant test cases. However, current techniques remove whole test cases from the test suite using test adequacy criteria, such as code coverage. This has two limitations, namely (1) by removing a whole test case the corresponding test assertions are also lost, which can inhib...

We present a concurrent Completion procedure based on the use of a SOUR graph as data structure. The procedure has the following characteristics. It is asynchronous, there is no need for a global memory or global control, equations are stored in a SOUR graph with maximal structure sharing, and each vertex is a process, representing a term. Therefore, the parallelism is at the term level. Each e...

Global increases in the occurrence of large, severe wildfires in forested watersheds threaten drinking water supplies and aquatic ecology. Wildfire effects on water quality, particularly nutrient levels and forms, can be significant. The longevity and downstream propagation of these effects as well as the geochemical mechanisms regulating them remain largely undocumented at larger river basin s...

The upper part of the Krka River estuary and Prokljan Lake are a specific example well-stratified estuarine environment in submerged river canyon. Here, we reconstructed geomorphological evolution area classified data gathered study, integrating multibeam echosounder data, backscatter side-scan sonar morpho-bathymetric surveys, acoustic sub-bottom profiling, with addition ground-truthing sedime...

Fine-grained cryptographic primitives are ones that are secure against adversaries with an apriori bounded polynomial amount of resources (time, space or parallel-time), where the honest algorithms use less resources than the adversaries they are designed to fool. Such primitives were previously studied in the context of time-bounded adversaries (Merkle, CACM 1978), space-bounded adversaries (C...

In theory, join points can be arbitrary places in the structure or execution of a program. However, most existing aspect languages do not support the full expressive power of this concept, limiting their pointcut languages to a subset of the theoretically possible join points. In this paper we explore a minimal language design based on only three built-in fine-grained pointcuts, which enable ex...

Traditional approaches to receiver-driven layered multicast have advocated the benefits of cumulative layering, which can enable coarse-grained congestion control that complies with TCP-friendliness equations over large time scales. In this paper, we quantify the costs and benefits of using non-cumulative layering and present a new, scalable multicast congestion control scheme which provides a ...