Full and hat inductive definitions are equivalent in NBG

A new research project has, quite recently, been launched to clarify how different, from systems in second order number theory extending ACA 0, those in second order set theory extending NBG (as well as those in n + 3-th order number theory extending the so-called Bernays−Gödel expansion of full n + 2-order number theory etc.) are. In this article, we establish the equivalence between Δ10\bf-LFP and Δ10\bf-FP, which assert the existence of a least and of a (not necessarily least) fixed point, respectively, for positive elementary operators (or between Δn+20\bf-LFP and Δn+20\bf-FP). Our proof also shows the equivalence between ID 1 and ^ID1, both of which are defined in the standard way but with the starting theory PA replaced by ZFC (or full n + 2-th order number theory with global well-ordering).

Global lymphoid tissue remodeling during a viral infection is orchestrated by a B cell-lymphotoxin-dependent pathway

Adaptive immune responses are characterized by substantial restructuring of secondary lymphoid organs. The molecular and cellular factors responsible for virus-induced lymphoid remodeling are not well known to date. Here we applied optical projection tomography, a mesoscopic imaging technique, for a global analysis of the entire 3-dimensional structure of mouse peripheral lymph nodes (PLNs), focusing on B-cell areas and high endothelial venule (HEV) networks. Structural homeostasis of PLNs was characterized by a strict correlation between total PLN volume, B-cell volume, B-cell follicle number, and HEV length. After infection with lymphocytic choriomeningitis virus, we observed a substantial, lymphotoxin (LT) beta-receptor-dependent reorganization of the PLN microarchitecture, in which an initial B-cell influx was followed by 3-fold increases in PLN volume and HEV network length on day 8 after infection. Adoptive transfer experiments revealed that virus-induced PLN and HEV network remodeling required LTalpha(1)beta(2)-expressing B cells, whereas the inhibition of vascular endothelial growth factor-A signaling pathways had no significant effect on PLN expansion. In summary, lymphocytic choriomeningitis virus-induced PLN growth depends on a vascular endothelial growth factor-A-independent, LT- and B cell-dependent morphogenic pathway, as revealed by an in-depth mesoscopic analysis of the global PLN structure.

A plasma global metabolic profiling approach applied to an exercise study monitoring the effects of glucose, galactose and fructose drinks during post-exercise recovery

A global metabolic profiling methodology based on gas chromatography coupled to time-of-flight mass spectrometry (GC-TOFMS) for human plasma was applied to a human exercise study focused on the effects of beverages containing glucose, galactose, or fructose taken after exercise and throughout a recovery period of 6 h and 45 min. One group of 10 well trained male cyclists performed 3 experimental sessions on separate days (randomized, single center). After performing a standardized depletion protocol on a bicycle, subjects consumed one of three different beverages: maltodextrin (MD)+glucose (2:1 ratio), MD+galactose (2:1), and MD+fructose (2:1), consumed at an average of 1.25 g of carbohydrate (CHO) ingested per minute. Blood was taken straight after exercise and every 45 min within the recovery phase. With the resulting blood plasma, insulin, free fatty acid (FFA) profile, glucose, and GC-TOFMS global metabolic profiling measurements were performed. The resulting profiling data was able to match the results obtained from the other clinical measurements with the addition of being able to follow many different metabolites throughout the recovery period. The data quality was assessed, with all the labelled internal standards yielding values of <15% CV for all samples (n=335), apart from the labelled sucrose which gave a value of 15.19%. Differences between recovery treatments including the appearance of galactonic acid from the galactose based beverage were also highlighted.

Sustainable regional development: Reconciling global and local dynamics and stakes in the Swiss Alps

