Results 81 to 90 of about 321,441 (313)
A monadic logic of ordered abelian groups
, 2020 A many-valued modal logic with connectives interpreted in the ordered additive group of real numbers is introduced as a modal counterpart of the one-variable fragment of a (monadic) first-order real-valued logic.
Metcalfe, George, Tuyt, Olim
core
FEBS Letters, EarlyView.The physical dimensions and shape of bacterial cells define the surface area available to acquire nutrients and the volume available for synthesizing proteins and DNA. Here, we use computational systems biology to decode the importance of cell geometry as a major determinant of prokaryotic phenotype, including growth rate and metabolic efficiency. This
Ross P. Carlson +6 more
wiley +1 more source
COMPUTABILITY, ORDERS, AND SOLVABLE GROUPS [PDF]
The Journal of Symbolic Logic, 2020 AbstractThe main objective of this paper is the following two results. (1) There exists a computable bi-orderable group that does not have a computable bi-ordering; (2) there exists a bi-orderable, two-generated computably presented solvable group with undecidable word problem.
openaire +3 more sources
FEBS Letters, EarlyView.We present robust protocols for the preparation of supported lipid bilayers (SLBs) incorporating either Salmonella smooth LPS or outer membrane vesicles (OMVs). We use a combination of quartz crystal microbalance with dissipation (QCM‐D) and fluorescence microscopy to both characterize the SLBs of various compositions and to probe their interactions ...
Hudson P. Pace +6 more
wiley +1 more source
Torsion radicals of lattice ordered groups [PDF]
, 1982 summary:We denote by $K$ the class of all cardinals; put $K^{\prime }= K \cup \lbrace \infty \rbrace $. Let $\mathcal C$ be a class of algebraic systems.
Jakubík, Ján
core +1 more source
Hippocampal neurons wait their turn
eLife, 2014 Imaging large groups of neurons as mice learn to respond to an event after a time delay shows that the brain encodes the passage of time using ordered sequences of neural activity.
Yuan Gao, Ian Davison
doaj +1 more source
2025 IEEE 66th Annual Symposium on Foundations of Computer Science (FOCS)In this work, we show that verifying the order of a finite group given as a black-box is in the complexity class QCMA. This solves an open problem asked by Watrous in 2000 in his seminal paper on quantum proofs and directly implies that the Group Non-Membership problem is also in the class QCMA, which further proves a conjecture proposed by Aaronson ...
François Le Gall +2 more
openaire +2 more sources
On the order of primitive groups. IV [PDF]
Transactions of the American Mathematical Society, 1915 1. The last result under the above title was to the effect that a primitive group G of class greater than 3 which contains a substitution of prime order p and of degree qp, p > 2q 2, and q > 1, is of degree less than or equal to qp + 4q 4, and that p2 does not divide its order. t Of course it is probable that this limit is higher than need be.
openaire +2 more sources
Phosphoinositides and inositol phosphates as molecular glues
FEBS Letters, EarlyView.Inositol phosphates (IPs) and phosphoinositides (PIPs) regulate diverse eukaryotic processes. Beyond recruiting signaling proteins or acting as structural cofactors, recent studies suggest they mediate protein–protein interactions as natural molecular glues.
Aleshia Seaton‐Terry +9 more
wiley +1 more source
The effect of watchful waiting compared to immediate test ordering instructions on general practitioners' blood test ordering behaviour for patients with unexplained complaints; a randomized clinical trial (ISRCTN55755886)
Implementation Science, 2012 Background Immediate blood testing for patients presenting with unexplained complaints in family practice is superfluous from a diagnostic point of view. However, many general pracitioners (GPs) order tests immediately.
van Bokhoven Marloes A +6 more
doaj +1 more source