Results 11 to 20 of about 5,780 (194)
Program verification in SPARK and ACSL : a comparative case study [PDF]
, 2010 We present a case-study of developing a simple software module using contracts, and rigorously verifying it for safety and functional correctness using two very different programming languages, that share the fact that both are extensively used in safety ...
Brito, Eduardo, Pinto, Jorge Sousa
core +3 more sources
A promising anti-tumor targeting on ERMMDs mediated abnormal lipid metabolism in tumor cells [PDF]
Cell Death and DiseaseThe investigation of aberrations in lipid metabolism within tumor has become a burgeoning field of study that has garnered significant attention in recent years.
Mingshi Pang +5 more
doaj +2 more sources
Interferon gamma induced-ACSL5 shapes the lipidome of kidney tubular cells [PDF]
iScienceSummary: Acyl-CoA synthetase long-chain family (ACSL) enzymes are critical in the activation of long-chain fatty acid. To determine the regulatory mechanisms of ACSL5 and its biological functions within the kidney tubule, we generated transcriptomic ...
Virginie Poindessous +8 more
doaj +2 more sources
High Prevalence of the ACSL (rs6552828) AA Genotype among Elite Soccer Players
Baltic Journal of Sport and Health Sciences, 2022 Background: The ACSL A/G single nucleotide polymorphism is associated with endurance trainability. It was previously demonstrated that AA carriers had a reduced maximal oxygen consumption (VO2 max) in response to training compared to GG carriers, and ...
Yoav Meckel +4 more
doaj +1 more source
Biocontrol potential of actinobacteria against Pantoea ananatis, the causal agent of maize white spot disease [PDF]
Brazilian Journal of Biology, 2023 Pantoea ananatis is the causal agent of maize white spot, a foliar disease responsible for significant maize yield reduction worldwide, especially in Brazil.
J. C. M. Dornelas +5 more
doaj +1 more source
Systematic Analysis of Gene Expression Alterations and Clinical Outcomes for Long-Chain Acyl-Coenzyme A Synthetase Family in Cancer. [PDF]
PLoS ONE, 2016 Dysregulated lipid metabolism contributes to cancer progression. Our previous study indicates that long-chain fatty acyl-Co A synthetase (ACSL) 3 is essential for lipid upregulation induced by endoplasmic reticulum stress.
Wei-Ching Chen +5 more
doaj +1 more source
The e-ACSL perspective on runtime assertion checking [PDF]
Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, 2021 Runtime Assertion Checking (RAC) is the discipline of verifying program assertions at runtime, i.e. when executing the code. Nowadays, RAC usually relies on Behavioral Interface Specification Languages (BISL) a la Eiffel for writing powerful code specifications. Since now more than 20 years, several works have studied RAC.
openaire +2 more sources
Fishes, 2022 Hybrid tilapia were produced from hybridization of Nile tilapia (Oreochromis niloticus) and blue tilapia (O. aureus). Comparative transcriptome analysis was carried out on the liver of hybrid tilapia and their parents by RNA sequencing.
Jinglin Zhu +7 more
doaj +1 more source
Application of improved Faster R-CNN algorithm in digital printing fabric defect detection
Xi'an Gongcheng Daxue xuebao, 2022 To address the problem of unbalanced distribution of class samples in the self-built data set in digital printed fabrics defect detection, which leads to the low detection accuracy, an improved Faster R-CNN defect detection algorithm was proposed by ...
SU Zebin, WU Jingwei, LI Pengfei
doaj +1 more source
Journal of Lipid Research, 2017 Because the signaling eicosanoids, epoxyeicosatrienoic acids (EETs) and HETEs, are esterified to membrane phospholipids, we asked which long-chain acyl-CoA synthetase (ACSL) isoforms would activate these molecules and whether the apparent FA substrate ...
Eric L. Klett +4 more
doaj +1 more source