Results 51 to 60 of about 129,657 (289)
Quantifier elimination in C*-algebras [PDF]
, 2016 The only C*-algebras that admit elimination of quantifiers in continuous logic are $\mathbb{C}, \mathbb{C}^2$, $C($Cantor space$)$ and $M_2(\mathbb{C})$.
Eagle, Christopher J. +3 more
core
Partial Quantifier Elimination By Certificate Clauses
, 2021 We study partial quantifier elimination (PQE) for propositional CNF formulas. In contrast to full quantifier elimination, in PQE, one can limit the set of clauses taken out of the scope of quantifiers to a small subset of target clauses.
Goldberg, Eugene
core
FEBS Letters, EarlyView.Fluorescent probes allow dynamic visualization of phosphoinositides in living cells (left), whereas mass spectrometry provides high‐sensitivity, isomer‐resolved quantitation (right). Their synergistic use captures complementary aspects of lipid signaling. This review illustrates how these approaches reveal the spatiotemporal regulation and quantitative
Hiroaki Kajiho +3 more
wiley +1 more source
Bounded Quantifier Instantiation for Checking Inductive Invariants
, 2019 We consider the problem of checking whether a proposed invariant $\varphi$ expressed in first-order logic with quantifier alternation is inductive, i.e. preserved by a piece of code.
Feldman, Yotam M. Y. +4 more
core +1 more source
By dawn or dusk—how circadian timing rewrites bacterial infection outcomes
FEBS Letters, EarlyView.The circadian clock shapes immune function, yet its influence on infection outcomes is only beginning to be understood. This review highlights how circadian timing alters host responses to the bacterial pathogens Salmonella enterica, Listeria monocytogenes, and Streptococcus pneumoniae revealing that the effectiveness of immune defense depends not only
Devons Mo +2 more
wiley +1 more source
Types of Plurality and Their Representation in Kabardian-Circassian Language
Научный диалогThis study investigates the methods and means of representing the semantics of plurality in the Kabardian-Circassian language. Affixal, lexical, and phraseological resources for expressing specific, indefinite, approximate, total, collective, and ...
B. Ch. Bizhoev, M. R. Khezheva
doaj +1 more source
The descriptive complexity approach to LOGCFL
, 1998 Building upon the known generalized-quantifier-based first-order characterization of LOGCFL, we lay the groundwork for a deeper investigation. Specifically, we examine subclasses of LOGCFL arising from varying the arity and nesting of groupoidal ...
Lautemann, Clemens +3 more
core +4 more sources
Phosphatidylinositol 4‐kinase as a target of pathogens—friend or foe?
FEBS Letters, EarlyView.This graphical summary illustrates the roles of phosphatidylinositol 4‐kinases (PI4Ks). PI4Ks regulate key cellular processes and can be hijacked by pathogens, such as viruses, bacteria and parasites, to support their intracellular replication. Their dual role as essential host enzymes and pathogen cofactors makes them promising drug targets.
Ana C. Mendes +3 more
wiley +1 more source
Quantifier Phrases in Modern Persian [PDF]
مطالعات زبانها و گویشهای غرب ایران, 2016 Searching through the most important linguistic researches about Persian during recent decades, we realized that a syntactic category as quantifier phrase has been overlooked by previous scholars.
jalal rahimian, Amirsaeid Moloodi
doaj +1 more source
A simple sequent calculus for nominal logic [PDF]
, 2013 Nominal logic is a variant of first-order logic that provides support for reasoning about bound names in abstract syntax. A key feature of nominal logic is the new-quantifier, which quantifies over fresh names (names not appearing in any values ...
Cheney, James
core