Results 41 to 50 of about 21,415 (228)
Swap structures semantics for Ivlev-like modal logics [PDF]
, 2019 In 1988, J. Ivlev proposed some (non-normal) modal systems which are semantically characterized by four-valued non-deterministic matrices in the sense of A. Avron and I. Lev. Swap structures are multialgebras (a.k.a.
Coniglio, Marcelo E. +1 more
core
AIChE Journal, EarlyView.Abstract This study investigates a fault‐tolerant control (FTC) approach for continuous stirred‐tank reactors (CSTR), emphasizing the importance of timely interventions to ensure operational safety under fault conditions. A systematic methodology combining residual‐based fault estimation and Dynamic Safety Margin (DSM) monitoring is developed to guide ...
Pu Du +3 more
wiley +1 more source
Meeting Hintikka's Challenge to Paraconsistentism
Principia: An International Journal of Epistemology, 2009 Jaakko Hintikka, in a series of talks in Brazil in 2008, defended that IF (“independence- friendly”) logic and paraconsistent logic are, in a sense, very similar.
Walter Carnielli
doaj
Normality Operators and Classical Collapse [PDF]
, 2018 In this paper, we extend the expressive power of the logics K3, LP and FDE with anormality operator, which is able to express whether a for-mula is assigned a classical truth value or not.
Carrara, Massimiliano, Ciuni, Roberto
core
Adaptive logic characterizations of input/output logic [PDF]
, 2016 We translate unconstrained and constrained input/output logics as introduced by Makinson and van der Torre to modal logics, using adaptive logics for the constrained case. The resulting reformulation has some additional benefits. First, we obtain a proof-
Beirlaen, Mathieu +2 more
core +2 more sources
Artificial Intelligence for Bone: Theory, Methods, and Applications
Advanced Intelligent Discovery, EarlyView.Advances in artificial intelligence (AI) offer the potential to improve bone research. The current review explores the contributions of AI to pathological study, biomarker discovery, drug design, and clinical diagnosis and prognosis of bone diseases. We envision that AI‐driven methodologies will enable identifying novel targets for drugs discovery. The
Dongfeng Yuan +3 more
wiley +1 more source
A Paraconsistentist Approach to Chisholm's Paradox
Principia: An International Journal of Epistemology, 2009 The Logics of Deontic (In)Consistency (LDI’s) can be considered as the deontic counterpart of the paraconsistent logics known as Logics of Formal (In)Consistency.
Marcelo Esteban Coniglio +1 more
doaj
Advanced Intelligent Systems, Volume 7, Issue 3, March 2025.It is a fact that slippage causes tracking errors in both longitudinal and lateral directions which results to have less travel distance in tracking a reference trajectory. Less travel distance means having energy loss of the battery and carrying loads less than planned.
Gokhan Bayar +2 more
wiley +1 more source
Computer Science and Metaphysics: A Cross-Fertilization
, 2019 Computational philosophy is the use of mechanized computational techniques to unearth philosophical insights that are either difficult or impossible to find using traditional philosophical methods.
Benzmüller, Christoph +2 more
core +1 more source
KDLM: Lightweight Brain Tumor Segmentation via Knowledge Distillation
Advanced Intelligent Systems, EarlyView.A lightweight student network is designed, which is based on multiscale and multilevel feature fusion and combined with the residual channel attention mechanism to achieve efficient feature extraction and fusion with very few parameters. A dual‐teacher collaborative knowledge distillation framework is proposed.
Baotian Li +4 more
wiley +1 more source