Glucocorticoids Inhibit Sodium Depletion-induced Salt Appetite in Rat

Glucocorticoids, produced in adrenal cortex, exert potent natriuretic and diuretic actions in the kidney. Recently, it has been found that glucocorticoids could upregulate the expression of natriuretic peptide receptor A (NPR-A), the primary receptor of atrial natriuretic peptide, in the hypothalamus of the rat. Consequently, systemic administration of glucocorticoid could block dehydration-induced water intake by activation hypothalamic NPR-A. We describe here glucocorticoids could inhibit sodium intake when administrated systemically in conscious, salt-depleted rats; an effect which was strong and long-lasting. The study provided further evidence for the actions of glucocorticoids on central nervous system, which together with their established renal actions coordinated to normalize extracellular fluid volume

Network synchronizability analysis: the theory of subgraphs and complementary graphs

In this paper, subgraphs and complementary graphs are used to analyze the network synchronizability. Some sharp and attainable bounds are provided for the eigenratio of the network structural matrix, which characterizes the network synchronizability, especially when the network's corresponding graph has cycles, chains, bipartite graphs or product graphs as its subgraphs.Comment: 13 pages, 7 figure

EASYFLOW: Keep Ethereum Away From Overflow

While Ethereum smart contracts enabled a wide range of blockchain applications, they are extremely vulnerable to different forms of security attacks. Due to the fact that transactions to smart contracts commonly involve cryptocurrency transfer, any successful attacks can lead to money loss or even financial disorder. In this paper, we focus on the overflow attacks in Ethereum , mainly because they widely rooted in many smart contracts and comparatively easy to exploit. We have developed EASYFLOW , an overflow detector at Ethereum Virtual Machine level. The key insight behind EASYFLOW is a taint analysis based tracking technique to analyze the propagation of involved taints. Specifically, EASYFLOW can not only divide smart contracts into safe contracts, manifested overflows, well-protected overflows and potential overflows, but also automatically generate transactions to trigger potential overflows. In our preliminary evaluation, EASYFLOW managed to find potentially vulnerable Ethereum contracts with little runtime overhead.Comment: Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings. IEEE Press, 201