Results 61 to 70 of about 33,744 (283)

Tau acetylation at K331 has limited impact on tau pathology in vivo

FEBS Letters, EarlyView.
We mapped tau post‐translational modifications in humanized MAPT knock‐in mice and in amyloid‐bearing double knock‐in mice. Acetylation within the repeat domain, particularly around K331, showed modest increases under amyloid pathology. To test functional relevance, we generated MAPTK331Q knock‐in mice.
Shoko Hashimoto, Yukio Matsuba, Mika Takahashi, Takaomi C. Saido   +3 more
wiley   +1 more source

External validation of multimodal termination of resuscitation rules for out-of-hospital cardiac arrest patients in the COVID-19 era

Scandinavian Journal of Trauma, Resuscitation and Emergency Medicine, 2021
Background Futile resuscitation for out-of-hospital cardiac arrest (OHCA) patients in the coronavirus disease (COVID)-19 era can lead to risk of disease transmission and unnecessary transport.
Haewon Jung, Mi Jin Lee, Jae Wan Cho, Sang Hun Lee, Suk Hee Lee, You Ho Mun, Han-sol Chung, Yang Hun Kim, Gyun Moo Kim, Sin-youl Park, Jae Cheon Jeon, Changho Kim, on behalf of the WinCOVID-19 consortium   +12 more
doaj   +1 more source

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, Trina Dykstra‐MacPherson, Mathias A. Bell, Peter L. Davies, Ruby May A. Sullan   +4 more
wiley   +1 more source

Employment Termination from the Point of View of Good Morals [PDF]

Societas et Iurisprudentia, 2015
The present paper deals with the issue of invalidity of employment termination, where the employment is terminated on the basis of a legal act, and where the non-compliance with good morals applies.
Andrea Olšovská, Miriam Laclavíková
doaj  

Symbolic Termination and Confluence Checking for ECA Rules [PDF]

, 2014
Event-condition-action (ECA) rules can specify decision processes and are widely used in reactive systems and active database systems. Applying formal verification techniques to guarantee properties of the designed ECA rules is essential to help the error-prone procedure of collecting and translating expert knowledge.
Xiaoqing Jin, Yousra Lembachar, Gianfranco Ciardo   +2 more
openaire   +1 more source

An isoform of 14‐3‐3 protein regulates transbilayer lipid movement at the plasma membrane

FEBS Letters, EarlyView.
Loss of 14‐3‐3ζ in CHO cells confers resistance to exogenous phosphatidylserine (PS) and impairs endocytosis‐independent inward flip‐flop of fluorescent PS at the plasma membrane. RNAi‐mediated knockdown reproduces this defect, while no additive effect is seen in ATP11C‐deficient cells.
Akiko Yamaji‐Hasegawa, Akira Hattori, Masafumi Tsujimoto, Toshihide Kobayashi   +3 more
wiley   +1 more source

Termination of Graph Transformation Systems Using Weighted Subgraph Counting [PDF]

Logical Methods in Computer Science
We introduce a termination method for the algebraic graph transformation framework PBPO+, in which we weigh objects by summing a class of weighted morphisms targeting them. The method is well-defined in rm-adhesive quasitoposes (which include toposes and
Roy Overbeek, Jörg Endrullis
doaj   +1 more source

Organizing the interface—Plasma membrane architecture and receptor dynamics in virus‐cell interactions

FEBS Letters, EarlyView.
Plasma membranes contain dynamic nanoscale domains that organize lipids and receptors. Because viruses operate at similar scales, this architecture shapes early infection steps, including attachment, receptor engagement, and entry. Using influenza A virus and HIV‐1 as examples, we highlight how receptor nanoclusters, multivalent glycan interactions ...
Jan Schlegel, Christian Sieben
wiley   +1 more source

A Jurisprudential and Legal Study of the Effect of Termination Compared to Previous Contracts [PDF]

آموزه‌‌های فقه مدني, 2020
Traditionally, one of the distinguishing features of termination and annulment of a contract is considered to be that annulment makes the contract ineffective from the beginning, and termination has no effect on the past and makes the contract ...
Mahdi Chegeni, Saeed Siah Bidi Kermanshahi   +1 more
doaj  

Consistency and Completeness of Rewriting in the Calculus of Constructions [PDF]

Logical Methods in Computer Science, 2008
Adding rewriting to a proof assistant based on the Curry-Howard isomorphism, such as Coq, may greatly improve usability of the tool. Unfortunately adding an arbitrary set of rewrite rules may render the underlying formal system undecidable and ...
Daria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz   +1 more
doaj   +1 more source