Results 101 to 110 of about 164,088 (328)
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
GPCRs in CAR‐T Cell Immunotherapy: Expanding the Target Landscape and Enhancing Therapeutic Efficacy
Advanced Science, EarlyView.Chimeric antigen receptor T cell therapy faces dual challenges of target scarcity and an immunosuppressive microenvironment in solid tumors. This review highlights how G protein‐coupled receptors can serve as both novel targets to expand the therapeutic scope and functional modules to enhance CAR‐T cell efficacy.
Zhuoqun Liu +11 more
wiley +1 more source
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
On the Complexity of Temporal-Logic Path Checking
, 2014 Given a formula in a temporal logic such as LTL or MTL, a fundamental problem is the complexity of evaluating the formula on a given finite word. For LTL, the complexity of this task was recently shown to be in NC.
B. Finkbeiner +7 more
core +1 more source
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
Synergistic Mn‐MOF Activation of Pistol Ribozymes for Cancer Immunotherapy
Advanced Science, EarlyView.A Mn2+‐based metal–organic framework delivers a catalytic Pistol ribozyme for targeted PD‐L1 mRNA cleavage in tumor cells, with the released Mn2+ not only inducing immune activation in immune cells but also increasing the Pistol ribozyme catalytic activity.
Ming Zhao +10 more
wiley +1 more source
Complexity of the Two-Variable Fragment with (Binary-Coded) Counting Quantifiers
, 2004 We show that the satisfiability and finite satisfiability problems for the two-variable fragment of first-order logic with counting quantifiers are both in NEXPTIME, even when counting quantifiers are coded succinctly.Comment: 24 pages, 1 pstex_t ...
Pratt-Hartmann, Ian
core +2 more sources
MELEGROS: Monolithic Elephant‐Inspired Gripper with Optical Sensors
Advanced Science, EarlyView.MELEGROS is a monolithic, elephant‐inspired soft gripper integrating 3D‐printed optical sensors within a pneumatically actuated lattice. Simulation‐guided design decouples tactile and proprioceptive sensing. Characterized through grasping tests, MELEGROS can reach, scoop, and grasp, showcasing a paradigm where fully embedded sensing and continuous ...
Petr Trunin +4 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
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