The Value Impact of New Residential Construction and Neighborhood Disinvestment on Residential Sales Price

The topic of neighborhood redevelopment is central to residential appraisal and the lending process. We examine both the effect of neighborhood upgrading and decline, captured by subsidized new residential construction and sustained property tax delinquency respectively, on the sales price of one-to-two family homes. The research uses a two stage hedonic price model of 12,100 individual residential sales in Cleveland, Ohio during 1992-94. Results show a significant positive effect of $670 on the sales price of existing housing for each new unit built in a one-to-two block area. A decrease in sales price of$778 is associated with a 1% increase in the tax delinquency rate. The spatial variability of these effects is also explored.

Environmental physiotherapy and the case for multispecies justice in planetary health

Background:Global environmental change is fundamentally altering the composition and functioning of our planetary ecosystem. Effectively presenting the largest threat to the health of present and future generations, these changes and their health impacts are forcing us to think and practice healthcare in much broader terms than ever before. Objective:In this article, we provide an early outline for a radically otherwise, yet strangely familiar, environmental physiotherapy developed through a succession of carefully developed arguments. Discussion:We show how an underpinning belief in human exceptionalism has engendered an exploitative relationship with our natural planetary environment that has both shaped Western science and healthcare and led to our current environmental health crisis. Building on the dependence of human health on our planetary ecosystem, approaches like planetary health hold great promise for a corresponding, paradigmatic turn in healthcare. They fall short of this however, where they perpetuate anthropocentric interests and interventionist practices that have underpinned healthcare to date. Drawing on ethical and post-human philosophies we argue against human exceptionalism and for a solidarity that includes other-than-humans as the primary characteristic of planetary existence. Conclusion:Building on this foundation, we provide an early outline for a radically otherwise, yet strangely familiar, environmental physiotherapy, grounded in ecological awareness, multispecies justice, and a range of consonant practices of passivity and accompaniment, conceived as an alternative to the commonplace interventionism of healthcare

Inkjet Printed Bandpass Filters and Filtennas using Silver Nanoparticle Ink on Flexible Substrate

This paper presents an inkjet printed CPW filtenna designed at 5.8 GHz. The proposed structure consists of a CPW pseudo-interdigital bandpass filter and a CPW inset-fed antenna. The bandpass filter is fabricated using inkjet printing technology. The structure is printed on flexible Kapton substrate with polyimide film using silver nanoparticle ink. The filter is then used to suppress the spurious harmonics of the antenna. Measurements from the fabrication confirm the accuracy of the design method and the simulation results

The Genetic Signature of Perineuronal Oligodendrocytes

Oligodendrocytes in the central nervous system can be categorized as precursors, myelin-forming, and non-myelinating perineuronal cells. The function of perineuronal oligodendrocytes is unknown; it was proposed that following injury, they may remyelinate denuded axons. We investigated these cells' potential. A combination of cell-specific tags, microarray technology and bioinformatics tools to identify gene expression differences between these subpopulations allowed us to capture the genetic signature of perineuronal oligodendrocytes. Here we report that perineuronal oligodendrocytes are configured for a dual role. As cells that embrace neuronal somata, they integrate a repertoire of transcripts designed to create their own code for communicating with neurons. But they maintain a reservoir of untranslated transcripts encoding the major myelin proteins for - we speculate - a demyelinating episode. We posit that the signature molecules, PDGFR-[alpha][beta] cytokine PDGF-CC, and transcription factor Pea3, used - among others - to define the non-myelinating phenotype, may be critical for mounting a myelinating programme during demyelination. Harnessing this capability is of therapeutic value for diseases such as multiple sclerosis. This is the first molecular characterization of an elusive neural cell

Analysis of the relationship between tobacco smoking and physical activity in adolescence: a gender specific study

