Alleviating Linear Ecological Bias and Optimal Design with Subsample Data

In this paper, we illustrate that combining ecological data with subsample data in situations in which a linear model is appropriate provides three main benefits. First, by including the individual level subsample data, the biases associated with linear ecological inference can be eliminated. Second, by supplementing the subsample data with ecological data, the information about parameters will be increased. Third, we can use readily available ecological data to design optimal subsampling schemes, so as to further increase the information about parameters. We present an application of this methodology to the classic problem of estimating the effect of a college degree on wages. We show that combining ecological data with subsample data provides precise estimates of this value, and that optimal subsampling schemes (conditional on the ecological data) can provide good precision with only a fraction of the observations

Advance Access publication December 14

In this paper, we discuss an estimator for average treatment effects (ATEs) known as the augmented inverse propensity weighted (AIPW) estimator. This estimator has attractive theoretical properties and only requires practitioners to do two things they are already comfortable with: (1) specify a binary regression model for the propensity score, and (2) specify a regression model for the outcome variable. Perhaps the most interesting property of this estimator is its so-called ''double robustness.'' Put simply, the estimator remains consistent for the ATE if either the propensity score model or the outcome regression is misspecified but the other is properly specified. After explaining the AIPW estimator, we conduct a Monte Carlo experiment that compares the finite sample performance of the AIPW estimator to three common competitors: a regression estimator, an inverse propensity weighted (IPW) estimator, and a propensity score matching estimator. The Monte Carlo results show that the AIPW estimator has comparable or lower mean square error than the competing estimators when the propensity score and outcome models are both properly specified and, when one of the models is misspecified, the AIPW estimator is superior

Fixpoint Theorem for Continuous Functions on Chain-Complete Posets

This text includes the definition of chain-complete poset, fix-point theorem on it, and the definition of the function space of continuous functions on chain-complete posets [10].Ishida Kazuhisa - Neyagawa-shi, Osaka, JapanShidama Yasunari - Shinshu University, Nagano, JapanGrzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics, 1(1):41-46, 1990.Grzegorz Bancerek. Bounds in posets and relational substructures. Formalized Mathematics, 6(1):81-91, 1997.Grzegorz Bancerek and Andrzej Trybulec. Miscellaneous facts about functions. Formalized Mathematics, 5(4):485-492, 1996.Czesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1):55-65, 1990.Czesław Byliński. Functions from a set to a set. Formalized Mathematics, 1(1):153-164, 1990.Czesław Byliński. Some basic properties of sets. Formalized Mathematics, 1(1):47-53, 1990.Adam Grabowski. On the category of posets. Formalized Mathematics, 5(4):501-505, 1996. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=000258624500003&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=b7bc2757938ac7a7a821505f8243d9f3Piotr Rudnicki and Andrzej Trybulec. Abian's fixed point theorem. Formalized Mathematics, 6(3):335-338, 1997.Wojciech A. Trybulec and Grzegorz Bancerek. Kuratowski - Zorn lemma. Formalized Mathematics, 1(2):387-393, 1990.Glynn Winskel. The Formal Semantics of Programming Languages. The MIT Press, 1993.Edmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1(1):73-83, 1990.Edmund Woronowicz. Relations defined on sets. Formalized Mathematics, 1(1):181-186, 1990.Edmund Woronowicz and Anna Zalewska. Properties of binary relations. Formalized Mathematics, 1(1):85-89, 1990.Mariusz Żynel and Czesław Byliński. Properties of relational structures, posets, lattices and maps. Formalized Mathematics, 6(1):123-130, 1997

Airborne methane remote measurements reveal heavy-tail flux distribution in Four Corners region

