Results 121 to 130 of about 2,058,291 (283)

Synthesizing Short-Circuiting Validation of Data Structure Invariants

, 2015
This paper presents incremental verification-validation, a novel approach for checking rich data structure invariants expressed as separation logic assertions. Incremental verification-validation combines static verification of separation properties with
Chang, Bor-Yuh Evan, Coughlin, Devin, Rival, Xavier, Tsai, Yi-Fan   +3 more
core   +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

The planar cell polarity protein Vangl2 interacts with the PDZ‐domains of Scribble but not with a unique PDZ‐like domain in Inturned

FEBS Letters, EarlyView.
Structural and biochemical characterisations show that the planar cell polarity (PCP) protein Inturned harbours a unique PDZ‐like domain that does not bind canonical PDZ‐binding motifs (PBMs) like that of another PCP protein Vangl2. In contrast, the apical‐basal polarity protein Scribble contains four PDZ domains that bind Vangl2, but one PDZ domain ...
Stephan Wilmes, Jan Brysch, Carmen Gelze, Lilli Meier, Daniel Kümmel   +4 more
wiley   +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

A prognostic model for uveal melanoma in Asian populations: a comparative analysis of clinical features and gene expression patterns using the TRACE and TCGA data

BMC Ophthalmology
Background Uveal melanoma (UM), the most common primary intraocular malignancy in adults, shows racial disparities in incidence, genetic drivers, and clinical outcomes.
Jingting Luo, Yuning Chen, Zhaoxun Feng, Haowen Li, Jingying Xiu, Yangxu Tao, Qiong Yang, Yueming Liu, Yang Li, Wenbin Wei   +9 more
doaj   +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, Konstantinos Makryniotis, Theofani‐Iosifina Sousani, Evangelos Topakas, Vangelis Daskalakis, Maria Dimarogona   +5 more
wiley   +1 more source

Gut microbiome and aging—A dynamic interplay of microbes, metabolites, and the immune system

FEBS Letters, EarlyView.
Age‐dependent shifts in microbial communities engender shifts in microbial metabolite profiles. These in turn drive shifts in barrier surface permeability of the gut and brain and induce immune activation. When paired with preexisting age‐related chronic inflammation this increases the risk of neuroinflammation and neurodegenerative diseases.
Aaron Mehl, Eran Blacher
wiley   +1 more source

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

Valosin‐containing protein counteracts ATP‐driven dissolution of FUS condensates through its ATPase activity in vitro

FEBS Letters, EarlyView.
Biomolecular condensates formed by fused in sarcoma (FUS) are dissolved by high ATP concentrations yet persist in cells. Using a reconstituted system, we demonstrate that valosin‐containing protein (VCP), an AAA+ ATPase, counteracts ATP‐driven dissolution of FUS condensates through its D2 ATPase activity.
Hitomi Kimura, Shin‐ichi Tate, Kyota Yasuda   +2 more
wiley   +1 more source

Associations of retinal microvascular alterations with diabetes mellitus: an OCTA-based cross-sectional study

BMC Ophthalmology
Background Diabetes, a health crisis afflicting millions worldwide, is increasing rapidly in prevalence. The microvascular complications triggered by diabetes have emerged as the principal cause of renal disease and blindness.
Yao Yao, Qian Wang, Jingyan Yang, Yanni Yan, Wenbin Wei   +4 more
doaj   +1 more source