Results 101 to 110 of about 34,628,233 (409)
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
Optimized Data-Flow Integrity for Modern Compilers
IEEE AccessNon-control-data attacks are those attacks that purely target and modify the non-control data of a program, such as boolean values, user input or configuration parameters, and leave the control flow of a program untouched. These attacks were considered a
Irene Diez-Franco +2 more
doaj +1 more source
Selecting Refining and Evaluating Properties for Program Analysis
, 2003 This research proposes and evaluates techniques for selectingpredicates for conditional program propertiesÂthatis, implications such as p ) q whose consequent must betrue whenever the predicate is true.
Ernst, Michael D., Dodoo, Nii, Lin, Lee
core
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
A Survey on Verification of Security and Safety in IoT Systems
IEEE AccessInternet of Things (IoT) has been rapidly growing in the past few years in all life disciplines. IoT provides automation and smart control across various domains, including home automation, healthcare, and automotive.
Lobna Abuserrieh, Manar H. Alalfi
doaj +1 more source
Combining the logical and the probabilistic in program analysis
MAPL@PLDI, 2017 Conventional program analyses have made great strides by leveraging logical reasoning. However, they cannot handle uncertain knowledge, and they lack the ability to learn and adapt. This in turn hinders the accuracy, scalability, and usability of program
Xin Zhang, X. Si, M. Naik
semanticscholar +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
Dynamic Program Analysis and Visualized Learning System in University Programming Courses
Engineering ProceedingsTo correspond to the advancement of technology, programming has become an indispensable course in university curricula. However, students easily become confused by the rules governing program execution or by complex logical structures.
Pei-Wen Lin, Shu-Han Yu, Chien-Hung Lai
doaj +1 more source
LmPa: Improving Decompilation by Synergy of Large Language Model and Program Analysis
arXiv.org, 2023 Xiangzhe Xu +8 more
semanticscholar +1 more source
Structural insights into an engineered feruloyl esterase with improved MHET degrading properties
FEBS Letters, EarlyView.A feruloyl esterase was engineered to mimic key features of MHETase, enhancing the degradation of PET oligomers. Structural and computational analysis reveal how a point mutation stabilizes the active site and reshapes the binding cleft, expading substrate scope.
Panagiota Karampa +5 more
wiley +1 more source