From hierarchies to well-foundedness

We highlight that the connection of well-foundedness and recursive definitions is more than just convenience. While the consequences of making well-foundedness a sufficient condition for the existence of hierarchies (of various complexity) have been extensively studied, we point out that (if parameters are allowed) well-foundedness is a necessary condition for the existence of hierarchies e.g. that even in an intuitionistic setting (Π01−CA0)α⊢wf(α)where(Π01−CA0)α stands for the iteration of Π01 comprehension (with parameters) along some ordinal α and wf(α) stands for the well-foundedness of α.

Sensitive Questions in Online Surveys: An Experimental Evaluation of the Randomized Response Technique and the Crosswise Model

Self-administered online surveys provide a higher level of privacy protection to respondents than surveys administered by an interviewer. Yet, studies indicate that asking sensitive questions is problematic also in self-administered surveys. Because respondents might not be willing to reveal the truth and provide answers that are subject to social desirability bias, the validity of prevalence estimates of sensitive behaviors from online surveys can be challenged. A well-known method to overcome these problems is the Randomized Response Technique (RRT). However, convincing evidence that the RRT provides more valid estimates than direct questioning in online surveys is still lacking. A new variant of the RRT called the Crosswise Model has recently been proposed to overcome some of the deficiencies of existing RRT designs. We therefore conducted an experimental study in which different implementations of the RRT, including two implementations of the crosswise model, were tested and compared to direct questioning. Our study is a large-scale online survey (N = 6,037) on sensitive behaviors by students such as cheating in exams and plagiarism. Results indicate that the crosswise-model RRT---unlike the other variants of RRT we evaluated---yields higher prevalence estimates of sensitive behaviors than direct questioning. Whether higher estimates are a sufficient condition for more valid results, however, remains questionable.

'Alternate-goal bias' in antisaccades and the influence of expectation

Saccadic performance depends on the requirements of the current trial, but also may be influenced by other trials in the same experiment. This effect of trial context has been investigated most for saccadic error rate and reaction time but seldom for the positional accuracy of saccadic landing points. We investigated whether the direction of saccades towards one goal is affected by the location of a second goal used in other trials in the same experimental block. In our first experiment, landing points ('endpoints') of antisaccades but not prosaccades were shifted towards the location of the alternate goal. This spatial bias decreased with increasing angular separation between the current and alternative goals. In a second experiment, we explored whether expectancy about the goal location was responsible for the biasing of the saccadic endpoint. For this, we used a condition where the saccadic goal randomly changed from one trial to the next between locations on, above or below the horizontal meridian. We modulated the prior probability of the alternate-goal location by showing cues prior to stimulus onset. The results showed that expectation about the possible positions of the saccadic goal is sufficient to bias saccadic endpoints and can account for at least part of this phenomenon of 'alternate-goal bias'.

New insights in the pathogenesis of high-altitude pulmonary edema

High-altitude pulmonary edema is a life-threatening condition occurring in predisposed but otherwise healthy individuals. It therefore permits the study of underlying mechanisms of pulmonary edema in the absence of confounding factors such as coexisting cardiovascular or pulmonary disease, and/or drug therapy. There is evidence that some degree of asymptomatic alveolar fluid accumulation may represent a normal phenomenon in healthy humans shortly after arrival at high altitude. Two fundamental mechanisms then determine whether this fluid accumulation is cleared or whether it progresses to HAPE: the quantity of liquid escaping from the pulmonary vasculature and the rate of its clearance by the alveolar respiratory epithelium. The former is directly related to the degree of hypoxia-induced pulmonary hypertension, whereas the latter is determined by the alveolar epithelial sodium transport. Here, we will review evidence that, in HAPE-prone subjects, impaired pulmonary endothelial and epithelial NO synthesis and/or bioavailability may represent a central underlying defect predisposing to exaggerated hypoxic pulmonary vasoconstriction and, in turn, capillary stress failure and alveolar fluid flooding. We will then demonstrate that exaggerated pulmonary hypertension, although possibly a conditio sine qua non, may not always be sufficient to induce HAPE and how defective alveolar fluid clearance may represent a second important pathogenic mechanism.

