Results 21 to 30 of about 298,285 (278)

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

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

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

Unsteady dean flow of dusty fluids between two oscillating cylinders

Proceedings of the Nigerian Society of Physical Sciences
This study investigates the unsteady Dean flow of dusty, viscous, incompressible fluids confined between two oscillating concentric horizontal cylinders under a semi-analytical framework based on Laplace transformation, which is preferred over fully ...
Jibrin Danjuma Yahaya, Benedict Celestine Agbata, Olayiwola Rasaq Oyeyemi, Muhammed Raji, Isaac Adaji, Danjuma Abdul Yusuf, Emmanuel Olorunfemi Senewo   +6 more
doaj   +1 more source

Conditions for confluence of innermost terminating term rewriting systems [PDF]

, 2019
This paper presents a counterexample for the open conjecture whether innermost joinability of all critical pairs ensures confluence of innermost terminating term rewriting systems.
Oyamaguchi, Michio, Sakai, Masahiko, Ishizuki, Sayaka   +2 more
core   +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

A novel malaria mathematical model: integrating vector and non-vector transmission pathways

BMC Infectious Diseases
Background Malaria remains one of the most significant global health challenges, particularly in tropical and subtropical regions. Despite ongoing control efforts, malaria transmission persists due to complex biological, environmental, and socio-economic
Emmanuel Akowe, Queeneth Ojoma Ahman, Benedict Celestine Agbata, Solomon Onuche Joseph, Emmanuel Olorunfemi Senewo, Abdul Yusuf Danjuma, Danjuma Jibrin Yahaya   +6 more
doaj   +1 more source

Comparative study of denoising techniques for 5G communication at 3.5 GHz

Proceedings of the Nigerian Society of Physical Sciences
This paper presents a comparative study of denoising techniques for improving 5G communication at 3.5GHz. A 5G system is simulated in MATLAB with thermal noise, intermodulation noise, and external interference.
Seyi Olukanni, Francis Salifu, Julius Idakwoji, Funsho Omonile   +3 more
doaj   +1 more source

Diversity and complexity in neural organoids

FEBS Letters, EarlyView.
Neural organoid research aims to expand genetic diversity on one side and increase tissue complexity on the other. Chimeroids integrate multiple donor genomes within single organoids. Self‐organising multi‐identity organoids, exogenous cell seeding, or enforced assembly of region‐specific organoids contribute to tissue complexity.
Ilaria Chiaradia, Madeline A. Lancaster
wiley   +1 more source

Confluence and the Neo-Victorian in Dickensian

Études Britanniques Contemporaines, 2017
Charles Dickens's work is a favourite for screen and TV adaptations even though the latter tend to be deemed conservative. These adaptations however focus normally on one particular novel.
Armelle Parey
doaj   +1 more source