Results 131 to 140 of about 1,803,900 (290)
Analysis of path planning algorithms : a formal verification-based approach
, 2013 With the emergence of multi-robot systems in the field of robotics there is a need for new approaches for modeling and investigating the behavior of robotic systems.
Nicosia, G. +7 more
core +1 more source
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
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
Formal Verification of Control Modules in Cyber-Physical Systems. [PDF]
Sensors (Basel), 2020 Grobelna I.
europepmc +1 more source
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
Hardware security and reliability verification based on fault propagation model
Xibei Gongye Daxue XuebaoLarge scale integrate circuits is facing serious threat such as design vulnerabilities, side channels, and hardware Trojans. Traditional functional verification method is difficult to ensure high test coverage, and it is also difficult to detect security
ZHANG Xige +5 more
doaj +1 more source
BCG vaccination potentiates oxidative phosphorylation in neonatal myeloid‐derived suppressor cells
FEBS Open Bio, EarlyView.BCG vaccination enhances oxidative phosphorylation in neonatal MDSCs, impairing their immunosuppressive function. It upregulates electron transport chain genes and mitochondrial activity, increasing ATP and oxygen consumption. Pharmacological OXPHOS inhibition partially restores suppressive capacity, confirming causality.
Yingying Chen, Hui Li
wiley +1 more source
Invulnerability invariants for software controlled speculation
Electronics LettersSpectre class of transient execution security attacks on modern microprocessors rely on speculative execution. Software Controlled Speculation (SCS) was proposed as a microarchitecture‐level defense in the original Spectre paper and has also been adopted
Nimish Mathure +2 more
doaj +1 more source
FEBS Open Bio, EarlyView.Functional screening identified PcSyn14890, a cyanobacteria‐specific protein that enhances growth and stress resistance in E. coli and Synechocystis PCC6803. Although we expected it to function as a molecular chaperone, it was unable to protect against thermal aggregation of GAPDH.
Akiyo Yamada +7 more
wiley +1 more source