Results 51 to 60 of about 11,547 (304)
Alternating Quantifiers in Uniform One-Dimensional Fragments with an Excursion into Three-Variable Logic [PDF]
Logical Methods in Computer ScienceThe uniform one-dimensional fragment of first-order logic was introduced a few years ago as a generalization of the two-variable fragment to contexts involving relations of arity greater than two.
Oskar Fiuk, Emanuel Kieronski
doaj +1 more source
Physical Review Letters, 2014 11 pages, close to published ...
Baumgratz, T, Cramer, M, Plenio, MB
openaire +4 more sources
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
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
Frontiers in Psychology, 2018 We examined cross-domain semantic priming effects between arithmetic and language. We paired subtractions with their linguistic equivalent, exception phrases (EPs) with positive quantifiers (e.g., “everybody except John”) while pairing additions with ...
Golnoush Ronasi +2 more
doaj +1 more source
Protein pyrophosphorylation by inositol pyrophosphates — detection, function, and regulation
FEBS Letters, EarlyView.Protein pyrophosphorylation is an unusual signaling mechanism that was discovered two decades ago. It can be driven by inositol pyrophosphate messengers and influences various cellular processes. Herein, we summarize the research progress and challenges of this field, covering pathways found to be regulated by this posttranslational modification as ...
Sarah Lampe +3 more
wiley +1 more source
A Dichotomy Result for Ramsey Quantifiers? [PDF]
, 2015 . Ramsey quantifiers are a natural object of study not only for logic and computer science, but also for formal semantics of natu-ral language. Restricting attention to finite models leads to the natural question whether all Ramsey quantifiers are either
de Haan, R. +5 more
core +4 more sources
Calpain small subunit homodimerization is robust and calcium‐independent
FEBS Letters, EarlyView.Calpains dimerize via penta‐EF‐hand (PEF) domains. Using single‐molecule force spectroscopy, we measured the strength and kinetics of PEF–PEF homodimer binding. The interaction is robust, shows a transient conformational step before dissociation, and remains largely insensitive to Ca2+.
Nesha May O. Andoy +4 more
wiley +1 more source
, 1995 Contents Acknowledgments 1 1 Introduction 3 1.1 Generalized quantifiers : : : : : : : : : : : : : : : : : : : : : : : : : : 4 1.1.1 Generalized quantifiers and modal operators. (How modal quantifiers could have been invented) : : : : : : : : : : : : : :
Natalia Albertovna Alechina +2 more
core
Structural Statistical Quantifiers and Thermal Features of Quantum Systems
Entropy, 2020 This paper deals primarily with relatively novel thermal quantifiers called disequilibrium and statistical complexity, whose role is growing in different disciplines of physics and other sciences. These quantifiers are called L. Ruiz, Mancini, and Calvet
Flavia Pennini +3 more
doaj +1 more source