Results 41 to 50 of about 481 (199)

Artificial Neural Network Driven Computational Modeling of Naegleria fowleri Epidemics Using Variational Optimization

Advanced Physics Research, EarlyView.
ABSTRACT This study presents a mathematical framework to analyze the transmission dynamics of an amoeba‐induced central nervous system infection. The population is divided into compartments including susceptible, exposed, infected, quarantined, hospitalized, recovered, protected, and deceased.
Wakeel Ahmed, Areej Yaseen, Ghulamullah Saeedi, Shakeel Ahmed   +3 more
wiley   +1 more source

An Indicator‐Based Decision Framework for Circular Bioeconomy Transition in the Steel Industry: Integrating Multiphase Learning and Cooperative Game Modelling

Business Strategy and the Environment, EarlyView.
ABSTRACT Despite growing attention to the circular bioeconomy (CBE), the steel industry currently lacks a standardised, sectoral measurement framework to facilitate a low‐carbon transition. In this study, a decision‐support framework for evaluating CBE performance in the steel industry is proposed.
Ali Zamani Babgohari, Mohammadreza Sadeghi‐Moghadam, Hannan Amoozad Mahdiraji   +2 more
wiley   +1 more source

Attribute Annotations and Their Use in C Program Deductive Verification

Моделирование и анализ информационных систем, 2011
In this paper a new kind of annotations, called attribute annotations, and the methodology for their application in a deductive program verification are proposed.
M. M. Atuchin, I. S. Anureev
doaj  

Analytical Theology: Deductive Proof of the Theorem of UnDecidability (In A Logically Formalized Axiomatic Theory Sigma) Of Formula [Dx] Representing (In A Relevant Theistic Interpretation) the Statement of God Existence

Дискурс Пи, 2020
The investigation aim - precise formulating and solving the problem of provability or improvability of statement of existence of God, and also of provability or improvability of negation of this statement in a formal axiomatic system of philosophical ...
Lobovikov V.O.
doaj   +1 more source

Ontologies for Sustainability: Theoretical Challenges

Sustainable Development, EarlyView.
ABSTRACT The lack of sustainable practices in key sectors of human societies is a global concern, posing threats for the whole planet. This paper provides the first review of ontologies for sustainability efforts, outlining their roles in assessing and advancing such efforts. Section 2 outlines three major challenges associated with sustainability: (1)
Giorgio A. Ubbiali, Matthew C. Lange, Andrea Borghini   +2 more
wiley   +1 more source

Artificial Intelligence in Medical Writing: A Practical and Ethical Framework for Surgical Research and Publication

World Journal of Surgery, EarlyView.
Artificial intelligence (AI) is rapidly transforming surgical research and medical publishing by changing how clinicians discover, evaluate, synthesize, and communicate scientific evidence. Despite widespread adoption, practical guidance on the responsible integration of AI into academic writing remains limited, particularly as large language models ...
S. R. Thomson, B. A. Bassett, J. E. J. Krige   +2 more
wiley   +1 more source

Recognition Geometry

Axioms
We introduce Recognition Geometry (RG), an axiomatic framework in which geometric structure is not assumed a priori but derived. The starting point of the theory is a configuration space together with recognizers that map configurations to observable ...
Jonathan Washburn, Milan Zlatanović, Elshad Allahyarov   +2 more
doaj   +1 more source

‘Everything is a signal’: speaking circuits and noisy signs in the making of language‐oriented AI « Tout est signal » : circuits parlants et signes bruyants dans la création de l'IA orientée langage

Journal of the Royal Anthropological Institute, EarlyView.
Contemporary artificial intelligence (AI) technologies are often presumed to be capable of revealing unmediated truths about the world, including the truths language might hold, echoing the long‐standing assertion that language's primary function is to directly translate reality.
Beth M. Semel
wiley   +1 more source

L'envolée épistémique de la recherche comptable en économie financière : une étude historique sur la conception de l'utilité de la comptabilité* The Epistemic Rise of Accounting Research in Financial Economics: A Historical Study on the Conception of the Usefulness of Accounting

Contemporary Accounting Research, EarlyView.
RÉSUMÉ L'étude publiée par Ball et Brown en 1968 (ci‐après « BB68 ») est principalement reconnue pour son affirmation selon laquelle la comptabilité de l'époque était utile pour les investisseurs, s'inscrivant alors en contradiction avec la littérature comptable normative faisant office d'autorité. Or, une telle affirmation n'allait pas de soi.
Pier‐Luc Lajoie, Yves Gendron
wiley   +1 more source

Paraconsistent Labeling Semantics for Abstract Argumentation

Mathematics
Dung’s abstract argumentation framework is a popular formalism in formal argumentation. The present work develops paraconsistent labeling semantics for abstract argumentation such that the incomplete and inconsistent information can be expressed, and it ...
Yuanlei Lin
doaj   +1 more source