This article explores how global and local dynamics and stakes can be brought together when trying to combine conservation and regional development. For this purpose we analyse a series of studies carried out in the area of the Swiss Alps Jungfrau-Aletsch World Heritage Site (WHS). The approaches used in these studies to analyse the diversity and development of the region included data collection and evaluation of indicators such as population development, number of working places, occupation rates in various economic sectors and commuter balance, as well as interviews with key informants and assessment of existing planning tools. The major challenge of the newly declared World Heritage Region is that it is neither a political or administrative nor a cultural unit but constitutes a completely new type of space that breaks up and crosses traditional boundaries. The studies revealed an economic tertiarisation process and migration of the population from remote areas to regional centres. Tourism was identified as the key economic sector in the region. Regarding regional sustainability, the studies identified a need for quality dialogue and negotiation of interests and stakes. It was shown that in dealing with sustainability at the local level, many key issues cannot be resolved on the ground, as they depend on regional or national decisions, e.g. the conditions for tourism promotion in the region or economic validation of agricultural activity. We conclude from these findings that national or even international factors do not provide a basis for location-specific solutions, as they are often too general, and that the global label does not ensure sustainability in a designated WHS region; this depends entirely on local and regional dynamics.

Mild hypothermia during global cardiac ischemia opens a window of opportunity to develop heart donation after cardiac death

Although heart donation after cardiac death (DCD) could greatly improve graft availability, concerns regarding warm ischemic damage typically preclude transplantation. Improving tolerance to warm ischemia may thus open a window of opportunity for DCD hearts. We investigated the hypothesis that, compared with normothermia, mild hypothermia (32° C) initiated after ischemic onset improves cardiac functional recovery upon reperfusion. Isolated, working hearts from adult, male Wistar rats underwent global, no-flow ischemia, and reperfusion (n = 28). After ischemic onset, temperature was maintained at either 37° C for 20 or 30 min or reduced to 32° C for 40, 50, or 60 min. Recovery was measured after 60-min reperfusion. Following normothermic ischemia, recovery of rate-pressure product (RPP; per cent of preischemic value) was almost complete after 20-min ischemia (97 ± 9%), whereas no recovery was detectable after 30-min ischemia. After mildly hypothermic ischemia (32° C), RPP also recovered well after 40 min (86 ± 4%). Markers of metabolism and necrosis were similar in 37° C/20 min and 32° C/40 min groups. Simple reduction in cardiac temperature by a few degrees after the onset of global ischemia dramatically prolongs the interval during which the heart remains resistant to functional deterioration. Preservation of hemodynamic function is associated with improved metabolic recovery and reduced necrosis. The application of mild hypothermia may be a simple first step towards development of clinical protocols for DCD heart recovery.

Global Change and the World's Mountains-Research Needs and Emerging Themes for Sustainable Development A Synthesis From the 2010 Perth II Conference

The conference on Global Change and the World’s Mountains held in Perth, Scotland, in 2010 offered a unique opportunity to analyze the state and progress of mountain research and its contribution to sustainable mountain development, as well as to reflect on required reorientations of research agendas. In this paper we provide the results of a three-step assessment of the research presented by 450 researchers from around the world. First, we determined the state of the art of mountain research and categorized it based on the analytical structure of the Global Land Project (GLP 2005). Second, we identified emerging themes for future research. Finally, we assessed the contribution of mountain research to sustainable development along the lines of the Grand Challenges in Global Sustainability Research (International Council for Science 2010). Analysis revealed that despite the growing recognition of the importance of more integrative research (inter- and transdisciplinary), the research community gathered in Perth still focuses on environmental drivers of change and on interactions within ecological systems. Only a small percentage of current research seeks to enhance understanding of social systems and of interactions between social and ecological systems. From the ecological systems perspective, a greater effort is needed to disentangle and assess different drivers of change and to investigate impacts on the rendering of ecosystem services. From the social systems perspective, significant shortcomings remain in understanding the characteristics, trends, and impacts of human movements to, within, and out of mountain areas as a form of global change. Likewise, sociocultural drivers affecting collective behavior as well as incentive systems devised by policy and decision makers are little understood and require more in-depth investigation. Both the complexity of coupled social– ecological systems and incomplete data sets hinder integrated systems research. Increased understanding of linkages and feedbacks between social and ecological systems will help to identify nonlinearities and thresholds (tipping points) in both system types. This presupposes effective collaboration between ecological and social sciences. Reflections on the Grand Challenges in Sustainability Research put forth by the International Council for Science (2010) reveal the need to intensify research on effective responses and innovations. This will help to achieve sustainable development in mountain regions while maintaining the core competence of mountain research in forecasting and observation.

