Results 51 to 60 of about 1,328,554 (243)
Equilibrium and Termination [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 We present a reduction of the termination problem for a Turing machine (in the simplified form of the Post correspondence problem) to the problem of determining whether a continuous-time Markov chain presented as a set of Kappa graph-rewriting rules has ...
Nicolas Oury, Vincent Danos
doaj +1 more source
FEBS Letters, EarlyView.This study reveals that the small GTPase Rab14 is necessary for human papillomavirus (HPV) infection and plays an essential role in the transport of virions to the trans‐Golgi network (TGN). HPV in the early endosome (EE), which harbors GTP‐bound Rab14, is transported to the TGN through the switch of Rab14 from its GTP‐bound to GDP‐bound form.
Yoshiyuki Ishii, Iwao Kukimoto
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
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 +12 more
doaj +1 more source
Degradation mechanism of the von Willebrand factor A2 domain by nattokinase
FEBS Letters, EarlyView.Nattokinase, a natto‐derived protease, exhibits potent antithrombotic effects. This study demonstrates that nattokinase directly cleaves the von Willebrand factor (vWF) A2 domain in vitro. Unlike the native regulator ADAMTS13, nattokinase degrades folded vWF independently of shear stress.
Ryuichi Hyakumoto +3 more
wiley +1 more source
Termination of Graph Transformation Systems Using Weighted Subgraph Counting [PDF]
Logical Methods in Computer ScienceWe 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
FEBS Letters, EarlyView.Proteostasis and the gut microbiota play a key role in shaping host physiology. Microbiota‐derived metabolites, vitamins, and RNA modulate host proteostasis. Findings from model systems, including C. elegans, indicate microbes can either stabilize or disrupt host proteostasis.
Abhishek Anil Dubey, Maria Ermolaeva
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 +1 more
doaj
Structural insights and therapeutic targets in Acinetobacter baumannii capsule biosynthesis
FEBS Letters, EarlyView.Hypervirulent KL49 A. baumannii's capsular polysaccharide contains the nonulosonic acid 8‐epi‐Leg5,7Ac2, synthesized by epimerization via ElaA, ElaB, and ElaC. Crystal structures of ElaA, ElaB, and ElaC reveal their role in CMP‐Leg5,7Ac2 synthesis and regioselective C8 epimerization.
Woo Cheol Lee +7 more
wiley +1 more source
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 +1 more
doaj +1 more source