Self-sufficient control of urate homeostasis in mice by a synthetic circuit

Synthetic biology has shown that the metabolic behavior of mammalian cells can be altered by genetic devices such as epigenetic and hysteretic switches, timers and oscillators, biocomputers, hormone systems and heterologous metabolic shunts. To explore the potential of such devices for therapeutic strategies, we designed a synthetic mammalian circuit to maintain uric acid homeostasis in the bloodstream, disturbance of which is associated with tumor lysis syndrome and gout. This synthetic device consists of a modified Deinococcus radiodurans-derived protein that senses uric acids levels and triggers dose-dependent derepression of a secretion-engineered Aspergillus flavus urate oxidase that eliminates uric acid. In urate oxidase-deficient mice, which develop acute hyperuricemia, the synthetic circuit decreased blood urate concentration to stable sub-pathologic levels in a dose-dependent manner and reduced uric acid crystal deposits in the kidney. Synthetic gene-network devices providing self-sufficient control of pathologic metabolites represent molecular prostheses, which may foster advances in future gene- and cell-based therapies.

Interhemispheric coupling, the West Antarctic Ice Sheet and warm Antarctic interglacials

Ice core evidence indicates that even though atmospheric CO2 concentrations did not exceed ~300 ppm at any point during the last 800 000 years, East Antarctica was at least ~3–4 °C warmer than preindustrial (CO2~280 ppm) in each of the last four interglacials. During the previous three interglacials, this anomalous warming was short lived (~3000 years) and apparently occurred before the completion of Northern Hemisphere deglaciation. Hereafter, we refer to these periods as "Warmer than Present Transients" (WPTs). We present a series of experiments to investigate the impact of deglacial meltwater on the Atlantic Meridional Overturning Circulation (AMOC) and Antarctic temperature. It is well known that a slowed AMOC would increase southern sea surface temperature (SST) through the bipolar seesaw and observational data suggests that the AMOC remained weak throughout the terminations preceding WPTs, strengthening rapidly at a time which coincides closely with peak Antarctic temperature. We present two 800 kyr transient simulations using the Intermediate Complexity model GENIE-1 which demonstrate that meltwater forcing generates transient southern warming that is consistent with the timing of WPTs, but is not sufficient (in this single parameterisation) to reproduce the magnitude of observed warmth. In order to investigate model and boundary condition uncertainty, we present three ensembles of transient GENIE-1 simulations across Termination II (135 000 to 124 000 BP) and three snapshot HadCM3 simulations at 130 000 BP. Only with consideration of the possible feedback of West Antarctic Ice Sheet (WAIS) retreat does it become possible to simulate the magnitude of observed warming.

Effect of sibling competition and male carotenoid supply on offspring condition and oxidative stress

Early developmental conditions have major implications for an individual's fitness. In species where offspring are born simultaneously, the level of sibling competition for food access is intense. In birds, high sibling competition may subject nestlings to decreased growth rate as a result of limited food and increased levels of oxidative stress through high metabolic activity induced by begging behaviors. We manipulated the level of sibling competition in a natural population of great tits and assessed the consequences for nestling body condition and resistance to oxidative stress. In a full factorial design, we both augmented brood size to increase sibling competition and supplemented the male parents with physiological doses of carotenoids thereby doubling the natural carotenoid intake, aiming at increasing the males' investment in current reproduction and thereby decreasing sibling competition. Nestling body mass was reduced by the brood enlargement and enhanced by the carotenoid supplementation of fathers. Nestling resistance to oxidative stress, measured as total antioxidant defenses in whole blood, was not influenced by the treatments. Because nestlings experience high metabolic activities, an absence of an effect of sibling competition on free radicals production seems unlikely. Nestling body mass decreased and resistance to oxidative stress tended to increase with initial brood size, and hence these correlational effects suggest a trade-off between morphological growth and development of the antioxidant system. However, the result of the experimental treatment did not support this trade-off hypothesis. Alternatively, it suggests that nestling developed compensatory mechanisms that were not detected by our antioxidant capacity measure.

[Recombinant proteins as therapeutic compounds in clinical oncology]

