Results 41 to 50 of about 9,801,063 (300)
Research on a General State Formalization Method from the Perspective of Logic
MathematicsAs information plays an ever more central role across disciplines, the lack of a precise and reusable definition of state impedes comparison, measurement, and verification. Building on Objective Information Theory (OIT), this paper proposes a logic-based
Siyuan Qiu, Jianfeng Xu
doaj +1 more source
Molecular Oncology, EarlyView.Incomplete microwave ablation (iMWA) of liver cancer triggers a biphasic progression in residual tumors. At Day 3, the microenvironment is characterized by acute inflammatory responses and extracellular matrix (ECM) remodeling. By Day 14, a profound shift occurs toward oncogenic signal transduction and immunosuppression, marked by macrophage ...
Yu Liu +9 more
wiley +1 more source
Beyond the Black Box—A New Vector for Explainable AI Through Comparative Analysis of Logical Systems
InformationModern AI often works as a “black box”: it gives an answer, but cannot show why. In high-stakes fields like law, medicine, and government—and under emerging rules such as the EU AI Act—that is a serious problem. Today’s most popular explainability tools,
Said Gulyamov +4 more
doaj +1 more source
, 2014 Reliability is the important characteristic of systems. Most of the systems consist of more than one component. Moreover, modern systems are very complex and they include a lot of components. Therefore, effective methods have to be developed for analysis
Jozef Kostolny +2 more
core +1 more source
Ethical Foreground and Background in Adult Educator Work
New Directions for Adult and Continuing Education, EarlyView.ABSTRACT Adult educators work in a complex ethical environment. The very act of contributing to the learning of another is fraught with moral overtones. In this paper we consider the ethical dimensions of adult educator practice by distinguishing the ethical features of the context or ‘background’ of practice from the ethical capabilities and decision ...
Steven Hodge, Sonal Nakar
wiley +1 more source
Categorical Abstract Algebraic Logic: Meet-Combination of Logical Systems
Journal of Mathematics, 2013 The widespread and rapid proliferation of logical systems in several areas of computer science has led to a resurgence of interest in various methods for combining logical systems and in investigations into the properties inherited by the resulting ...
George Voutsadakis
doaj +1 more source
Stepping Theories of Active Logic with Two Kinds of Negation
Advances in Electrical and Electronic Engineering, 2017 This paper formulates a stepping theory formalism with two kinds of negation dealing with one of the areas of Active Logic, a new kind of logic aimed at performing practical tasks in real time knowledge-based AI systems.
Mikhail M. Vinkov, Igor B. Fominykh
doaj +1 more source
Logicality of conditional rewrite systems [PDF]
Theoretical Computer Science, 1997 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Toshiyuki Yamada +3 more
openaire +2 more sources
Good Systems Network Meeting [PDF]
, 2020 You're viewing a past event from the Good Systems Grand Challenge team at The University of Texas at Austin that contains two presentations from May 19, 2020.Office of the VP for ...
Good Systems
core +1 more source
Elevated Connectivity During Language Processing Is Associated With Cognitive Performance in SeLECTS
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Self‐Limited Epilepsy with Centrotemporal Spikes (SeLECTS) is associated with language impairments despite seizures originating in the motor cortex, suggesting aberrant cross‐network interactions. Here we tested whether functional connectivity in SeLECTS during language tasks predicts language performance.
Wendy Qi +8 more
wiley +1 more source