Results 61 to 70 of about 452,167 (280)
From Temporal Models to Property-Based Testing
, 2017 This paper presents a framework to apply property-based testing (PBT) on top of temporal formal models. The aim of this work is to help software engineers to understand temporal models that are presented formally and to make use of the advantages of ...
Alzahrani, Nasser +2 more
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
WATER CLOCK SEDERHANA DENGAN PEMANFAATAN SISTEM TEKANAN
Jurnal Penelitian dan Pengabdian Kepada Masyarakat UNSIQ, 2020 Pembuatan water clock (jam air) ini dilatarbelakangi oleh pentingnya penggunaan alat ukur waktu di setiap kegiatan. Water clock merupakan salah satu alat ukur waktu yang jarang dikembangkan dalam waktu sekarang ini karena proses pembuatan yang lumayan susah.
Fatiatun Fatiatun +3 more
openaire +2 more sources
Embedded density functional theory for covalently bonded and strongly interacting subsystems [PDF]
, 2011 Embedded density functional theory (e-DFT) is used to describe the electronic structure of strongly interacting molecular subsystems. We present a general implementation of the Exact Embedding (EE) method [J. Chem. Phys.
Barnes, Taylor A. +2 more
core
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
PLoS Genetics, 2007 The mechanism of circadian oscillations in mammals is cell autonomous and is generated by a set of genes that form a transcriptional autoregulatory feedback loop. While these "clock genes" are well conserved among animals, their specific functions remain
Hee-Kyung Hong +7 more
doaj +1 more source
Parallel-in-Time Multi-Level Integration of the Shallow-Water Equations on the Rotating Sphere
, 2019 The modeling of atmospheric processes in the context of weather and climate simulations is an important and computationally expensive challenge. The temporal integration of the underlying PDEs requires a very large number of time steps, even when the ...
Hamon, Francois P. +2 more
core +1 more source
Genetic disruption of the core circadian clock impairs hippocampus-dependent memory [PDF]
, 2014 Perturbing the circadian system by electrolytically lesioning the suprachiasmatic nucleus (SCN) or varying the environmental light:dark schedule impairs memory, suggesting that memory depends on the circadian system.
Chen, Xuanmao +4 more
core +2 more sources
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
The Unified Scale of Natural Waters
Georesursy, 2018 The article presents a continual scale of natural waters based on the characteristics of a vector, constructed on the superimposed cationic and anionic Gibbs triangles.
V.F. Nikolaev +5 more
doaj +1 more source