Results 61 to 70 of about 65,597 (292)

Localizing Multiple Faults in Simulink Models [PDF]

2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER), 2016
As Simulink is a widely used language in the embedded industry, there is a growing need to support debugging activities for Simulink models. In this work, we propose an approach to localize multiple faults in Simulink models. Our approach builds on statistical debugging and is iterative.
Liu, Bing, Lucia, Lucia, Nejati, Shiva, Briand, Lionel, Bruckmann, Thomas   +4 more
openaire   +2 more sources

Organ‐specific redox imbalances in spinal muscular atrophy mice are partially rescued by SMN antisense oligonucleotides

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

Transferrin receptor 1‐mediated iron uptake supports thermogenic activation in human cervical‐derived adipocytes

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, Mizuki Seo, Gyath Karadsheh, Fachrur Rizal Mahendra, Máté Á Demény, Ferenc Győry, János András Mótyán, László Fésüs, Endre Kristóf, Rini Arianti   +9 more
wiley   +1 more source

Experimental Test bed to De-Risk the Navy Advanced Development Model [PDF]

, 2017
This paper presents a reduced scale demonstration test-bed at the University of Texas’ Center for Electromechanics (UT-CEM) which is well equipped to support the development and assessment of the anticipated Navy Advanced Development Model (ADM).
Feng, X, Gattozzi, A, Hebner, R., Herbst, J, Pish, S, Strank, S, Wardell, D   +6 more
core   +1 more source

Flow-Sensitive Fault Localization [PDF]

, 2013
Identifying the cause of an error is often the most time-consuming part in program debugging. Fault localization techniques can help to automate this task. Particularly promising are static proof-based techniques that rely on an encoding of error traces into trace formulas. By identifying irrelevant portions of the trace formula, the possible causes of
Jürgen Christ, Evren Ermis, Martin Schäf, Thomas Wies   +3 more
openaire   +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, Yukio Matsuba, Mika Takahashi, Takaomi C. Saido   +3 more
wiley   +1 more source

Photovoltaic Array Fault Diagnosis and Localization Method Based on Modulated Photocurrent and Machine Learning

Sensors
Photovoltaic arrays are exposed to outdoor conditions year-round, leading to degradation, cracks, open circuits, and other faults. Hence, the establishment of an effective fault diagnosis system for photovoltaic arrays is of paramount importance. However,
Yebo Tao, Tingting Yu, Jiayi Yang
doaj   +1 more source

Concurrent fault diagnosis of modular multilevel converter with Kalman filter and optimized support vector machine

Systems Science & Control Engineering, 2019
In this paper, concurrent fault diagnosis problem of modular multilevel converter (MMC) with Kalman filter and optimized support vector machine (SVM) is investigated. The state space model by synthesizing the circulating current and the output current is
Yong Zhang, Huanzhen Hu, Zhenxing Liu, Min Zhao, Lei Cheng   +4 more
doaj   +1 more source

Explaining Image Classifiers Using Statistical Fault Localization [PDF]

, 2020
The black-box nature of deep neural networks (DNNs) makes it impossible to understand why a particular output is produced, creating demand for "Explainable AI". In this paper, we show that statistical fault localization (SFL) techniques from software engineering deliver high quality explanations of the outputs of DNNs, where we define an explanation as
Youcheng Sun, Hana Chockler, Xiaowei Huang, Daniel Kroening   +3 more
openaire   +4 more sources

A methionine‐lined active site governs carbocation stabilization and product specificity in a bacterial terpene synthase

FEBS Letters, EarlyView.
This study reveals a unique active site enriched in methionine residues and demonstrates that these residues play a critical role by stabilizing carbocation intermediates through novel sulfur–cation interactions. Structure‐guided mutagenesis further revealed variants with significantly altered product profiles, enhancing pseudopterosin formation. These
Marion Ringel, Carl P. O. Helmer, Shani Zev, Ronja Driller, Emily Buhr, Markus Reinbold, Renana Schwartz, Gabriel Foley, Mikael Boden, Daniel Garbe, Gerhard Schenk, Dan Thomas Major, Bernhard Loll, Thomas Brück   +13 more
wiley   +1 more source