This corrects the article DOI: 10.1038/ncomms16087.

Computational and quantitative real algebraic geometry studies various algorithmic and quantitative questions dealing with the real solutions of a system of equalities, inequalities, and inequations of polynomials over the real numbers. This emerging field is largely motivated by the power and elegance with which it solves a broad and general class of problems arising in robotics, vision, compu...

Glutathione plays many important roles in biological processes; however, the dynamic changes of glutathione concentrations in living cells remain largely unknown. Here, we report a reversible reaction-based fluorescent probe-designated as RealThiol (RT)-that can quantitatively monitor the real-time glutathione dynamics in living cells. Using RT, we observe enhanced antioxidant capability of act...

Computational and quantitative real algebraic geometry studies various algorithmic and quantitative questions dealing with the real solutions of a system of equalities, inequalities, and inequations of polynomials over the real numbers. This emerging field is largely motivated by the power and elegance with which it solves a broad and general class of problems arising in robotics, vision, compu...

We present data analysis and modeling of two particular cases of study in the field of growing networks. We analyze World Wide Web data set and authorship collaboration networks in order to check the presence of correlation in the data. The results are reproduced with good agreement through a suitable modification of the standard Albert-Barabási model of network growth. In particular, intrinsic...

In the era of the Human Genome Project, quantitation of gene expression by tumor/host cells is of paramount importance to investigate gene patterns responsible for cancer development, progression and response/resistance to treatment. Quantitative real-time PCR (qrt-PCR) technology has recently reached a level of sensitivity, accuracy and practical ease that support its use as a routine bioinstr...

Real-time quantitative PCR allows the sensitive, specific and reproducible quantitation of nucleic acids. Since its introduction, real-time quantitative PCR has revolutionized the field of molecular diagnostics and the technique is being used in a rapidly expanding number of applications. This exciting technology has enabled the shift of molecular diagnostics toward a high-throughput, automated...

The problems of time-dependent behavior in general, and dynamic resource allocation in particular, pervade many aspects of modern life. Prominent examples range from reliability and efficient use of communication resources in a telecommunication network to the allocation of tracks in a continental railway network, from scheduling the usage of computational resources on a chip for durations of n...

An information-flow security policy constrains a computer system’s end-to-end use of information, even as it is transformed in computation. For instance, a policy would not just restrict what secret data could be revealed directly, but restrict any output that might allow inferences about the secret. Expressing such a policy quantitatively, in terms of a specific number of bits of information, ...