Spectra of weighted algebras of holomorphic functions

We consider weighted algebras of holomorphic functions on a Banach space. We determine conditions on a family of weights that assure that the corresponding weighted space is an algebra or has polynomial Schauder decompositions. We study the spectra of weighted algebras and endow them with an analytic structure. We also deal with composition operators and algebra homomorphisms, in particular to investigate how their induced mappings act on the analytic structure of the spectrum. Moreover, a Banach-Stone type question is addressed.Comment: 25 pages Corrected typo

STM and ab initio study of holmium nanowires on a Ge(111) Surface

A nanorod structure has been observed on the Ho/Ge(111) surface using scanning tunneling microscopy (STM). The rods do not require patterning of the surface or defects such as step edges in order to grow as is the case for nanorods on Si(111). At low holmium coverage the nanorods exist as isolated nanostructures while at high coverage they form a periodic 5x1 structure. We propose a structural model for the 5x1 unit cell and show using an ab initio calculation that the STM profile of our model structure compares favorably to that obtained experimentally for both filled and empty states sampling. The calculated local density of states shows that the nanorod is metallic in character.Comment: 4 pages, 12 figures (inc. subfigures). Presented at the the APS March meeting, Baltimore MD, 200

The Deduction Theorem for Strong Propositional Proof Systems

This paper focuses on the deduction theorem for propositional logic. We define and investigate different deduction properties and show that the presence of these deduction properties for strong proof systems is powerful enough to characterize the existence of optimal and even polynomially bounded proof systems. We also exhibit a similar, but apparently weaker condition that implies the existence of complete disjoint NPUnknown control sequence '\mathsf' -pairs. In particular, this yields a sufficient condition for the completeness of the canonical pair of Frege systems and provides a general framework for the search for complete NPUnknown control sequence '\mathsf' -pairs

Structural Interdependence among Colombian Departments

This paper advances on the analysis of the structural interdependence among Colombian departments. The results show that Bogotá has a large influence in the other regional economies through its purchasing power. Additionally, it can be observed a centerperiphery pattern in the spatial concentration of the effects of the hypothetical extraction of any territory. From a policy point of view, the main findings reaffirm the role played by Bogotá in the polarization process observed in the regional economies in Colombia in the last years. Any policy action oriented to reduce these regional disparities should take into account that, given the structural interdependence among Colombian departments, new investment in the lagged regions would flow through Bogotá and the major regional economies.Input-output; extraction method; Colombia Classification JEL: R12; R15.

The deduction theorem for strong propositional proof systems

This paper focuses on the deduction theorem for propositional logic. We define and investigate different deduction properties and show that the presence of these deduction properties for strong proof systems is powerful enough to characterize the existence of optimal and even polynomially bounded proof systems. We also exhibit a similar, but apparently weaker condition that implies the existence of complete disjoint NP-pairs. In particular, this yields a sufficient condition for the completeness of the canonical pair of Frege systems and provides a general framework for the search for complete NP-pairs

Disjoint NP-pairs from propositional proof systems

For a proof system P we introduce the complexity class DNPP(P) of all disjoint NP-pairs for which the disjointness of the pair is efficiently provable in the proof system P. We exhibit structural properties of proof systems which make the previously defined canonical NP-pairs of these proof systems hard or complete for DNPP(P). Moreover we demonstrate that non-equivalent proof systems can have equivalent canonical pairs and that depending on the properties of the proof systems different scenarios for DNPP(P) and the reductions between the canonical pairs exist

Adjustment with aphasia after stroke: study protocol for a pilot feasibility randomised controlled trial for SUpporting wellbeing through PEeR Befriending (SUPERB)

Background: Despite the high prevalence of mood problems after stroke, evidence on effective interventions particularly for those with aphasia is limited. There is a pressing need to systematically evaluate interventions aiming to improve wellbeing for people with stroke and aphasia. This study aims to evaluate the feasibility of a peer-befriending intervention. Methods/design: SUPERB is a single blind, parallel group feasibility trial of peer befriending for people with aphasia post-stroke and low levels of psychological distress. The trial includes a nested qualitative study and pilot economic evaluation and it compares usual care (n = 30) with usual care + peer befriending (n = 30). Feasibility outcomes include proportion screened who meet criteria, proportion who consent, rate of consent, number of missing/incomplete data on outcome measures, attrition rate at follow-up, potential value of conducting main trial using value of information analysis (economic evaluation), description of usual care, and treatment fidelity of peer befriending. Assessments and outcome measures (mood, wellbeing, communication, and social participation) for participants and significant others will be administered at baseline, with outcome measures re-administered at 4 and 10 months post-randomisation. Peer befrienders will complete outcome measures before training and after they have completed two cycles of befriending. The qualitative study will use semi-structured interviews of purposively sampled participants (n = 20) and significant others (n = 10) from both arms of the trial, and all peer befrienders to explore the acceptability of procedures and experiences of care. The pilot economic evaluation will utilise the European Quality of life measure (EQ-5D-5 L) and a stroke-adapted version of the Client Service Receipt Inventory (CSRI). Discussion: This study will provide information on feasibility outcomes and an initial indication of whether peer befriending is a suitable intervention to explore further in a definitive phase III randomised controlled trial. Trial registration: ClinicalTrials.gov identifier NCT02947776, registered 28th October 2016

The impact of the Great Recession on health-related risk factors, behaviour and outcomes in England

This paper examines the impact that the Great Recession had on individuals' health behaviours and risk factors such as diet choices, smoking, alcohol consumption, and Body Mass Index, as well as on intermediate health outcomes in England. We exploit data on about 9000 households from the Health Survey for England for the period 2001-2013 and capture the change in macroeconomic conditions using regional unemployment rates and an indicator variable for the onset of the recession. Our findings indicate that the recession is associated with a decrease in the number of cigarettes smoked - which translated into a moderation in smoking intensity - and a reduction in alcohol intake. The recession indicator itself is associated with a decrease in fruit intake, a shift of the BMI distribution towards obesity, an increase in medicines consumption, and the likelihood of suffering from diabetes and mental health problems. These associations are often stronger for the less educated and for women. When they exist, the associations with the unemployment rate (UR) are nevertheless similar before and after 2008. Our results suggest that some of the health risks and intermediate health outcomes changes may be due to mechanisms not captured by worsened URs. We hypothesize that the uncertainty and the negative expectations generated by the recession may have influenced individual health outcomes and behaviours beyond the adjustments induced by the worsened macroeconomic conditions. The net effect translated into the erosion of the propensity to undertake several health risky behaviours but an exacerbation of some morbidity indicators. Overall, we find that the recession led to a moderation in risky behaviours but also to worsening of some risk factors and health outcomes