Solving Set Constraint Satisfaction Problems using ROBDDs

In this paper we present a new approach to modeling finite set domain constraint problems using Reduced Ordered Binary Decision Diagrams (ROBDDs). We show that it is possible to construct an efficient set domain propagator which compactly represents many set domains and set constraints using ROBDDs. We demonstrate that the ROBDD-based approach provides unprecedented flexibility in modeling constraint satisfaction problems, leading to performance improvements. We also show that the ROBDD-based modeling approach can be extended to the modeling of integer and multiset constraint problems in a straightforward manner. Since domain propagation is not always practical, we also show how to incorporate less strict consistency notions into the ROBDD framework, such as set bounds, cardinality bounds and lexicographic bounds consistency. Finally, we present experimental results that demonstrate the ROBDD-based solver performs better than various more conventional constraint solvers on several standard set constraint problems

SAT Solving for Argument Filterings

This paper introduces a propositional encoding for lexicographic path orders in connection with dependency pairs. This facilitates the application of SAT solvers for termination analysis of term rewrite systems based on the dependency pair method. We address two main inter-related issues and encode them as satisfiability problems of propositional formulas that can be efficiently handled by SAT solving: (1) the combined search for a lexicographic path order together with an \emph{argument filtering} to orient a set of inequalities; and (2) how the choice of the argument filtering influences the set of inequalities that have to be oriented. We have implemented our contributions in the termination prover AProVE. Extensive experiments show that by our encoding and the application of SAT solvers one obtains speedups in orders of magnitude as well as increased termination proving power

Hydrographic measurements in Jökulsárlón lagoon, Iceland

Jökulsárlón lagoon is an enclosed lake bordering the retreating Breidamerkurjökull glacier which flows down from the Vatnajökull ice cap. As the glacier calves most of the ice it releases decays within the lake and the addition of the stored fresh water modifies the water local properties. The lake itself is connected to the North Atlantic Ocean through a narrow channel only ~80 m wide, and all tidal and residual flows in and out of the lake are through this channel. In April 2012 (early spring) we conducted four hydrographic sections from a small boat to determine the early season hydrographic structure of the lake. We conducted two hydrographic sections from the entrance of the channel to sea across the lagoon to the Breidamerkurjökull glacier, one across the centre of the lagoon, and one along, and close to the glacier face. Four months of time series hydrographic data from the channel show that the oceanic tidal pulse into the lagoon is short in duration. The water that enters the lagoon is warm and saline enough to descend rapidly to the greatest depths within the lagoon. With our CTD measurements we have mapped the properties of water across the lake. These reveal the pathway of the Atlantic derived water towards the ice face. The warmest water measured within the lagoon was just below the surface and only adjacent to the glacier face. Whilst this warm water was created from solar input, its location and concentration reveal the complex density driven circulation patterns close to the ice face. Calculated oceanic driven melt rates from the ice face show enhanced oceanographic melting in this near surface layer which contributes to the more substantial deeper melting

Escapement of a silver-phase eel population, Anguilla anguilla, determined from fishery in a Mediterranean lagoon (Or, France)

Escapement of silver eels from a Mediterranean lagoon was estimated by a capture–tagging–recapture and automated tag-reading study. The population of silver-phase eels in the lagoon was estimated to be 13.2 kg ha21, with an escapement rate from the commercial fishery of 76.8%

Sediment features and heavy metal levels in four areas of Sardinia devoted to bivalve culture = Caratteristiche dei sedimenti e livelli di metalli pesanti in quattro aree della Sardegna idonee all’allevamento dei bivalvi

Sediment characteristics and Cd, Cu, Mn, Pb and Zn concentrations were assessed in the lagoons of Marceddì, Calich and Porto Pozzo, and in the inner part of the Gulf of Olbia. Sediment of the zones examined were quite similar, except for the Calich lagoon that showed the higher content of total organic carbon. High values of Cd, Pb and Zn were detected in the sediments of the Marceddì lagoon, while remarkable levels of Cu and Mn were found in the Calich lagoon and in the Gulf of Olbia

Environmental variables, habitat discontinuity and life history shaping the genetic structure of Pomatoschistus marmoratus

