Results 11 to 20 of about 552,801 (329)
Formalising Confluence in PVS [PDF]
, 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 +2 more sources
A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems [PDF]
, 2011 We give a method to prove confluence of term rewriting systems that contain non-terminating rewrite rules such as commutativity and associativity.
Aart Middeldorp +10 more
core +4 more sources
, 2020 In this book, Canadian scholar David Geoffrey Smith reflects on over thirty years of research and teaching in the human sciences, including education. Written between 1986 and 2018, the essays are organized around four themes: Hermeneutics and the Human Sciences; The Poststructuralist Turn; Globalization and Its Discontents; East/West Encounters and ...
Estelle Ferrarese, Steven Corcoran
+5 more sources
Revista Brasileira de Geomorfologia, 2023 Confluences are places of complex interaction of flow and sediments coming from different channels. Studies at large confluences have advanced the understanding of these environments on a larger scale.
Altair Bennert +3 more
doaj +1 more source
Influence of bed elevation discordance on flow patterns and head losses in an open-channel confluence [PDF]
, 2019 Confluences play a major role in the dynamics of networks of natural and man-made open channels, and field measurements on river confluences reveal that discordance in bed elevation is common.
Cunha Ramos, Pedro +3 more
core +1 more source
Parasites & Vectors, 2014 Background Ticks are hematophageous arthropods that transmit a wide spectrum of pathogens to human and animals. The ability of an acaricidal product to kill ticks quickly provides an important added benefit, especially as protecting dogs from tick bites ...
Lénaïg Halos +4 more
doaj +1 more source
3D numerical simulation of the separation zone at the channel–pipe junction
Water Science and Technology, 2023 At the confluence zone, the separation zone affects the flow, pollutant transport, and damages the bed and sidewalls of the channel. In this research, the geometric characteristics of the separation zone and the tailwater effect at the 90° channel–pipe ...
Bin Sun +4 more
doaj +1 more source
Confluence Reduction for Probabilistic Systems (extended version) [PDF]
, 2010 This paper presents a novel technique for state space reduction of probabilistic specifications, based on a newly developed notion of confluence for probabilistic automata.
Pol, Jaco van de +2 more
core +6 more sources
Core point pixel-level localization by fingerprint features in spatial domain
Mathematical Biosciences and Engineering, 2022 Singular point detection is a primary step in fingerprint recognition, especially for fingerprint alignment and classification. But in present there are still some problems and challenges such as more false-positive singular points or inaccurate ...
Xueyi Ye +5 more
doaj +1 more source
, 1987 In this paper we introduce a test for confluence on ground terms. This test allows us to prove the ground confluence of term rewriting systems where the Knuth-Bendix Algorithm does not terminate. Ground Confluence of term rewriting systems is sufficient, if one is interested in congruences on ground terms.
openaire +1 more source