The health co-benefits of CO2 mitigation can provide a strong incentive for climate policy through reductions in air pollutant emissions that occur when targeting shared sources. However, reducing air pollutant emissions may also have an important co-harm, as the aerosols they form produce net cooling overall. Nevertheless, aerosol impacts have not been fully incorporated into cost-benefit modeling that estimates how much the world should optimally mitigate. Here we find that when both co-benefits and co-harms are taken fully into account, optimal (...) climate policy results in immediate net benefits globally, overturning previous findings from cost-benefit models that omit these effects. The global health benefits from climate policy could reach trillions of dollars annually, but will importantly depend on the air quality policies that nations adopt independently of climate change. Depending on how society values better health, economically optimal levels of mitigation may be consistent with a target of 2 °C or lower. (shrink)

Background and PurposeTranscranial direct current stimulation is an emerging non-invasive neuromodulation technique for focal epilepsy. Because epilepsy is a disease affecting the brain network, our study was aimed to evaluate and predict the treatment outcome of cathodal tDCS by analyzing the ctDCS-induced functional network alterations.MethodsEither the active 5-day, −1.0 mA, 20-min ctDCS or sham ctDCS targeting at the most active interictal epileptiform discharge regions was applied to 27 subjects suffering from focal epilepsy. The functional networks before and after ctDCS were (...) compared employing graph theoretical analysis based on the functional magnetic resonance imaging data. A support vector machine prediction model was built to predict the treatment outcome of ctDCS using the graph theoretical measures as markers.ResultsOur results revealed that the mean clustering coefficient and the global efficiency decreased significantly, as well as the characteristic path length and the mean shortest path length at the stimulation sites in the fMRI functional networks increased significantly after ctDCS only for the patients with response to the active ctDCS. Our prediction model achieved the mean prediction accuracy of 68.3% after the nested cross validation. The mean area under the receiver operating curve was 0.75, which showed good prediction performance.ConclusionThe study demonstrated that the response to ctDCS was related to the topological alterations in the functional networks of epilepsy patients detected by fMRI. The graph theoretical measures were promising for clinical prediction of ctDCS treatment outcome. (shrink)

Carbon emission has negative externalities, which will cause severe natural and social problems. In recent years, more and more attention has been paid to carbon emission reduction issue both in academic and application fields. This paper aims to explore the impact of punitive carbon tax and incentive carbon emission reduction subsidy on economy and environment through the dynamic stochastic general equilibrium framework. The results show that both carbon tax and carbon emission reduction subsidy policies can help to reduce carbon emissions (...) and to improve environment quality. In addition, carbon emission reduction subsidy has a positive impact on economy, while carbon tax has the opposite impact. It follows that the incentive carbon emission reduction policy is more conducive to the coordinated development of economy and environment. This research can be a guideline for the government to formulate carbon emission abatement policies from the perspective of coordinated development. (shrink)

In this paper, we investigate the logical strength of two types of fixed point theorems in the context of reverse mathematics. One is concerned with extensions of the Banach contraction principle. Among theorems in this type, we mainly show that the Caristi fixed point theorem is equivalent to math formula over math formula. The other is dedicated to topological fixed point theorems such as the Brouwer fixed point theorem. We introduce some variants of the Fan-Browder fixed point theorem and the (...) Kakutani fixed point theorem, which we call math formula and math formula, respectively. Then we show that math formula is equivalent to math formula and math formula is equivalent to math formula, over math formula. In addition, we also study the application of the Fan-Browder fixed point theorem to game systems. (shrink)

The complexity of language is usually reflected in the complexity of sentences. At present, the research of sentence complexity mainly focuses on the analysis of syntactic complexity. In this paper, from the perspective of Leech's theory of sentence semantic structure, the predication structure is taken as the semantic unit to explore the sentence semantic complexity. The predication structures are extracted based on the result of sentence-based syntactic analysis, and then the linear expression sequence of a sentence is converted into a (...) semantic hierarchy based on predicate semantic frameworks; the universality of predicate semantic frameworks is obtained by using the spectral clustering algorithm; and the sentence semantic complexity depends on the universality of predicate semantic frameworks at various layers. The experimental results show that the measurement method of sentence sematic complexity based on predicate semantic frameworks is more effective by comparing with the method that only considers the semantic categories of words in the sentence. (shrink)