Results 111 to 120 of about 339,779 (297)
Principia: An International Journal of Epistemology, 2002 In view of the present state of development of non classical logic, especially of paraconsistent logic, a new stand regarding the relations between logic and ontology is defended In a parody of a dictum of Quine, my stand May be summarized as follows. To
Newton C. A. da Costa
doaj
Model Checking Dynamic-Epistemic Spatial Logic [PDF]
, 2006 In this paper we focus on Dynamic Spatial Logic, the extension of Hennessy-Milner logic with the parallel operator. We develop a sound complete Hilbert-style axiomatic system for it comprehending the behavior of spatial operators in relation with dynamic/
Mardare, Radu, Priami, Corrado
core
The Disordered Region of ASXL1 Acts as an Auto‐Regulator Through Condensation
Advanced Science, EarlyView.ASXL1's long IDR encodes an electrostatic “basic platform + acidic brake” that autoregulates condensation. Truncation at a clinical hotspot lifts this brake, forming condensates that retarget BRD2, remodel local chromatin accessibility, and impair neutrophil maturation.
Xiao Fang, Qiwei Li, Wenqing Zhang
wiley +1 more source
Principia: An International Journal of Epistemology, 2009 Most, perhaps all, non-classical logics are a blend of classical logic with extralogical elements. Possibly this thesis has no general proof, and only a casuistic argument can be provided.
Frank Thomas Sautter
doaj
Advanced Science, EarlyView.This study presents a hybrid quantum‐classical framework for accurate prediction of protein structures on utility‐level quantum processors. We evaluate the practical application of the Variational Quantum Eigen‐solver (VQE) in protein structure prediction and demonstrate its superiority over state‐of‐the‐art deep learning methods in molecular docking ...
Yuqi Zhang +10 more
wiley +1 more source
Advanced Science, EarlyView.IGF‐1 deficiency underlies poor ovarian response (POR), as reduced levels in follicular fluid and granulosa cells impair antral follicle formation and compromise reproductive outcomes. Including IGF‐1 as a biomarker significantly enhances the accuracy of models predicting both PORrisk and pregnancy success.
Zhu Hu +9 more
wiley +1 more source
Geneza intuicjonistycznego rachunku zdań i Twierdzenie Gliwienki
Zagadnienia Filozoficzne w Nauce, 2014 Among the non-classical logics, the intuitionistic one stands out in many ways. First of all, because of its properties, it is grateful subject of formal analysis.
Piotr Urbańczyk
doaj
Extending Kolmogorov's axioms for a generalized probability theory on collections of contexts
, 2020 Kolmogorov's axioms of probability theory are extended to conditional probabilities among distinct (and sometimes intertwining) contexts. Formally, this amounts to row stochastic matrices whose entries characterize the conditional probability to find ...
Svozil, Karl
core
Targeting DNA‐LNPs to Endothelial Cells Improves Expression Magnitude, Duration, and Specificity
Advanced Science, EarlyView.Attaching antibodies against endothelial cell surface proteins redirects the delivery and expression of DNA‐lipid nanoparticles to organs of interest. Our targeted nanoparticles enable organ‐selective DNA expression in the endothelium of the lungs, brain, or spleen, providing a therapeutic platform for dozens of endothelial‐centric diseases.
Nicolas Marzolini +24 more
wiley +1 more source
On Combining Intuitionistic and S4 Modal Logic
Bulletin of the Section of LogicWe address the problem of combining intuitionistic and S4 modal logic in a non-collapsing way inspired by the recent works in combining intuitionistic and classical logic.
João Rasga, Cristina Sernadas
doaj +1 more source