Results 31 to 40 of about 604,405 (322)
Clausal Resolution for Modal Logics of Confluence [PDF]
, 2014 We present a clausal resolution-based method for normal multimodal logics of confluence, whose Kripke semantics are based on frames characterised by appropriate instances of the Church-Rosser property. Here we restrict attention to eight families of such
Dixon, Clare +2 more
core +2 more sources
Российский технологический журнал, 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
, 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
Proceedings of the 48th International Symposium on Microarchitecture, 2015 Multi-megabyte instruction working sets of server workloads defy the capacities of latency-critical instruction-supply components of a core; the instruction cache (L1-I) and the branch target buffer (BTB). Recent work has proposed dedicated prefetching techniques aimed separately at L1-I and BTB, resulting in high metadata costs and/or only modest ...
Cansu Kaynak, Boris Grot, Babak Falsafi
openaire +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
Labelings for Decreasing Diagrams [PDF]
, 2014 This article is concerned with automating the decreasing diagrams technique of van Oostrom for establishing confluence of term rewrite systems. We study abstract criteria that allow to lexicographically combine labelings to show local diagrams decreasing.
Felgenhauer, Bertram +2 more
core +2 more sources
Proceedings of the Nigerian Society of Physical SciencesGold mineral prospectivity mapping is crucial for identifying potential gold-bearing zones and supporting exploration efforts through advanced data analytics.
Momohjimoh Abdulsalami +4 more
doaj +1 more source
Scientific ReportsRivers are the natural drainage system, transporting anthropogenic wastes and pollution, including microplastics (plastic 1; PLIzone = 1.87 and 1.68 for water and sediment samples respectively), with risk categories between Levels I and IV (“minor” to ...
Addrita Haque +2 more
semanticscholar +1 more source
Aeromagnetic delineation of iron ore deposits in a complex geological terrain aided by fuzzy logic
Geosystems and GeoenvironmentThe discovery of iron ore deposits is crucial for Nigeria’s economic diversification. However, the Nigerian Bida Basin’s complex geology, extensive overburden, disputed stratigraphic boundaries and limited surface exposure hinder traditional geological ...
Fahad Abubakar +3 more
doaj +1 more source
Predicting Transverse Mixing Efficiency Downstream of a River Confluence
Water Resources Research, 2020 Predicting mixing processes, especially transverse mixing, downstream of river confluences, is necessary for assessing and modeling the fate of pollutants transported in river networks, but it is still challenging.
S. Pouchoulin +4 more
semanticscholar +1 more source