Coastal lagoons are semi-isolated ecosystems exposed to wide fluctuations of environmental conditions and showing habitat fragmentation. These features may play an important role in separating species into different populations, even at small spatial scales. In this study, we evaluate the concordance between mitochondrial (previous published data) and nuclear data analyzing the genetic variability of Pomatoschistus marmoratus in five localities, inside and outside the Mar Menor coastal lagoon (SE Spain) using eight microsatellites. High genetic diversity and similar levels of allele richness were observed across all loci and localities, although significant genic and genotypic differentiation was found between populations inside and outside the lagoon. In contrast to the FST values obtained from previous mitochondrial DNA analyses (control region), the microsatellite data exhibited significant differentiation among samples inside the Mar Menor and between lagoonal and marine samples. This pattern was corroborated using Cavalli-Sforza genetic distances. The habitat fragmentation inside the coastal lagoon and among lagoon and marine localities could be acting as a barrier to gene flow and contributing to the observed genetic structure. Our results from generalized additive models point a significant link between extreme lagoonal environmental conditions (mainly maximum salinity) and P. marmoratus genetic composition. Thereby, these environmental features could be also acting on genetic structure of coastal lagoon populations of P. marmoratus favoring their genetic divergence. The mating strategy of P. marmoratus could be also influencing our results obtained from mitochondrial and nuclear DNA. Therefore, a special consideration must be done in the selection of the DNA markers depending on the reproductive strategy of the species

Simulating the hydrology of small coastal ecosystems in conditions of limited data

Hydrology / Simulation / Ecosystems / Lagoons / Estuaries / Irrigation effects / Sri Lanka / South Africa / Karagan Lagoon / Bundala Lagoon

Carmel River Lagoon Enhancement Project: Water Quality and Aquatic Wildlife Monitoring, 2005-6

In summer and fall 2004, the California Department of Parks and Recreation (DPR) initiated the Carmel River Lagoon Enhancement Project. The project involved excavation of a dry remnant Arm of the lagoon and adjacent disused farmland to form a significant new lagoon volume. The intention was to provide habitat, in particular, for two Federally threatened species: the California Red-Legged Frog, and the Steelhead Trout (South Central-Coastal California Evolutionary Significant Unit). DPR contracted with the Foundation of California State University Monterey Bay (Central Coast Watershed Studies Team, Watershed Institute) to monitor water quality and aquatic invertebrates in association with the enhancement, and to attempt to monitor steelhead using novel video techniques. The monitoring objective was to assess whether the enhancement was successful in providing habitat with good water quality, adequate invertebrate food for steelhead, and ultimately the presence of steelhead. (Document contains 102 pages

Water quality evaluation in Mediterranean Lagoons using the Multimetric Phytoplankton Index (MPI): study cases from Sardinia

1 - Water quality in four Sardinian lagoons (western Mediterranean Sea) was assessed using the Multimetric Phytoplankton Index (MPI), which is consistent with the EU Water Framework Directive. The index was developed using data on phytoplankton abundances, species structure and chlorophyll a concentrations in Venice Lagoon, Italy. 2 - The aim of this study was to test the MPI on a larger geographical scale and across a range of lagoon types. Therefore, it was applied to assess water quality in the Cabras, S’Ena Arrubia, Santa Giusta and Calich lagoons in Sardinia. These lagoons are all “choked”, but exhibit a range of sizes and morphometric features. They are directly affected by human activity within the lagoons themselves, such as fisheries, aquaculture and the construction of dams and canals, and are indirectly affected by anthropogenic activities in their catchments, including intensive agriculture, industrial activity and urban development. 3 - The data used in the present study were collected monthly over a period of 4 years (Calich, Santa Giusta and S’Ena Arrubia) to 7 years (Cabras). Samples were collected at three stations at each of the Cabras, Santa Giusta and Calich lagoons, and at two stations at the S’Ena Arrubia Lagoon, providing a total of 220 samples. 4 - The water quality in three of the four lagoons investigated (Cabras, S’Ena Arrubia and Calich) was classified as bad using the MPI. Among these three, water in Cabras Lagoon exhibited the worst condition. Water quality in Santa Giusta Lagoon was classified as poor using the MPI. 5 - Although we present preliminary results that require further verification, the index appears to be a useful tool for assessing the ecological status of typical Mediterranean lagoons