Enhancing the interoperability of glycan data flow between ChEBI, PubChem and GlyGen. [PDF]
Glycobiology, 2021 Navelkar R +12 more
europepmc +1 more source
Counterexamples to simulation in non-deterministic call-by-need lambda-calculi with letrec [PDF]
, 2009 This note shows that in non-deterministic extended lambda calculi with letrec, the tool of applicative (bi)simulation is in general not usable for contextual equivalence, by giving a counterexample adapted from data flow analysis.
Machkasova, Elena +2 more
core +1 more source
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 +3 more
wiley +1 more source
Structural insights into an engineered feruloyl esterase with improved MHET degrading properties
FEBS Letters, EarlyView.A feruloyl esterase was engineered to mimic key features of MHETase, enhancing the degradation of PET oligomers. Structural and computational analysis reveal how a point mutation stabilizes the active site and reshapes the binding cleft, expading substrate scope.
Panagiota Karampa +5 more
wiley +1 more source
General purpose simulation system of the data management system for Space Shuttle mission 18 [PDF]
A simulation program for the flow of data through the Data Management System of Spacelab and Space Shuttle was presented. The science, engineering, command and guidance, navigation and control data were included. The programming language used was General
Bengtson, N. M. +2 more
core +1 more source
FEBS Letters, EarlyView.This study reveals a unique active site enriched in methionine residues and demonstrates that these residues play a critical role by stabilizing carbocation intermediates through novel sulfur–cation interactions. Structure‐guided mutagenesis further revealed variants with significantly altered product profiles, enhancing pseudopterosin formation. These
Marion Ringel +13 more
wiley +1 more source
A Standard-Based Internet of Things Platform and Data Flow Modeling for Smart Environmental Monitoring. [PDF]
Sensors (Basel), 2021 Filho T +8 more
europepmc +1 more source
Hyperosmotic stress induces PARP1‐mediated HPF1‐dependent mono(ADP‐ribosyl)ation
FEBS Letters, EarlyView.Sorbitol‐induced hyperosmotic stress rapidly induces reversible mono(ADP‐ribosyl)ation (MARylation) on PARP1 without the signs of genotoxic signaling. We show that PARP1 autoMARylation is HPF1 dependent and forms hydroxylamine‐resistant O‐glycosidic linkages.
Anna Georgina Kopasz +11 more
wiley +1 more source
A Method of Analysis of Dependencies between Input and Output Data of Algorithms
Безопасность информационных технологий, 2013 This article is devoted to the analysis of interconnection between input and output data of algorithms with the use of modified symbolic execution method.
Ilya Viktorovich Arzamartsev +1 more
doaj
Data-flow-based adaption of the System-Theoretic Process Analysis for Security (STPA-Sec). [PDF]
PeerJ Comput Sci, 2021 Yu J, Wagner S, Luo F.
europepmc +1 more source