Results 51 to 60 of about 2,040,555 (269)
From Reversible Semantics to Reversible Debugging [PDF]
, 2018 This paper presents a line of research in reversible computing for concurrent systems. This line of research started in 2004 with the definition of the first reversible extensions for concurrent process calculi such as CCS, and is currently heading to the production of practical reversible debuggers for concurrent languages such as Erlang.
openaire +3 more sources
Maneuvering Performance in the Colonial Siphonophore, Nanomia bijuga
Biomimetics, 2019 The colonial cnidarian, Nanomia bijuga, is highly proficient at moving in three-dimensional space through forward swimming, reverse swimming and turning.
Kelly R. Sutherland +3 more
doaj +1 more source
Journal of Biomechanical Science and Engineering, 2022 We investigate difference in the chemotactic behavior between peritrichous bacteria (Salmonella typhimurium SJW1103) and monotrichous bacteria (Vibrio alginolyticus YM4).
Tonau NAKAI +2 more
doaj +1 more source
FEBS Letters, EarlyView.The Ile181Asn variant of human UDP‐xylose synthase (hUXS1), associated with a short‐stature genetic syndrome, has previously been reported as inactive. Our findings demonstrate that Ile181Asn‐hUXS1 retains catalytic activity similar to the wild‐type but exhibits reduced stability, a looser oligomeric state, and an increased tendency to precipitate ...
Tuo Li +2 more
wiley +1 more source
FEBS Letters, EarlyView.We reconstituted Synechocystis glycogen synthesis in vitro from purified enzymes and showed that two GlgA isoenzymes produce glycogen with different architectures: GlgA1 yields denser, highly branched glycogen, whereas GlgA2 synthesizes longer, less‐branched chains.
Kenric Lee +3 more
wiley +1 more source
Reversible Computation vs. Reversibility in Petri Nets [PDF]
Science of Computer Programming, 2016 Abstract Petri nets are a general formal model of concurrent systems which supports both action-based and state-based modelling and reasoning. One of important behavioural properties investigated in the context of Petri nets has been reversibility, understood as the possibility of returning to the initial marking from any reachable net marking.
Kamila Barylska +3 more
openaire +2 more sources
Targeting mTOR Complex 2 in Castration-Resistant Prostate Cancer with Acquired Docetaxel Resistance
Drug Design, Development and Therapy, 2022 Yujie Huang,1 You Zhai,1 Meijia Wu,1 Chengdong Chang,2 Jindan Luo,3 Dongsheng Hong,1 Qingwei Zhao,1 Yao Dai,4 Jian Liu1 1Research Center for Clinical Pharmacy, Zhejiang Provincial Key Laboratory for Drug Evaluation and Clinical Research, The First ...
Huang Y +8 more
doaj
Experimental validation of the reverse polar decomposition of depolarizing Mueller matrices [PDF]
Journal of the European Optical Society-Rapid Publications, 2007 We experimentally assess the validity of the reverse polar decomposition (R. Ossikovski et al., Opt. Lett. 32, 689 (2007)), which describes any Mueller matrix as a product of a depolarizer, a diattenuator and a retarder with the diattenuator placed after
Anastasiadou Makrina +4 more
doaj +1 more source
FEBS Letters, EarlyView.We identified a systemic, progressive loss of protein S‐glutathionylation—detected by nonreducing western blotting—alongside dysregulation of glutathione‐cycle enzymes in both neuronal and peripheral tissues of Taiwanese SMA mice. These alterations were partially rescued by SMN antisense oligonucleotide therapy, revealing persistent redox imbalance as ...
Sofia Vrettou, Brunhilde Wirth
wiley +1 more source
FEBS Letters, EarlyView.In this study, we found that human cervical‐derived adipocytes maintain intracellular iron level by regulating the expression of iron transport‐related proteins during adrenergic stimulation. Melanotransferrin is predicted to interact with transferrin receptor 1 based on in silico analysis.
Rahaf Alrifai +9 more
wiley +1 more source