Results 71 to 80 of about 155,122 (304)
Advanced Materials, EarlyView.The artesunate nanoplatform selectively targets ECM CAF, functioning as a GTPase inhibitor through disruption of intracellular serine homeostasis. This metabolic intervention effectively suppresses MAPK cascade activity, which consequently inhibits PTT‐induced CAF to ECM CAF differentiation.
Dongdong Zheng +19 more
wiley +1 more source
Moving up and down in the generic multiverse
, 2012 We give a brief account of the modal logic of the generic multiverse, which is a bimodal logic with operators corresponding to the relations "is a forcing extension of" and "is a ground model of".
G. Fuchs +13 more
core +3 more sources
Relating Reasoning Methodologies in Linear Logic and Process Algebra [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 We show that the proof-theoretic notion of logical preorder coincides with the process-theoretic notion of contextual preorder for a CCS-like calculus obtained from the formula-as-process interpretation of a fragment of linear logic.
Yuxin Deng +2 more
doaj +1 more source
The Rise of Refractory Transition‐Metal Nitride Films for Advanced Electronics and Plasmonics
Advanced Materials Interfaces, EarlyView.Transition‐metal nitrides (TMNs) are exceptional materials with high stability, biocompatibility, and semiconductor integration, which have been extensively employed in various fields. However, the epitaxial growth of TMN films remains a challenge. The absence of high‐quality TMNs limits the understanding of their condensed matter physics and hinders ...
Jiachang Bi +3 more
wiley +1 more source
Deciding regular grammar logics with converse through first-order logic
, 2003 We provide a simple translation of the satisfiability problem for regular grammar logics with converse into GF2, which is the intersection of the guarded fragment and the 2-variable fragment of first-order logic.
de Nivelle, Hans, Demri, Stephane
core +4 more sources
Lietuvos Matematikos Rinkinys, 2009 The paper deals with specialization of the antecedent negation loop-rule for the negative implication free fragment of the propositional intuitionistic logic.
Romas Alonderis
doaj +1 more source
Advanced Materials Interfaces, EarlyView.This review presents a comprehensive overview of recent advancements in perovskite, organic, and tandem solar cells, highlighting key developments in photo absorber engineering, interfacial optimization, and device architecture. Special focus is given to stability‐promoting strategies across different material systems and interfaces, offering insight ...
Hongrui Zhang +8 more
wiley +1 more source
Ordered fragments of first-order logic
, 2021 Using a recently introduced algebraic framework for the classification of fragments of first-order logic, we study the complexity of the satisfiability problem for several ordered fragments of first-order logic, which are obtained from the ordered logic and the fluted logic by modifying some of their syntactical restrictions.
openaire +6 more sources
Advanced Synthesis &Catalysis, EarlyView.Carbodiimides act as competent electrophilic synthons for the chemoselective addition of lithium mono‐ and di‐halocarbenoids. The transformation is provided through a single synthetic operation—hitherto elusive—halogenated acetamidines. Interestingly, the constitutively tamed electrophilicity of the starting materials is effectively counterbalanced by ...
Davide Castiglione +4 more
wiley +1 more source
The Systems of Relevance Logic [PDF]
Argument, 2011 The system R, or more precisely the pure implicational fragment R→, is considered by the relevance logicians as the most important. The another central system of relevance logic has been the logic E of entailment that was supposed to capture strict ...
Ryszard MIREK
doaj