Results 81 to 90 of about 9,895,757 (306)
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
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
A simple abstraction of arrays and maps by program translation
, 2015 We present an approach for the static analysis of programs handling arrays, with a Galois connection between the semantics of the array program and semantics of purely scalar operations.
A Cox +27 more
core +3 more sources
Fetal Brain Tumor Harboring a Unique ROCK1::BRAF Fusion
Pediatric Blood &Cancer, EarlyView.
Marllon Cindra Sant'Ana +8 more
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
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
Analysis of dynamic systems with DAP4H computer program [PDF]
, 1967 Dynamic Analysis Program, FORTRAN 4 Level H /DAP4H/, developed from 27 subprograms, features liberal use of the subroutines, subprograms, and skeletonization to minimize programming effort in formulating models of new systems and components.
Absalom, J. G.
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
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
Crowdsourcing In-Situ Data on Land Cover and Land Use Using Gamification and Mobile Technology
Remote Sensing, 2016 Citizens are increasingly becoming involved in data collection, whether for scientific purposes, to carry out micro-tasks, or as part of a gamified, competitive application.
Juan Carlos Laso Bayas +10 more
doaj +1 more source