Results 11 to 20 of about 264,759 (251)

Immediate efficacy and persistent speed of kill of a novel oral formulation of afoxolaner (NexGardTM) against induced infestations with Ixodes ricinus ticks

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, Wilfried Lebon, Karine Chalvet-Monfray, Diane Larsen, Frederic Beugnet   +4 more
doaj   +1 more source

Morphology, flow structure, and sediment transport in the Paraná and Piquiri Rivers confluence, Brazil

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 , Ericson Hideki Hayakawa, Isabel Terezinha Leli, José Cândido Stevaux   +3 more
doaj   +1 more source

Ground confluence [PDF]

, 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

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, Linqin Feng, Zhiwei Li, Zhanqi Song, Cheng Li   +4 more
doaj   +1 more source

Multisource data fusion for enhanced gold mineral prospectivity mapping in Yagba West, Kogi State: a machine learning approach

Proceedings of the Nigerian Society of Physical Sciences
Gold mineral prospectivity mapping is crucial for identifying potential gold-bearing zones and supporting exploration efforts through advanced data analytics.
Momohjimoh Abdulsalami, Joseph Omonile, Fahad Abubakar, Abdullateef Aliyu, kabire Yahaya   +4 more
doaj   +1 more source

Proving Confluence in the Confluence Framework with CONFident

Fundamenta Informaticae
This article describes the confluence framework, a novel framework for proving and disproving confluence using a divide-and-conquer modular strategy, and its implementation in CONFident. Using this approach, we are able to automatically prove and disprove confluence of Generalized Term Rewriting Systems, where (i) only selected arguments of function ...
Raúl Gutiérrez, Salvador Lucas, Miguel Vítores   +2 more
openaire   +4 more sources

Confluence for process verification [PDF]

Theoretical Computer Science, 1995
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
J.F. Groote (Jan Friso), M.P.A. Sellink
openaire   +2 more sources

Ontology of functional synergetics in virtual cognitive-semiotic design of information processes and systems

Российский технологический журнал, 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, V. A. Mordvinov, P. V. Berezkin, I. I. Sivitsky   +3 more
doaj   +1 more source

Diagram Techniques for Confluence

Information and Computation, 1998
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
M.A. Bezem, J.W. Klop (Jan Willem), V. van Oostrom (Vincent)   +2 more
openaire   +4 more sources

Aeromagnetic delineation of iron ore deposits in a complex geological terrain aided by fuzzy logic

Geosystems and Geoenvironment
The 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, Felix Bamidele Fatoye, Momohjimoh Abdulsalami, Abdullateef Aliyu   +3 more
doaj   +1 more source