Results 91 to 100 of about 432,257 (295)
Electronic Notes in Theoretical Computer Science, 2007 AbstractWe present a method for pipeline verification using SMT solvers. It is based on a non-deterministic “mother pipeline” machine (MOP) that abstracts the instruction set architecture (ISA). The MOP vs. ISA correctness theorem splits naturally into a large number of simple subgoals.
Sava Krstic +2 more
openaire +1 more source
FEBS Open Bio, EarlyView.Chemoresistance in bladder cancer: Macrophage recruitment associated with CXCL1, CXCL5 and CXCL8 expression is characteristic of Gemcitabine/Cisplatin (Gem/Cis) Non‐Responder tumors (right side) while Responder tumors did not show substantial tumor‐stromal crosstalk (left side). All biological icons are attributed to Bioicons: carcinoma, cancerous‐cell‐
Sophie Leypold +11 more
wiley +1 more source
FEBS Open Bio, EarlyView.A tri‐culture of iPSC‐derived neurons, astrocytes, and microglia treated with ferroptosis inducers as an Induced ferroptosis model was characterized by scRNA‐seq, cell survival, and cytokine release assays. This analysis revealed diverse microglial transcriptomic changes, indicating that the system captures key aspects of the complex cellular ...
Hongmei Lisa Li +6 more
wiley +1 more source
Мodeling of electromagnetic effects of multicircuit power lines on pipelines
Вестник Северо-Кавказского федерального университетаIntroduction. An effective way to reduce land allocation for the construction of power engineering facilities is to implement multi-circuit power lines (MCPL).
A. V. Kryukov +4 more
doaj +1 more source
Evaluation of metro stray current corrosion based on finite element model
The Journal of Engineering, 2019 Leakage currents from DC traction power supply system of metro will reduce the lifetime of the buried pipeline. This study illustrates a real contribution in the analysis of dynamic stray current and the evaluation of the corrosion status of the buried ...
Cai Zhichao, Hao Cheng
doaj +1 more source
BMI‐1 modulation and trafficking during M phase in diffuse intrinsic pontine glioma
FEBS Open Bio, EarlyView.The schematic illustrates BMI‐1 phosphorylation during M phase, which triggers its translocation from the nucleus to the cytoplasm. In cycling cells, BMI‐1 functions within the PRC1 complex to mediate H2A K119 monoubiquitination. Following PTC596‐induced M phase arrest, phosphorylated BMI‐1 dissociates from PRC1 and is exported to the cytoplasm via its
Banlanjo Umaru +6 more
wiley +1 more source
Local Descriptors Optimized for Average Precision
, 2018 Extraction of local feature descriptors is a vital stage in the solution pipelines for numerous computer vision tasks. Learning-based approaches improve performance in certain tasks, but still cannot replace handcrafted features in general. In this paper,
He, Kun, Lu, Yan, Sclaroff, Stan
core +1 more source
FEBS Open Bio, EarlyView.The inhibition of mitochondrial dihydroorotate dehydrogenase (DHODH) impairs syncytialization and induces cellular senescence via mitochondrial and endoplasmic reticulum stress in human trophoblast stem cells, elevating sFlt1/PlGF levels, a hallmark of placental dysfunction in hypertensive disorders of pregnancy.
Kanoko Yoshida +6 more
wiley +1 more source
FEBS Open Bio, EarlyView.Time‐resolved X‐ray solution scattering captures how proteins change shape in real time under near‐native conditions. This article presents a practical workflow for light‐triggered TR‐XSS experiments, from data collection to structural refinement. Using a calcium‐transporting membrane protein as an example, the approach can be broadly applied to study ...
Fatemeh Sabzian‐Molaei +3 more
wiley +1 more source
Sensors, 2019 Pipelines are widely used for the transportation of hydrocarbon fluids over millions of miles all over the world. The structures of the pipelines are designed to withstand several environmental loading conditions to ensure safe and reliable distribution ...
Mutiu Adesina Adegboye +2 more
doaj +1 more source