Information Systems Outsourcing. Enduring themes, global challenges, and process opportunities

he notion of outsourcing – making arrangements with an external entity for the provision of goods or services to supplement or replace internal efforts – has been around for centuries. The outsourcing of information systems (IS) is however a much newer concept but one which has been growing dramatically. This book attempts to synthesize what is known about IS outsourcing by dividing the subject into three interrelated parts: (1) Traditional Information Technology Outsourcing, (2) Information Technolgy Offshoring, and (3) Business Process Outsourcing. The book should be of interest to all academics and students in the field of Information Systems as well as corporate executives and professionals who seek a more profound analysis and understanding of the underlying factors and mechanisms of outsourcing.

Soil Erosion and Conservation in Global Agriculture

About one-sixth of the world’s land area, that is, about one-third of the land used for agriculture, has been affected by soil degradation in the historic past. While most of this damage was caused by water and wind erosion, other forms of soil degradation are induced by biological, chemical, and physical processes. Since the 1950s, pressure on agricultural land has increased considerably owing to population growth and agricultural modernization. Small-scale farming is the largest occupation in the world, involving over 2.5 billion people, over 70% of whom live below the poverty line. Soil erosion, along with other environmental threats, particularly affects these farmers by diminishing yields that are primarily used for subsistence. Soil and water conservation measures have been developed and applied on many farms. Local and science-based innovations are available for most agroecological conditions and land management and farming types. Principles and measures developed for small-scale as well as modern agricultural systems have begun to show positive impacts in most regions of the world, particularly in wealthier states and modern systems. Much more emphasis still needs to be given to small-scale farming, which requires external support for investment in sustainable land management technologies as an indispensable and integral component of farm activities.

Imminent ocean acidification in the Arctic projected with the NCAR global coupled carbon cycle-climate model

Ocean acidification from the uptake of anthropogenic carbon is simulated for the industrial period and IPCC SRES emission scenarios A2 and B1 with a global coupled carbon cycle-climate model. Earlier studies identified seawater saturation state with respect to aragonite, a mineral phase of calcium carbonate, as a key variable governing impacts on corals and other shell-forming organisms. Globally in the A2 scenario, water saturated by more than 300%, considered suitable for coral growth, vanishes by 2070 AD (CO2≈630 ppm), and the ocean volume fraction occupied by saturated water decreases from 42% to 25% over this century. The largest simulated pH changes worldwide occur in Arctic surface waters, where hydrogen ion concentration increases by up to 185% (ΔpH=−0.45). Projected climate change amplifies the decrease in Arctic surface mean saturation and pH by more than 20%, mainly due to freshening and increased carbon uptake in response to sea ice retreat. Modeled saturation compares well with observation-based estimates along an Arctic transect and simulated changes have been corrected for remaining model-data differences in this region. Aragonite undersaturation in Arctic surface waters is projected to occur locally within a decade and to become more widespread as atmospheric CO2 continues to grow. The results imply that surface waters in the Arctic Ocean will become corrosive to aragonite, with potentially large implications for the marine ecosystem, if anthropogenic carbon emissions are not reduced and atmospheric CO2 not kept below 450 ppm.

HHV-8 seroprevalence: a global view

