Results 11 to 20 of about 584,540 (386)
Formalising Confluence in PVS [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Confluence is a critical property of computational systems which is related with determinism and non ambiguity and thus with other relevant computational attributes of functional specifications and rewriting system as termination and completion.
Ayala-Rincón, Mauricio
core +7 more sources
Interactions between groundwater and surface water at river banks and the confluence of rivers [PDF]
, 2004 Riparian vegetation depends on hydrological resources and has to adapt to changes in water levels and soil moisture conditions. The origin and mixing of water in the streamside corridor were studied in detail.
Fraser +25 more
core +3 more sources
String diagram rewrite theory III: Confluence with and without Frobenius [PDF]
Mathematical Structures in Computer Science, 2021 In this paper, we address the problem of proving confluence for string diagram rewriting, which was previously shown to be characterised combinatorially as double-pushout rewriting with interfaces (DPOI) on (labelled) hypergraphs.
F. Bonchi +4 more
semanticscholar +1 more source
Italian National Conference on Sensors, 2023 Given its advantages in low latency, fast response, context-aware services, mobility, and privacy preservation, edge computing has emerged as the key support for intelligent applications and 5G/6G Internet of things (IoT) networks.
Amira Bourechak +5 more
semanticscholar +1 more source
Effects of tributary floodplain on confluence hydrodynamics
Journal of Hydraulic Research, 2023 Confluences are common components of river networks and are characterized by a highly complex flow structure. Two confluence geometries, without and with the floodplain in the tributary, were comparatively investigated to highlight the effects of ...
Saiyu Yuan +6 more
semanticscholar +1 more source
Logical Methods in Computer Science, 2013 We consider cut-elimination in the sequent calculus for classical first-order logic. It is well known that this system, in its most general form, is neither confluent nor strongly normalizing. In this work we take a coarser (and mathematically more realistic) look at cut-free proofs.
Hetzl, Stefan, Strassburger, Lutz
openaire +5 more sources
Edge Intelligence: The Confluence of Edge Computing and Artificial Intelligence [PDF]
IEEE Internet of Things Journal, 2019 Along with the rapid developments in communication technologies and the surge in the use of mobile devices, a brand-new computation paradigm, edge computing, is surging in popularity.
Shuiguang Deng +4 more
semanticscholar +1 more source
Mixing Dynamics at the Large Confluence Between the Yangtze River and Poyang Lake
Water Resources Research, 2022 Mixing processes downstream of river confluences impacts the ecology and the related environmental management of river networks. A clear understanding of such processes is challenging, especially for confluences having width‐to‐depth ratios larger than ...
Lei Xu +6 more
semanticscholar +1 more source
Microplastic in Water and Sediments at the Confluence of the Elbe and Mulde Rivers in Germany
Frontiers in Environmental Science, 2021 Accumulation of microplastics in aquatic environments is an issue of emerging concern. Initially, research focused on marine systems. However, recent studies also investigate the abundance of microplastics in freshwater environments.
Hannes Laermanns +8 more
semanticscholar +1 more source
Confluence: A Robust Non-IoU Alternative to Non-Maxima Suppression in Object Detection [PDF]
IEEE Transactions on Pattern Analysis and Machine Intelligence, 2020 Confluence is a novel non-Intersection over Union (IoU) alternative to Non-Maxima Suppression (NMS) in bounding box post-processing in object detection. It overcomes the inherent limitations of IoU-based NMS variants to provide a more stable, consistent ...
A. Shepley +3 more
semanticscholar +1 more source