The in vitro production of recombinant protein molecules has fostered a tremendous interest in their clinical application for treatment and support of cancer patients. Therapeutic proteins include monoclonal antibodies, interferons, and haematopoietic growth factors. Clinically established monoclonal antibodies include rituximab (targeting CD20-positive B-cell lymphomas), trastuzumab (active in HER-2 breast and gastric cancer), and bevacizumab (blocking tumor-induced angiogenesis through blockade of vascular-endothelial growth factor and its receptor). Interferons have lost much of their initial appeal, since equally or more effective treatments with more pleasant side effects have become available, for example in chronic myelogenous leukaemia or hairy cell leukaemia. The value of recombinant growth factors, notably granulocyte colony stimulating factor (G-CSF) and erythropoietin is rather in the field of supportive care than in targeted anti-cancer therapy. Adequately powered clinical phase III trials are essential to estimate the true therapeutic impact of these expensive compounds, with appropriate selection of clinically relevant endpoints and sufficient follow-up. Monoclonal antibodies, interferons, and growth factors must also, and increasingly so, be subjected to close scrutiny by appropriate cost-effectiveness analyses to ensure that their use results in good value for money. With these caveats and under the condition of their judicious clinical use, recombinant proteins have greatly enriched the therapeutic armamentarium in clinical oncology, and their importance is likely to grow even further.

Improved antiretroviral treatment outcome in a rural African setting is associated with cART initiation at higher CD4 cell counts and better general health condition

Background Data on combination antiretroviral therapy (cART) in remote rural African regions is increasing. Methods We assessed prospectively initial cART in HIV-infected adults treated from 2005 to 2008 at St. Francis Designated District Hospital, Ifakara, Tanzania. Adherence was assisted by personal adherence supporters. We estimated risk factors of death or loss to follow-up by Cox regression during the first 12 months of cART. Results Overall, 1,463 individuals initiated cART, which was nevirapine-based in 84.6%. The median age was 40 years (IQR 34-47), 35.4% were males, 7.6% had proven tuberculosis. Median CD4 cell count was 131 cells/μl and 24.8% had WHO stage 4. Median CD4 cell count increased by 61 and 130 cells/μl after 6 and 12 months, respectively. 215 (14.7%) patients modified their treatment, mostly due to toxicity (56%), in particular polyneuropathy and anemia. Overall, 129 patients died (8.8%) and 189 (12.9%) were lost to follow-up. In a multivariate analysis, low CD4 cells at starting cART were associated with poorer survival and loss to follow-up (HR 1.77, 95% CI 1.15-2.75, p = 0.009; for CD4 <50 compared to >100 cells/μl). Higher weight was strongly associated with better survival (HR 0.63, 95% CI 0.51-0.76, p < 0.001 per 10 kg increase). Conclusions cART initiation at higher CD4 cell counts and better general health condition reduces HIV related mortality in a rural African setting. Efforts must be made to promote earlier HIV diagnosis to start cART timely. More research is needed to evaluate effective strategies to follow cART at a peripheral level with limited technical possibilities.

Oral lichenoid contact lesions induced by areca nut and betel quid chewing: a mini review

Betel quid (BQ) and areca nut chewing is widely prevalent in many parts of Asia and Asian-migrant communities throughout the world. Global reports estimate 600 million users. Sufficient evidence of carcinogenicity has been found for BQ and its main ingredient, areca nut. BQ areca nut users have an increased risk of potentially malignant disorders. Among chewers, BQ remains in contact with the oral mucosa for prolonged periods. This review examines the clinical and pathological aspects of lichenoid lesions caused by areca nut and BQ, a condition that has received little attention in the published literature.

Segregation analysis of overweight body condition in an experimental cat population

The goal of this study was to analyze the mode of inheritance of an overweight body condition in an experimental cat population. The cat population consisted of 95 cats of which 81 cats could be clearly classified into lean or overweight using the body condition scoring system according to Laflamme. The lean or overweight classification was then used for segregation analyses. Complex segregation analyses were employed to test for the significance of one environmental and 4 genetic models (general, mixed inheritance, major gene, and polygene). The general genetic model fit the data significantly better than the environmental model (P