Results 41 to 50 of about 5,780 (194)
Your Proof Fails? Testing Helps to Find the Reason
, 2015 Applying deductive verification to formally prove that a program respects its formal specification is a very complex and time-consuming task due in particular to the lack of feedback in case of proof failures. Along with a non-compliance between the code
C Engel +17 more
core +3 more sources
Cancer & Metabolism, 2022 Background Clear cell renal cell carcinoma (ccRCC), the predominant subtype of kidney cancer, possesses characteristic alterations to multiple metabolic pathways, including the accumulation of cytosolic lipid droplets.
Timothy D. Klasson +6 more
doaj +1 more source
Topological liquids and valence cluster states in two-dimensional SU(N) magnets
, 2011 We study the zero temperature phase diagram of a class of two-dimensional SU(N) antiferromagnets. These models are characterized by having the same type of SU(N) spin placed at each site of the lattice, and share the property that, in general, more than ...
Gurarie, Victor, Hermele, Michael
core +1 more source
Inhibition of long chain fatty acyl-CoA synthetase (ACSL) and ischemia reperfusion injury [PDF]
, 2014 Various triacsin C analogs, containing different alkenyl chains and carboxylic acid bioisoteres including 4-aminobenzoic acid, isothiazolidine dioxide, hydroxylamine, hydroxytriazene, and oxadiazolidine dione, were synthesized and their inhibitions of ...
Blakeman, Nina +8 more
core +1 more source
Journal of Lipid Research, 2007 The fatty acid transport protein (FATP) Fat1p in the yeast Saccharomyces cerevisiae functions in concert with acyl-coenzyme A synthetase (ACSL; either Faa1p or Faa4p) in vectorial acylation, which couples the transport of exogenous fatty acids with ...
Thomas Obermeyer +3 more
doaj +1 more source
Advanced Science, EarlyView.This study reveals that chronic alcohol exposure selectively upregulates ACSL1 expression in prefrontal cortical microglia, driving lipid metabolism reprogramming and lipid droplet accumulation, which activates the NLRP3 inflammasome and sustains neuroinflammation. To reverse this process, a dual‐targeted lipid nanoparticle, siACSL1@LNP‐MR, is designed
Liang Hao +8 more
wiley +1 more source
Fatty acid transport protein 1 and long-chain acyl coenzyme A synthetase 1 interact in adipocytes
Journal of Lipid Research, 2006 The fatty acid transport proteins (FATP) and long-chain acyl coenzyme A synthetase (ACSL) proteins have been shown to play a role in facilitating long-chain fatty acid (LCFA) transport in mammalian cells under physiologic conditions.
M. Rachel Richards +3 more
doaj +1 more source
RPP: Automatic Proof of Relational Properties by Self-Composition
, 2017 Self-composition provides a powerful theoretical approach to prove relational properties, i.e. properties relating several program executions, that has been applied to compare two runs of one or similar programs (in secure dataflow properties, code ...
Blatter, Lionel +3 more
core +3 more sources
Advanced Science, EarlyView.Staphylococcus aureus (S. aureus) infection creates a high‐lactate microenvironment, promoting p300‐mediated lactylation of PGK1 at lysine 361 (K361). Lactylated PGK1 translocates to the mitochondrial outer membrane and interacts with VDAC3. This interaction triggers FtMt downregulation, iron accumulation, and excessive PINK1/Parkin‐mediated mitophagy,
Han‐jun Qin +5 more
wiley +1 more source
Redox Biology, 2023 Long-chain acyl-CoA synthetase (ACSL) 4 converts polyunsaturated fatty acids (PUFAs) into their acyl-CoAs and plays an important role in maintaining PUFA-containing membrane phospholipids.
Yuki Tomitsuka +7 more
doaj +1 more source