Results 81 to 90 of about 6,124,378 (340)
Provably Correct Control-Flow Graphs from Java Programs with Exceptions [PDF]
, 2011 We present an algorithm to extract flow graphs from Java bytecode, focusing on exceptional control flows. We prove its correctness, meaning that the behaviour of the extracted control-flow graph is an over-approximation of the behaviour of the original ...
Amighi, Afshin +2 more
core +1 more source
Structural biology of ferritin nanocages
FEBS Letters, EarlyView.Ferritin is a conserved iron‐storage protein that sequesters iron as a ferric mineral core within a nanocage, protecting cells from oxidative damage and maintaining iron homeostasis. This review discusses ferritin biology, structure, and function, and highlights recent cryo‐EM studies revealing mechanisms of ferritinophagy, cellular iron uptake, and ...
Eloise Mastrangelo, Flavio Di Pisa
wiley +1 more source
Generating Predicate Callback Summaries for the Android Framework
, 2017 One of the challenges of analyzing, testing and debugging Android apps is that the potential execution orders of callbacks are missing from the apps' source code.
Le, Wei, Perez, Danilo Dominguez
core +1 more source
FEBS Letters, EarlyView.We identified a systemic, progressive loss of protein S‐glutathionylation—detected by nonreducing western blotting—alongside dysregulation of glutathione‐cycle enzymes in both neuronal and peripheral tissues of Taiwanese SMA mice. These alterations were partially rescued by SMN antisense oligonucleotide therapy, revealing persistent redox imbalance as ...
Sofia Vrettou, Brunhilde Wirth
wiley +1 more source
FEBS Letters, EarlyView.In this study, we found that human cervical‐derived adipocytes maintain intracellular iron level by regulating the expression of iron transport‐related proteins during adrenergic stimulation. Melanotransferrin is predicted to interact with transferrin receptor 1 based on in silico analysis.
Rahaf Alrifai +9 more
wiley +1 more source
Results in EngineeringAerodynamic heating and drag remain the two foremost factors to consider in the design of a re-entry vehicle. Mitigating the aero-heating effects is paramount for re-entry vehicles decelerating higher up in the atmosphere at hypersonic speeds.
Khalid A. Juhany +7 more
doaj +1 more source
Fluid flow restrictor Patent [PDF]
, 1970 Tubular flow restrictor for gas flow control in ...
Bastien, G. J.
core +1 more source
Tau acetylation at K331 has limited impact on tau pathology in vivo
FEBS Letters, EarlyView.We mapped tau post‐translational modifications in humanized MAPT knock‐in mice and in amyloid‐bearing double knock‐in mice. Acetylation within the repeat domain, particularly around K331, showed modest increases under amyloid pathology. To test functional relevance, we generated MAPTK331Q knock‐in mice.
Shoko Hashimoto +3 more
wiley +1 more source
Study of the active flow control of an airfoil [PDF]
, 2019 The student will use a CFD code for simulating the turbulent flow around an airfoil with and without active flow control. The student should have to get familiar with the code and run several cases in order to analyse the influence of different ...
Cuesta Simón, Carlos
core
On resilient control of dynamical flow networks
, 2019 Resilience has become a key aspect in the design of contemporary infrastructure networks. This comes as a result of ever-increasing loads, limited physical capacity, and fast-growing levels of interconnectedness and complexity due to the recent ...
Como, Giacomo
core +1 more source