Background and Objective: Although smoking and the physical activity level (PAL) are important determinants of health status in adolescence, there is a lack of information on the relationship between smoking and PAL in early adolescence. The objective of this study was to evaluate the gender-specific relationship between smoking and PAL in 14-to-16-year-old adolescents. Materials and Methods: The sample included 650 adolescents (337 girls, 14.7 ± 0.5 years at first testing wave) from Bosnia and Herzegovina. During the first testing wave, participants were tested using struc-tured questionnaires. Second testing was commenced after approximately 20 months (16.4 ± 0.6 years). The variables were age, gender, socioeconomic status, living environment, cigarette smoking (predictors), and PAL (criterion). Predictors were measured at the first wave, and criterion at the first-wave and second-wave. Results: For girls, smoking was negatively correlated to PAL at the first-wave (OR: 0.75, 95% CI: 0.55–0.95) and at the second-wave (OR: 0.73, 95% CI: 0.71–0.96). No significant association between smoking and PAL was found for boys. Results suggest that adolescent boys and girls do not follow the equal trajectories when it comes to relationships between smoking and PAL. Conclusions: In developing promotional public health actions related to a decrease of smoking and increase of PAL, a gender-specific approach is highly recommended. Further studies analyzing the cause–effect relationship between consumption of other types of psychoactive substances and PAL in this age group are warranted

Efficient Certified Resolution Proof Checking

We present a novel propositional proof tracing format that eliminates complex processing, thus enabling efficient (formal) proof checking. The benefits of this format are demonstrated by implementing a proof checker in C, which outperforms a state-of-the-art checker by two orders of magnitude. We then formalize the theory underlying propositional proof checking in Coq, and extract a correct-by-construction proof checker for our format from the formalization. An empirical evaluation using 280 unsatisfiable instances from the 2015 and 2016 SAT competitions shows that this certified checker usually performs comparably to a state-of-the-art non-certified proof checker. Using this format, we formally verify the recent 200 TB proof of the Boolean Pythagorean Triples conjecture

What drives athletes toward dietary supplement use: Objective knowledge or self-perceived competence? Cross-sectional analysis of professional team-sport players from Southeastern Europe during the competitive season

BackgroundIssues related to knowledge of nutrition and dietary supplementation(DS) are understudied in professional athletes. This study aimed to examine the possible association between knowledge of nutrition and DS (KN&DS) and dietary supplement use (DSU) among professional athletes involved in team sports.MethodsThe sample comprised professional team-sport athletes (N=912, age: 22.113.37years, 356 females) involved in four Olympic sports: basketball (N=228), soccer (N=324), volleyball (N=154), and handball (N=206). The participants were tested by previously validated questionnaires to examine their self-perceived competence on nutrition and DS (S/KN&DS), their objectively evaluated (tested) KN&DS (O/KN&DS), sociodemographic and sport-specific variables (predictors), and DSU (criterion). Associations between the predictors and the criterion (No-DSU - Irregular-DSU - Regular-DSU) were determined by multinomial regression analysis for the total sample and separately for the studied sports.ResultsDSU was found to be less prevalent in older and more successful players. The O/KN&DS and S/KN&DS were positively correlated with DSU, but S/KN&DS was a stronger predictor of DSU than O/KN&DS. Sport-specific associations between predictors and criterion were identified, with stronger correlations in sports with a higher prevalence of DSU.Conclusions Due to the low correlations between O/KN&DS and S/KN&DS in the studied players, this study highlights the necessity for more frequent monitoring of biomarkers of nutritional status and its usage by coaches and practitioners to provide quantitative instruction

Efficient Certified RAT Verification

Clausal proofs have become a popular approach to validate the results of SAT solvers. However, validating clausal proofs in the most widely supported format (DRAT) is expensive even in highly optimized implementations. We present a new format, called LRAT, which extends the DRAT format with hints that facilitate a simple and fast validation algorithm. Checking validity of LRAT proofs can be implemented using trusted systems such as the languages supported by theorem provers. We demonstrate this by implementing two certified LRAT checkers, one in Coq and one in ACL2