Results 31 to 40 of about 584,540 (386)
THE IMPACT OF THE CONFLUENCE OF JUDICAL AND ADMINISTRATIVE EXECUTION ON THE MANAGEMENT OF THE FORECLOSURE OF A PROPERTY [PDF]
Zeszyty Naukowe Wyższej Szkoły Finansów i Prawa w Bielsku-Białej, 2017 The confluence of administrative and judicial executions creates a number of concerns arising from incompatibilities in doctrine and case law. In this paper the attention is paid to the consequences of differences in the regulations on the management of ...
Ziemowit Bielak
doaj +1 more source
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
Российский технологический журнал, 2022 Objectives. In view of the currently expanding practice of applying methods for configuring ontologies of designing information processes and systems, information technology (IT) specialists need to disclose the definition of such a new concept as ...
R. G. Bolbakov +3 more
doaj +1 more source
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
Infinitary Combinatory Reduction Systems: Confluence [PDF]
, 2009 We study confluence in the setting of higher-order infinitary rewriting, in particular for infinitary Combinatory Reduction Systems (iCRSs). We prove that fully-extended, orthogonal iCRSs are confluent modulo identification of hypercollapsing subterms ...
Henk Barendregt +2 more
core +5 more sources
Confluence for process verification [PDF]
Theoretical Computer Science, 1995 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Groote, J.F., Sellink, M.P.A.
openaire +4 more sources
Density Effects at a Concordant Bed Natural River Confluence
Water Resources Research, 2020 Confluences are locations of complex hydrodynamic conditions within river systems. The effects on hydrodynamics and mixing of temperature‐induced density differences between incoming flows are investigated at a small‐size, concordant bed confluence.
Daniel Horna-Munoz +4 more
semanticscholar +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
Confluence theory for graphs [PDF]
Algebraic & Geometric Topology, 2007 We develop a theory of confluence of graphs. We describe an algorithm for proving that a given system of reduction rules for abstract graphs and graphs in surfaces is locally confluent. We apply this algorithm to show that each simple Lie algebra of rank at most 2, gives rise to a confluent system of reduction rules of graphs (via Kuperberg's spiders ...
Sikora, Adam, Westbury, Bruce
openaire +5 more sources
Flow, Sediment, and Morpho-Dynamics of River Confluence in Tidal and Non-Tidal Environments
Journal of Marine Science and Engineering, 2020 River confluences are the key features of the drainage basins, as their hydrological, geomorphological, and ecological nature strongly influences the downstream river characteristics.
A. Bilal, Qiancheng Xie, Yanyan Zhai
semanticscholar +1 more source