Results 51 to 60 of about 6,635,632 (368)
Quantitative and Approximate Monitoring [PDF]
arXiv, 2021 In runtime verification, a monitor watches a trace of a system and, if possible, decides after observing each finite prefix whether or not the unknown infinite trace satisfies a given specification. We generalize the theory of runtime verification to monitors that attempt to estimate numerical values of quantitative trace properties (instead of ...
arxiv
Diphthamide synthesis is linked to the eEF2‐client chaperone machinery
FEBS Letters, EarlyView.The diphthamide modification of eukaryotic translation elongation factor 2 (eEF2) is important for accurate protein synthesis. We addressed the potential coordination of de novo eEF2 synthesis with simultaneous or subsequent diphthamide modification. Our work reveals that the co‐chaperones Hgh1 and Cpr7, which are known to support folding of nascent ...
Lars Kaduhr +4 more
wiley +1 more source
Adventures in Monitorability: From Branching to Linear Time and Back Again [PDF]
Proc. ACM Program. Lang. 3, POPL, Article 52 (January 2019), 29
pages, 2019 This paper establishes a comprehensive theory of runtime monitorability for Hennessy-Milner logic with recursion, a very expressive variant of the modal $\mu$-calculus. It investigates the monitorability of that logic with a linear-time semantics and then compares the obtained results with ones that were previously presented in the literature for a ...
arxiv +1 more source
Functional variation among LPMOs revealed by the inhibitory effects of cyanide and buffer ions
FEBS Letters, EarlyView.This study addresses the inhibition of lytic polysaccharide monooxygenases (LPMOs) by cyanide and explains how and why the magnitude of observed inhibitory effects depends on the way LPMO reactions are setup and on the type of LPMO. Enzymes known as lytic polysaccharide monooxygenases (LPMOs) are mono‐copper polysaccharide‐degrading peroxygenases that ...
Ole Golten +10 more
wiley +1 more source
Guidelines for the use and interpretation of assays for monitoring autophagy (3rd edition)
Autophagy, 2012 In 2008 we published the first set of guidelines for standardizing research in autophagy. Since then, research on this topic has continued to accelerate, and many new scientists have entered the field.
Iva Slaninová
semanticscholar +1 more source
Making tau amyloid models in vitro: a crucial and underestimated challenge
FEBS Letters, EarlyView.This review highlights the challenges of producing in vitro amyloid assemblies of the tau protein. We review how accurately the existing protocols mimic tau deposits found in the brain of patients affected with tauopathies. We discuss the important properties that should be considered when forming amyloids and the benchmarks that should be used to ...
Julien Broc, Clara Piersson, Yann Fichou
wiley +1 more source
Computational and Mathematical Methods in Medicine, 2014 International ...
Mischi, M +4 more
openaire +5 more sources
International Journal of Analytical Chemistry, 2022 A landslide monitoring technology based on BeiDouand, a wireless sensor network, is proposed in order to solve the problem that landslide has brought severe threat to people’s life and safety of property.
Yi Wang +3 more
doaj +1 more source
Unraveling Mycobacterium tuberculosis acid resistance and pH homeostasis mechanisms
FEBS Letters, EarlyView.Mycobacterium tuberculosis exhibits a remarkable resilience to acid stress. In this Review, we discuss some of the molecular mechanisms and metabolic pathways used by the tubercle bacilli to adapt and resist host‐mediated acid stress. Mycobacterium tuberculosis (Mtb) is a successful pathogen that has developed a variety of strategies to survive and ...
Janïs Laudouze +3 more
wiley +1 more source
FEBS Letters, EarlyView.α2 → 8 polysialic acid elicits poor immunogenicity. Small‐angle scattering shows a supramolecular structure with parallel‐chain binding, although in different forms at μm and mm calcium. The major histocompatibility complex requires molecular weights around 2000 Da to produce antibodies, and 2000 Da polysialic oligomers will bind in these structures ...
Kenneth A. Rubinson
wiley +1 more source