Methane (CH_4) impacts climate as the second strongest anthropogenic greenhouse gas and air quality by influencing tropospheric ozone levels. Space-based observations have identified the Four Corners region in the Southwest United States as an area of large CH_4 enhancements. We conducted an airborne campaign in Four Corners during April 2015 with the next-generation Airborne Visible/Infrared Imaging Spectrometer (near-infrared) and Hyperspectral Thermal Emission Spectrometer (thermal infrared) imaging spectrometers to better understand the source of methane by measuring methane plumes at 1- to 3-m spatial resolution. Our analysis detected more than 250 individual methane plumes from fossil fuel harvesting, processing, and distributing infrastructures, spanning an emission range from the detection limit ∼2 kg/h to 5 kg/h through ∼5,000 kg/h. Observed sources include gas processing facilities, storage tanks, pipeline leaks, and well pads, as well as a coal mine venting shaft. Overall, plume enhancements and inferred fluxes follow a lognormal distribution, with the top 10% emitters contributing 49 to 66% to the inferred total point source flux of 0.23 Tg/y to 0.39 Tg/y. With the observed confirmation of a lognormal emission distribution, this airborne observing strategy and its ability to locate previously unknown point sources in real time provides an efficient and effective method to identify and mitigate major emissions contributors over a wide geographic area. With improved instrumentation, this capability scales to spaceborne applications [Thompson DR, et al. (2016) Geophys Res Lett 43(12):6571–6578]. Further illustration of this potential is demonstrated with two detected, confirmed, and repaired pipeline leaks during the campaign

The Impact of HIV, an Antiretroviral Programme and Tuberculosis on Mortality in South African Platinum Miners, 1992–2010

HIV and tuberculosis (TB) are the most common causes of death in South Africa. Antiretroviral therapy (ART) programmes should have had an impact on mortality rates. This study describes the impact of HIV, a Wellness (HIV/ART) programme and TB on population-wide trends in mortality and causes of death among South African platinum miners, from before the HIV epidemic into the ART era

Effect of Cadmium Chloride on Metallothionein Levels in Carp

Due to anthropogenic activities, heavy metals still represent a threat for various trophic levels. If aquatic animals are exposed to heavy metals, we can obviously observe considerable toxicity. It is well known that organisms treated with heavy metals synthesize low molecular mass compounds rich in cysteine. In this work the effects of cadmium chloride (2.5, 5, 7.5, 10 and 12.5 mg/L) on common carp (Cyprinus carpio) was investigated. We determined cadmium content in tissue of muscle, liver and kidney by atomic absorption spectrometry with electrothermal atomization and content of metallothionein (MT) in the same tissues by the Brdicka reaction. Electrochemical methods can be considered as suitable and sensitive tools for MT determination in carp tissues. Results of our study showed a gradually enhancing of cadmium content in muscle with time and dose of cadmium chloride in water. MT levels in liver reached both high levels (above 130 ng/g) in fish exposed to 2.5, 5 and 7.5 mg/L and low level (to 50 ng/g) in fish exposed to 10 and 12.5 mg/L of cadmium chloride. This finding confirms that the synthesis of metallothioneins and binding capacity of these proteins is restricted

Diabetes increases mortality after myocardial infarction by oxidizing CaMKII

Diabetes increases oxidant stress and doubles the risk of dying after myocardial infarction, but the mechanisms underlying increased mortality are unknown. Mice with streptozotocin-induced diabetes developed profound heart rate slowing and doubled mortality compared with controls after myocardial infarction. Oxidized Ca(2+)/calmodulin-dependent protein kinase II (ox-CaMKII) was significantly increased in pacemaker tissues from diabetic patients compared with that in nondiabetic patients after myocardial infarction. Streptozotocin-treated mice had increased pacemaker cell ox-CaMKII and apoptosis, which were further enhanced by myocardial infarction. We developed a knockin mouse model of oxidation-resistant CaMKIIδ (MM-VV), the isoform associated with cardiovascular disease. Streptozotocin-treated MM-VV mice and WT mice infused with MitoTEMPO, a mitochondrial targeted antioxidant, expressed significantly less ox-CaMKII, exhibited increased pacemaker cell survival, maintained normal heart rates, and were resistant to diabetes-attributable mortality after myocardial infarction. Our findings suggest that activation of a mitochondrial/ox-CaMKII pathway contributes to increased sudden death in diabetic patients after myocardial infarction

Detection of Stance-Related Characteristics in Social Media Text

In this paper, we present a study for the identification of stance-related features in text data from social media. Based on our previous work on stance and our findings on stance patterns, we detected stance-related characteristics in a data set from Twitter and Facebook. We extracted various corpus-, quantitative- and computational-based features that proved to be significant for six stance categories (contrariety, hypotheticality, necessity, prediction, source of knowledge, and uncertainty), and we tested them in our data set. The results of a preliminary clustering method are presented and discussed as a starting point for future contributions in the field. The results of our experiments showed a strong correlation between different characteristics and stance constructions, which can lead us to a methodology for automatic stance annotation of these data