Results 161 to 170 of about 25,005,250 (309)
FEBS Open Bio, EarlyView.Biophysical characterisation shows that NanX, a membrane transport protein from the major facilitator superfamily (MFS), forms both monomers and dimers after purification. AlphaFold modelling and substrate docking provide information on residues likely involved in substrate recognition for NanX and another MFS member, NanT.
Michael C. Newton‐Vesty +13 more
wiley +1 more source
Proceedings of Formal Methods in Computer-Aided Design, FMCAD 2019 [PDF]
, 2019 Table of Contents: Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties / by Rohit Dureja, Jason Baumgartner, Alexander Ivrii, Robert Kanzelman and Kristin Yvonne Rozier (p.
Formal Methods in Computer Aided Design
core
Protocol for quantifying miRNA trafficking across the endosomal membrane
FEBS Open Bio, EarlyView.An in vitro protocol measures miRNA uptake into endosomes isolated from mammalian cell extracts, which are free of subcellular contaminants. Performed at 37 °C in the presence of ATP, it ensures the import of single‐stranded miRNA into the endosomal lumen.
Syamantak Ghosh +2 more
wiley +1 more source
FEBS Open Bio, EarlyView.Research is strongest when conducted alongside patients, not just about them. Patient research organizations help integrate patient perspectives into research priorities, study design, and scientific meetings, leading to meaningful patient outcomes and development of relevant therapies.
Jenica H. Kakadia +9 more
wiley +1 more source
Threonine 348 regulates the subcellular localization of PTEN
FEBS Open Bio, EarlyView.Thr348 in the C2 domain is a key contributor to PTEN subcellular localization. The PTEN350 fragment and PTENA4 accumulated in the nucleus, whereas PTENK13R,A4 predominantly localized to the plasma membrane. In contrast, substitution of Thr348 with Asp (T348D) disrupted these characteristic localization patterns, resulting in predominant cytoplasmic ...
Takashi Kato, Suzu Tanaka, Miyu Ohashi
wiley +1 more source
Hierarchical multi-device authentication and key agreement protocol for industrial IoT
网络与信息安全学报A secure authentication key negotiation protocol was considered to be of vital importance for ensuring the legitimacy of device nodes and managers, as well as the confidentiality of data in the Industrial Internet of Things.
WU Yi, FENG Tao, LIU Chunyan, SU Chunhua
doaj
A minimal cellulosome‐like system in Cellulosilyticum lentocellum
FEBS Open Bio, EarlyView.Cellulose‐degrading bacteria typically use cellulosomes, large multi‐enzyme complexes on a scaffold protein. In Cellulosilyticum lentocellum, we characterise a far smaller arrangement, a single scaffold bound to one cellulase through a single cohesin‐dockerin interaction.
John Allan +2 more
wiley +1 more source
Cell surface CD11c as a neutrophil aging marker molecule
FEBS Open Bio, EarlyView.Cell surface CD11chi neutrophils were more aged and had better phagocytic function than CD11c−/lo neutrophils. Transcriptomic analysis of CD11chi neutrophils and CD11c−/lo neutrophils in pediatric population showed that the most difference was seen in infants.
Sophia Koutsogiannaki +5 more
wiley +1 more source
Research on formal security policy model specification and its formal analysis
Tongxin xuebao, 2006 Formal method is one of the kernel technologies of developing high security level computer system.But by current formal development method,assurance of security policy model correctness cannot be provided directly using machine proof which is stricter ...
LI Li-ping1 +4 more
doaj
Formal Analysis of Pilot Error with Agent Safety Logic. [PDF]
Innov Syst Softw Eng, 2018 Ahrenbach S, Goodloe A.
europepmc +1 more source