BACKGROUND Human herpes virus 8 (HHV-8) is the underlying infectious cause of Kaposi sarcoma (KS) and other proliferative diseases; that is, primary effusion lymphoma and multicentric Castleman disease. In regions with high HHV-8 seroprevalence in the general population, KS accounts for a major burden of disease. Outside these endemic regions, HHV-8 prevalence is high in men who have sex with men (MSM) and in migrants from endemic regions. We aim to conduct a systematic literature review and meta-analysis in order 1) to define the global distribution of HHV-8 seroprevalence (primary objective) and 2) to identify risk factors for HHV-8 infection, with a focus on HIV status (secondary objective). METHODS/DESIGN We will include observational studies reporting data on seroprevalence of HHV-8 in children and/or adults from any region in the world. Case reports and case series as well as any studies with fewer than 50 participants will be excluded. We will search MEDLINE, EMBASE, and relevant conference proceedings without language restriction. Two reviewers will independently screen the identified studies and extract data on study characteristics and quality, study population, risk factors, and reported outcomes, using a standardized form. For the primary objective we will pool the data using a fully bayesian approach for meta-analysis, with random effects at the study level. For the secondary objective (association of HIV and HHV-8) we aim to pool odds ratios for the association of HIV and HHV-8 using a fully bayesian approach for meta-analysis, with random effects at the study level. Sub-group analyses and meta-regression analyses will be used to explore sources of heterogeneity, including factors such as geographical region, calendar years of recruitment, age, gender, ethnicity, socioeconomic status, different risk groups for sexually and parenterally transmitted infections (MSM, sex workers, hemophiliacs, intravenous drug users), comorbidities such as organ transplantation and malaria, test(s) used to measure HHV-8 infection, study design, and study quality. DISCUSSION Using the proposed systematic review and meta-analysis, we aim to better define the global seroprevalence of HHV-8 and its associated risk factors. This will improve the current understanding of HHV-8 epidemiology, and could suggest measures to prevent HHV-8 infection and to reduce its associated cancer burden.

Toward global prevention of sexually transmitted infections (STIs): The need for STI vaccines.

An estimated 499 million curable sexually transmitted infections (STIs; gonorrhea, chlamydia, syphilis, and trichomoniasis) occurred globally in 2008. In addition, well over 500 million people are estimated to have a viral STI such as herpes simplex virus type 2 (HSV-2) or human papillomavirus (HPV) at any point in time. STIs result in a large global burden of sexual, reproductive, and maternal-child health consequences, including genital symptoms, pregnancy complications, cancer, infertility, and enhanced HIV transmission, as well as important psychosocial consequences and financial costs. STI control strategies based primarily on behavioral primary prevention and STI case management have had clear successes, but gains have not been universal. Current STI control is hampered or threatened by several behavioral, biological, and implementation challenges, including a large proportion of asymptomatic infections, lack of feasible diagnostic tests globally, antimicrobial resistance, repeat infections, and barriers to intervention access, availability, and scale-up. Vaccines against HPV and hepatitis B virus offer a new paradigm for STI control. Challenges to existing STI prevention efforts provide important reasons for working toward additional STI vaccines. We summarize the global epidemiology of STIs and STI-associated complications, examine challenges to existing STI prevention efforts, and discuss the need for new STI vaccines for future prevention efforts.

Economic benefits and costs of technologies for sustainable land management (SLM): a preliminary analysis of global WOCAT data

The WOCAT network has collected, documented, and assessed more than 350 case studies on promising and good practices of SLM. Information on on- and off-site benefits of different SLM types, as well as on investment and maintenance costs is available, sometimes in quantitative and often in qualitative form. The objective of the present paper is to analyse what kind of economic benefits accrue to local stakeholders, and to better understand how these benefits compare to investment and maintenance costs. The large majority of the technologies contained in the database are perceived by land users as having positive benefits that outweigh costs in the long term. About three quarters of them also have positive or at least neutral benefits in the short term. The analysis shows that many SLM measures exist which can generate important benefits to land users, but also to other stakeholders. However, methodological issues need to be tackled and further quantitative and qualitative data are needed to better understand and support the adoption of SLM measures. Keywords: Sustainable Land Management, Costs, Benefits, Technologies

