Confluence is an important property for any kind of rewrite system including CHR, which is a general-purpose declarative committedchoice language consisting of multi-headed guarded rules. CHR can yield a confluence problem, because of non-determinism in the choice of rules using the abstract semantics. Confluence in CHR is an ongoing research topic, because it provides numerous benefits for imp...

Previous results on confluence for Constraint Handling Rules, CHR, are generalized to take into account user-defined state equivalence relations. This allows a much larger class of programs to enjoy the advantages of confluence, which include various optimization techniques and simplified correctness proofs. A new operational semantics for CHR is introduced that reduces notational overhead sign...

For a better understanding of the previously observed increased natural radioactivity at confluence Varzob and Sioma rivers, Central Tajikistan, activity concentration radioactive 40K, Th U daughters as well anthropogenic 137Cs were determined in nine locations covering entire River. The radiometric determinations evidenced, addition to concentrations daughter radionuclides, an anomalous accumu...

Understanding variations in contaminant concentrations and exploring their driving factors are essential for pollution control water environment improvement. The Huaihe River Basin, as an important region the eastern of China, has attracted much attention to its issues recent years. Therefore, in-depth analysis spatiotemporal patterns quality parameters was carried out on River–Hongze Lake syst...

Abstract Bangladesh is highly vulnerable to flood hazards, and its risk projected increase with global warming. In addition climate change, internal variation, such as the El Niño–Southern Oscillation (ENSO), influences flooding in many rivers worldwide. However, impact of variability on remains unclear due limited observations. Here, we assess impacts ENSO change occurrence using a large-ensem...