Because a Maude specification is an executable mathematical theory, it can be used not only to simulate but also to logically analyze the system it models. This model is AZD6738 molecular weight based on the amyloid hypothesis, which posits that AD results from the build-up

of the peptide beta-amyloid. The AD model represents beta-amyloid regulation, and shows through model analysis how that regulation can be disrupted through the interaction of pathological processes such as cerebrovascular insufficiency, inflammation, and oxidative stress. The model demonstrates many other effects that depend in complex ways on interactions between elements. It also shows how treatments directed at multiple targets could be more effective at reducing beta-amyloid than single-target therapies, and it makes several experimentally testable predictions. The work demonstrates that modeling AD as an executable mathematical theory using a specification language such as Maude is a viable adjunct to experiment, which allows insights and predictions to be derived that take more of the relevant

biology into account than would be possible without the aid of the computational model. selleck chemicals llc (C) 2011 Elsevier Ltd. All rights reserved.”
“Nutrient and energy metabolism in mammals exhibits a strong diurnal rhythm that aligns with the body clock. Circadian regulation of metabolism is mediated through reciprocal signaling between the clock and metabolic regulatory networks. Recent work has demonstrated that autophagy is rhythmically activated in a clock-dependent manner. Because autophagy is a conserved biological process that contributes to nutrient and cellular homeostasis, its cyclic induction may provide a novel link between clock and metabolism. This review discusses

the mechanisms underlying circadian autophagy regulation, the role of rhythmic autophagy in nutrient and energy metabolism, and its implications in physiology and metabolic disease.”
“In this paper, we comprehensively evaluated the capability of imidazole-zinc reverse stain (ZN) in comparative proteomics. Three commonly used protein gel staining methods, including silver (SN), SYPRO Ruby (SR), and CB stain were investigated alongside for comparison purpose. A transparency scanning procedure, which may deliver more even and contrasting gel images, was found best for documenting PAK5 ZN stained gels. Our results showed that ZN was more sensitive than SN, SR, and CB. It may reveal as few as 1.8 ng of proteins in a gel. Moreover, ZN was found to provide a linear dynamic range of staining for revealing proteins up to 140 ng, and show an insignificant staining preference. To analyze a ZN stained 2-D gel image that generally comprises an apparent but even background, the Melanie 4 software was found more suitable than others. Furthermore, ZN demonstrated an equivalent or better MS compatibility than the other three staining methods.