Repeatability analysis of global and local metrics of brain structural networks

Computational network analysis provides new methods to analyze the human connectome. Brain structural networks can be characterized by global and local metrics that recently gave promising insights for diagnosis and further understanding of neurological, psychiatric and neurodegenerative disorders. In order to ensure the validity of results in clinical settings the precision and repeatability of the networks and the associated metrics must be evaluated. In the present study, nineteen healthy subjects underwent two consecutive measurements enabling us to test reproducibility of the brain network and its global and local metrics. As it is known that the network topology depends on the network density, the effects of setting a common density threshold for all networks were also assessed. Results showed good to excellent repeatability for global metrics, while for local metrics it was more variable and some metrics were found to have locally poor repeatability. Moreover, between subjects differences were slightly inflated when the density was not fixed. At the global level, these findings confirm previous results on the validity of global network metrics as clinical biomarkers. However, the new results in our work indicate that the remaining variability at the local level as well as the effect of methodological characteristics on the network topology should be considered in the analysis of brain structural networks and especially in networks comparisons.

Present state of global wetland extent and wetland methane modelling: conclusions from a model inter-comparison project (WETCHIMP)

Global wetlands are believed to be climate sensitive, and are the largest natural emitters of methane (CH4). Increased wetland CH4 emissions could act as a positive feedback to future warming. The Wetland and Wetland CH4 Inter-comparison of Models Project (WETCHIMP) investigated our present ability to simulate large-scale wetland characteristics and corresponding CH4 emissions. To ensure inter-comparability, we used a common experimental protocol driving all models with the same climate and carbon dioxide (CO2) forcing datasets. The WETCHIMP experiments were conducted for model equilibrium states as well as transient simulations covering the last century. Sensitivity experiments investigated model response to changes in selected forcing inputs (precipitation, temperature, and atmospheric CO2 concentration). Ten models participated, covering the spectrum from simple to relatively complex, including models tailored either for regional or global simulations. The models also varied in methods to calculate wetland size and location, with some models simulating wetland area prognostically, while other models relied on remotely sensed inundation datasets, or an approach intermediate between the two. Four major conclusions emerged from the project. First, the suite of models demonstrate extensive disagreement in their simulations of wetland areal extent and CH4 emissions, in both space and time. Simple metrics of wetland area, such as the latitudinal gradient, show large variability, principally between models that use inundation dataset information and those that independently determine wetland area. Agreement between the models improves for zonally summed CH4 emissions, but large variation between the models remains. For annual global CH4 emissions, the models vary by ±40% of the all-model mean (190 Tg CH4 yr−1). Second, all models show a strong positive response to increased atmospheric CO2 concentrations (857 ppm) in both CH4 emissions and wetland area. In response to increasing global temperatures (+3.4 °C globally spatially uniform), on average, the models decreased wetland area and CH4 fluxes, primarily in the tropics, but the magnitude and sign of the response varied greatly. Models were least sensitive to increased global precipitation (+3.9 % globally spatially uniform) with a consistent small positive response in CH4 fluxes and wetland area. Results from the 20th century transient simulation show that interactions between climate forcings could have strong non-linear effects. Third, we presently do not have sufficient wetland methane observation datasets adequate to evaluate model fluxes at a spatial scale comparable to model grid cells (commonly 0.5°). This limitation severely restricts our ability to model global wetland CH4 emissions with confidence. Our simulated wetland extents are also difficult to evaluate due to extensive disagreements between wetland mapping and remotely sensed inundation datasets. Fourth, the large range in predicted CH4 emission rates leads to the conclusion that there is both substantial parameter and structural uncertainty in large-scale CH4 emission models, even after uncertainties in wetland areas are accounted for.