Results 171 to 180 of about 25,005,250 (309)
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
Formal analysis of imprecise system requirements with Event-B. [PDF]
Springerplus, 2016 Le HA, Nakajima S, Truong NT.
europepmc +1 more source
Verification of the Formal Concept Analysis
, 2018 This paper is concerned with a formal verification of the Formal Concept Analysis framework. We use the PVS system to represent and formally verify some algorithms of this theory. We also develop a method to transform specifications of algorithms based on finite sets into other executable ones, preserving its correctness.
Alonso Jiménez, José Antonio +4 more
openaire +3 more sources
MARK4 enhances stress granule formation under oxidative stress and increases tau accumulation
FEBS Open Bio, EarlyView.MARK4 (red dots) localizes to stress granules (orange dots) and promotes their formation under oxidative stress by modulating TIA1 (blue dots). MARK4 and TIA1 synergistically increase tau (purple) accumulation, and the reduction of the TIA1 ortholog suppresses neurodegeneration in a fly model.
Sho Nakajima +8 more
wiley +1 more source
An experiment on the impact of a neonicotinoid pesticide on honeybees: the value of a formal analysis of the data. [PDF]
Environ Sci Eur, 2017 Schick RS, Greenwood JJD, Buckland ST.
europepmc +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
International Refinement Workshop and Formal Methods Pacific ’98
, 1998 The International Refinement Workshop and Formal Methods Pacific 1998 (IRW/FMP'98), as the title suggests, is a combined event. FMP'98 itself incorporates the 7th Australasian Refinement Workshop and the 4th New Zealand Formal Program Development ...
Australasian Refinement Workshop +2 more
core
VERIFICATION OF KEY MANAGEMENT CRYPTOGRAPHIC PROTOCOLS WITH COLORED PETRI NETS
Вестник Донского государственного технического университета, 2018 The possibility of using colored Petri nets for the analysis of key distribution cryptographic protocols as an example of symmetric Needham—Schroeder protocol is reviewed and evaluated.
Nadezhda S. Mogilevskaya +1 more
doaj
Computational Modeling, Formal Analysis, and Tools for Systems Biology. [PDF]
PLoS Comput Biol, 2016 Bartocci E, Lió P.
europepmc +1 more source
Aging and Cancer, EarlyView.This prospective study demonstrates that laparoscopic sphincter‐preserving surgery is feasible for elderly patients. While overall survival reaches 70% at 5 years, advanced T‐stage and the omission of neoadjuvant therapy significantly drive recurrence, highlighting the need for personalized geriatric protocols despite logistical challenges.
Huu Duc Ho +4 more
wiley +1 more source