Results 101 to 110 of about 165,831 (331)
Advanced Science, EarlyView.Single‐cell sequencing reveals stress‐programmed immune states driving TNFα–TNFR2–mediated Treg activation and therapy resistance in breast cancer, while targeting this axis restores antitumor immunity. ABSTRACT The tumor microenvironment (TME) harbors diverse immune cell states that shape therapeutic outcomes in breast cancer.
Zhibo Shao +18 more
wiley +1 more source
A Translation of Weighted LTL Formulas to Weighted Buchi Automata over omega-valuation Monoids
Scientific Annals of Computer Science, 2021 In this paper we introduce a weighted LTL over product omega-valuation monoids that satisfy specific properties. We also introduce weighted generalized Buchi automata with epsilon-transitions, as well as weighted Buchi automata with epsilon-transitions ...
Eleni Mandrali
doaj +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
Multimaterial 3D Printing of Soft and Stretchable Electronics
Advanced Science, EarlyView.A multimaterial resin for two‐photon polymerization integrates PEDOT:PSS and carbon nanotubes to enable direct 3D printing of conductive, insulating, and electroactive microstructures. The hybrid exhibits high conductivity, optical transparency, and stability under strain and pH variation, advancing scalable fabrication of flexible soft electronics and
Omid Dadras‐Toussi +2 more
wiley +1 more source
The classification of fallacious reasons in “nyāyapraveśaka-śāstra”
RUDN Journal of Philosophy, 2016 The article contains the translation from Sanskrit to Russian of the fragment (sutras 1, 2, 4, 9-13) of the short logic work “Nyāyapraveśaka-śāstram” (“Treatise bringing in the rules [of reasoning]”) and some comments.
N A Kanaeva
doaj
On Generalized Records and Spatial Conjunction in Role Logic
, 2004 We have previously introduced role logic as a notation for describing properties of relational structures in shape analysis, databases and knowledge bases.
Kuncak, Viktor, Rinard, Martin
core +4 more sources
Tractable Reasoning in a Fragment of Separation Logic [PDF]
, 2011 In 2004, Berdine, Calcagno and O'Hearn introduced a fragment of separation logic that allows for reasoning about programs with pointers and linked lists. They showed that entailment in this fragment is in coNP, but the precise complexity of this problem has been open since.
Cook, B +4 more
openaire +2 more sources
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
One-dimensional fragment of first-order logic [PDF]
, 2014 We introduce a novel decidable fragment of first-order logic. The fragment is one-dimensional in the sense that quantification is limited to applications of blocks of existential (universal) quantifiers such that at most one variable remains free in the ...
Hella, Lauri, Kuusisto, Antti
core
Sequent Calculus in the Topos of Trees
, 2015 Nakano's "later" modality, inspired by G\"{o}del-L\"{o}b provability logic, has been applied in type systems and program logics to capture guarded recursion. Birkedal et al modelled this modality via the internal logic of the topos of trees. We show that
A. Bizjak +13 more
core +1 more source