A new model construction by making a detour via intuitionistic theories I: Operational set theory without choice is Π1-equivalent to KP

We introduce a version of operational set theory, OST−, without a choice operation, which has a machinery for Δ0Δ0 separation based on truth functions and the separation operator, and a new kind of applicative set theory, so-called weak explicit set theory WEST, based on Gödel operations. We show that both the theories and Kripke–Platek set theory KPKP with infinity are pairwise Π1Π1 equivalent. We also show analogous assertions for subtheories with ∈-induction restricted in various ways and for supertheories extended by powerset, beta, limit and Mahlo operations. Whereas the upper bound is given by a refinement of inductive definition in KPKP, the lower bound is by a combination, in a specific way, of realisability, (intuitionistic) forcing and negative interpretations. Thus, despite interpretability between classical theories, we make “a detour via intuitionistic theories”. The combined interpretation, seen as a model construction in the sense of Visser's miniature model theory, is a new way of construction for classical theories and could be said the third kind of model construction ever used which is non-trivial on the logical connective level, after generic extension à la Cohen and Krivine's classical realisability model.

Assessing dynamics of forced livestock movements, livelihoods and future development options for pastoralists/agro-pastoralists in Ruvuma and Lindi Regions, in the Southern Tanzania

The study that aimed at understanding the dynamics of forced livestock movements and pastoral livelihood and development options was conducted in Lindi and Ruvuma regions, using both formal and informal approaches. Data were collected from 60 randomly selected Agro-pastoralists/Pastoralists and native farmers using a structured questionnaire. Four villages were involved; two in Lindi region (Matandu and Mkwajuni) and the other two in Ruvuma region (Gumbiro and Muhuwesi). Data were analyzed using descriptive statistics of SPSS to generate means and frequencies. The results indicate that a large number of animals moved into the study area following the eviction order of the government in Ihefu wetlands in 2006/2007. Lindi region was earmarked by the government to receive all the evicted pastoralists. However, by 2008 only 30% of the total cattle that were expected to move into the region had been received. Deaths of many animals on transit, selling of the animals to pay for transportation and other costs while on transit and many pastoralists settling in Coastal and Ruvuma regions before reaching their destinations were reported to be the reasons for the discrepancy observed. To mitigate anticipated conflicts between farmers and pastoralists, Participatory Land Use Management (PLUM) plans were developed in all the study villages in order to demarcate village land area into different uses, including grazing, cropping, settlement and forests. Land units for grazing were supposed to be provided with all necessary livestock infrastructures (dips, charcoal dams, livestock markets and stock routes). However, the land use plans were not able to prevent the anticipated conflicts because most of the livestock infrastructures were lacking, the land use boundaries were not clearly demarcated and there was limited enforcement of village by-laws, since most had not been enacted by the respective district councils. Similarly, the areas allocated for grazing were inadequate for the number of livestock available and thus the carrying capacity exceeded. Thus, land resource-based conflicts between farmers and pastoralists were emerging in the study areas for the reason that most of the important components in the PLUM plans were not in place. Nevertheless, the arrival of pastoralists in the study areas had positive effects on food security and growth of social interactions between pastoralists and farmers including marriages between them. Environmental degradations due to the arrival of livestock were also not evident. Thus, there is a need for the government to purposely set aside enough grazing land with all necessary infrastructures in place for the agro-pastoral/pastoral communities in the country.

Patterns of Stem Cell Divisions Contribute to Plant Longevity

The lifespan of plants ranges from a few weeks in annuals to thousands of years in trees. It is hard to explain such extreme longevity considering that DNA replication errors inevitably cause mutations. Without purging through meiotic recombination, the accumulation of somatic mutations will eventually result in mutational meltdown, a phenomenon known as Muller’s ratchet. Nevertheless, the lifespan of trees is limited more often by incidental disease or structural damage than by genetic aging. The key determinants of tree architecture are the axillary meristems, which form in the axils of leaves and grow out to form branches. The number of branches is low in annual plants, but in perennial plants iterative branching can result in thousands of terminal branches. Here, we use stem cell ablation and quantitative cell-lineage analysis to show that axillary meristems are set aside early, analogous to the metazoan germline. While neighboring cells divide vigorously, axillary meristem precursors maintain a quiescent state, with only 7–9 cell divisions occurring between the apical and axillary meristem. During iterative branching, the number of branches increases exponentially, while the number of cell divisions increases linearly. Moreover, computational modeling shows that stem cell arrangement and positioning of axillary meristems distribute somatic mutations around the main shoot, preventing their fixation and maximizing genetic heterogeneity. These features slow down Muller’s ratchet and thereby extend lifespan.

Prediction of soil organic carbon for Ethiopian highlands using soil spectroscopy

Soil spectroscopy was applied for predicting soil organic carbon (SOC) in the highlands of Ethiopia. Soil samples were acquired from Ethiopia’s National Soil Testing Centre and direct field sampling. The reflectance of samples was measured using a FieldSpec 3 diffuse reflectance spectrometer. Outliers and sample relation were evaluated using principal component analysis (PCA) and models were developed through partial least square regression (PLSR). For nine watersheds sampled, 20% of the samples were set aside to test prediction and 80% were used to develop calibration models. Depending on the number of samples per watershed, cross validation or independent validation were used.The stability of models was evaluated using coefficient of determination (R2), root mean square error (RMSE), and the ratio performance deviation (RPD). The R2 (%), RMSE (%), and RPD, respectively, for validation were Anjeni (88, 0.44, 3.05), Bale (86, 0.52, 2.7), Basketo (89, 0.57, 3.0), Benishangul (91, 0.30, 3.4), Kersa (82, 0.44, 2.4), Kola tembien (75, 0.44, 1.9),Maybar (84. 0.57, 2.5),Megech (85, 0.15, 2.6), andWondoGenet (86, 0.52, 2.7) indicating that themodels were stable. Models performed better for areas with high SOC values than areas with lower SOC values. Overall, soil spectroscopy performance ranged from very good to good.

Weeds and endangered herbs have unforeseen dispersal helpers in the agri-environment: gastropods and earthworms

Agri-environmental schemes involving organic farming or set-aside management aim at promoting biodiversity and restoring ecosystem functioning in agrarian landscapes. Application of pesticides in these crop fields is strongly regulated facilitating the spread of weeds but also allowing for the establishment of endangered herbs and a variety of animals.Recent studies found gastropods and earthworms to be legitimate dispersers of seeds of wild plants. We assumed that both groups also playa significant role in the spread and establishment of wild plants within crop fields. Therefore, we are conducting a series of experiments in three different study systems on (1) the role of earthworms and gastropods as dispersers of rare herbs and weeds in an organic rye field in Germany, (2) the seed feeding behavior of gastropods of plants sown in fallow ground in Switzerland, and (3) weed dispersal in irrigated rice fields by golden apple snails in the Philippines.

Double-blinded, randomized controlled trial comparing real versus placebo acupuncture to improve tolerance of diagnostic esophagogastroduodenoscopy without sedation: a study protocol

Background Sedation prior to performance of diagnostic esophagogastroduodenoscopy (EGDE) is widespread and increases patient comfort. But 98% of all serious adverse events during EGDEs are ascribed to sedation. The S3 guideline for sedation procedures in gastrointestinal endoscopy published in 2008 in Germany increases patient safety by standardization. These new regulations increase costs because of the need for more personnel and a prolonged discharge procedure after examinations with sedation. Many patients have difficulties to meet the discharge criteria regulated by the S3 guideline, e.g. the call for a second person to escort them home, to resign from driving and working for the rest of the day, resulting in a refusal of sedation. Therefore, we would like to examine if an acupuncture during elective, diagnostic EGDEs could increase the comfort of patients refusing systemic sedation. Methods/Design A single-center, double blinded, placebo controlled superiority trial to compare the success rates of elective, diagnostic EGDEs with real and placebo acupuncture. All patients aged 18 years or older scheduled for elective, diagnostic EGDE who refuse a systemic sedation are eligible. 354 patients will be randomized. The primary endpoint is the rate of successful EGDEs with the randomized technique. Intervention: Real or placebo acupuncture before and during EGDE. Duration of study: Approximately 24 months. Discussion Organisation/Responsibility The ACUPEND - Trial will be conducted in accordance with the protocol and in compliance with the moral, ethical, and scientific principles governing clinical research as set out in the Declaration of Helsinki (1989) and Good Clinical Practice (GCP). The Interdisciplinary Endoscopy Center (IEZ) of the University Hospital Heidelberg is responsible for design and conduct of the trial, including randomization and documentation of patients' data. Data management and statistical analysis will be performed by the independent Institute for Medical Biometry and Informatics (IMBI) and the Center of Clinical Trials (KSC) at the Department of General, Visceral and Transplantation Surgery, University of Heidelberg.

Guidelines for the use and interpretation of assays for monitoring autophagy

In 2008 we published the first set of guidelines for standardizing research in autophagy. Since then, research on this topic has continued to accelerate, and many new scientists have entered the field. Our knowledge base and relevant new technologies have also been expanding. Accordingly, it is important to update these guidelines for monitoring autophagy in different organisms. Various reviews have described the range of assays that have been used for this purpose. Nevertheless, there continues to be confusion regarding acceptable methods to measure autophagy, especially in multicellular eukaryotes. A key point that needs to be emphasized is that there is a difference between measurements that monitor the numbers or volume of autophagic elements (e.g., autophagosomes or autolysosomes) at any stage of the autophagic process vs. those that measure flux through the autophagy pathway (i.e., the complete process); thus, a block in macroautophagy that results in autophagosome accumulation needs to be differentiated from stimuli that result in increased autophagic activity, defined as increased autophagy induction coupled with increased delivery to, and degradation within, lysosomes (in most higher eukaryotes and some protists such as Dictyostelium) or the vacuole (in plants and fungi). In other words, it is especially important that investigators new to the field understand that the appearance of more autophagosomes does not necessarily equate with more autophagy. In fact, in many cases, autophagosomes accumulate because of a block in trafficking to lysosomes without a concomitant change in autophagosome biogenesis, whereas an increase in autolysosomes may reflect a reduction in degradative activity. Here, we present a set of guidelines for the selection and interpretation of methods for use by investigators who aim to examine macroautophagy and related processes, as well as for reviewers who need to provide realistic and reasonable critiques of papers that are focused on these processes. These guidelines are not meant to be a formulaic set of rules, because the appropriate assays depend in part on the question being asked and the system being used. In addition, we emphasize that no individual assay is guaranteed to be the most appropriate one in every situation, and we strongly recommend the use of multiple assays to monitor autophagy. In these guidelines, we consider these various methods of assessing autophagy and what information can, or cannot, be obtained from them. Finally, by discussing the merits and limits of particular autophagy assays, we hope to encourage technical innovation in the field.

Pilot study on the comprehensive economic costs of major trauma: Consequential costs are well in excess of medical costs

BACKGROUND: Trauma care is expensive. However, reliable data on the exact lifelong costs incurred by a major trauma patient are lacking. Discussion usually focuses on direct medical costs--underestimating consequential costs resulting from absence from work and permanent disability. METHODS: Direct medical costs and consequential costs of 63 major trauma survivors (ISS >13) at a Swiss trauma center from 1995 to 1996 were assessed 5 years posttrauma. The following cost evaluation methods were used: correction cost method (direct cost of restoring an original state), human capital method (indirect cost of lost productivity), contingent valuation method (human cost as the lost quality of life), and macroeconomic estimates. RESULTS: Mean ISS (Injury Severity Score) was 26.8 +/- 9.5 (mean +/- SD). In all, 22 patients (35%) were disabled, causing discounted average lifelong total costs of USD 1,293,800, compared with 41 patients (65%) who recovered without any disabilities with incurred costs of USD 147,200 (average of both groups USD 547,800). Two thirds of these costs were attributable to a loss of production whereas only one third was a result of the cost of correction. Primary hospital treatment (USD 27,800 +/- 37,800) was only a minor fraction of the total cost--less than the estimated cost of police and the judiciary. Loss of quality of life led to considerable intangible human costs similar to real costs. CONCLUSIONS: Trauma costs are commonly underestimated. Direct medical costs make up only a small part of the total costs. Consequential costs, such as lost productivity, are well in excess of the usual medical costs. Mere cost averages give a false estimate of the costs incurred by patients with/without disabilities.

Nutrition with 'light and water'? In strict isolation for 10 days without food - a critical case study

In her book 'Living on Light', Jasmuheen tries to animate people worldwide to follow her drastic nutrition rules in order to boost their quality of life. Several deaths have been reported as a fatal consequence. A doctor of chemistry who believably claimed to have been 'living on light' for 2 years, except for the daily intake of up to 1.5 l of fluid containing no or almost no calories was interested in a scientific study on this phenomenon. PARTICIPANT AND METHODS: The 54-year-old man was subjected to a rigorous 10-day isolation study with complete absence of nutrition. During the study he obtained an unlimited amount of tea and mineral water but had no caloric intake. Parameters to monitor his metabolic and psychological state and vital parameters were measured regularly and the safety of the individual was ensured throughout the study. The subject agreed on these terms and the study was approved by the local ethics committee.

Does point of care prothrombin time measurement reduce the transfusion of fresh frozen plasma in patients undergoing major surgery? The POC-OP randomized-controlled trial

BACKGROUND: Bleeding is a frequent complication during surgery. The intraoperative administration of blood products, including packed red blood cells, platelets and fresh frozen plasma (FFP), is often live saving. Complications of blood transfusions contribute considerably to perioperative costs and blood product resources are limited. Consequently, strategies to optimize the decision to transfuse are needed. Bleeding during surgery is a dynamic process and may result in major blood loss and coagulopathy due to dilution and consumption. The indication for transfusion should be based on reliable coagulation studies. While hemoglobin levels and platelet counts are available within 15 minutes, standard coagulation studies require one hour. Therefore, the decision to administer FFP has to be made in the absence of any data. Point of care testing of prothrombin time ensures that one major parameter of coagulation is available in the operation theatre within minutes. It is fast, easy to perform, inexpensive and may enable physicians to rationally determine the need for FFP. METHODS/DESIGN: The objective of the POC-OP trial is to determine the effectiveness of point of care prothrombin time testing to reduce the administration of FFP. It is a patient and assessor blind, single center randomized controlled parallel group trial in 220 patients aged between 18 and 90 years undergoing major surgery (any type, except cardiac surgery and liver transplantation) with an estimated blood loss during surgery exceeding 20% of the calculated total blood volume or a requirement of FFP according to the judgment of the physicians in charge. Patients are randomized to usual care plus point of care prothrombin time testing or usual care alone without point of care testing. The primary outcome is the relative risk to receive any FFP perioperatively. The inclusion of 110 patients per group will yield more than 80% power to detect a clinically relevant relative risk of 0.60 to receive FFP of the experimental as compared with the control group. DISCUSSION: Point of care prothrombin time testing in the operation theatre may reduce the administration of FFP considerably, which in turn may decrease costs and complications usually associated with the administration of blood products. TRIAL REGISTRATION: NCT00656396.

[Gerodontic consultation service for hospitalized geriatric patients: diagnosis and therapy (II)]

The aim of the study was to report on oral, dental and prosthetic conditions as well as therapeutic measures for temporarily institutionalized geriatric patients. The patients were referred to the dentist since dental problems were observed by the physicians or reported by the patients themselves. This resulted in a selection among the geriatric patients; but they are considered to be representative for this segment of patients exhibiting typical signs of undertreatment. The main problem was the poor retention of the prosthesis, which was associated to insufficient masticatory function and poor nutrition status. Forty-seven percent of the patients were edentulous or had maximally two radicular rests out of function. Altogether 70% of the maxillary and 51% of the mandibular jaws exhibited no more teeth. Eighty-nine percent of the patients had a removable denture, and it was observed that maxillary dentures were regularly worn in contrast to mandibular dentures. The partially edentate patients had a mean number of ten teeth, significantly more in the manidublar than maxillary jaw. Treatment consisted mainly in the adaptation and repair of dentures, tooth extractions and fillings. Only few appointments (mostly two) were necessary to improve the dental conditions, resulting in low costs. Patients without dentures or no need for denture repair generated the lowest costs. Slightly more visits were necessary for patients with dementia and musculoskeletal problems. The present findings show that regular maintenance care of institutionalized geriatric patients would limit costs in a long-term perspective, improve the oral situation and reduce the need for invasive treatment.

Daily negative affect and smoking after a self-set quit attempt: The role of dyadic invisible social support in a daily diary study

Objectives Social support receipt from one's partner is assumed to be beneficial for successful smoking cessation. However, support receipt can have costs. Recent research suggests that the most effective support is unnoticed by the receiver (i.e., invisible). Therefore, this study examined the association between everyday levels of dyadic invisible emotional and instrumental support, daily negative affect, and daily smoking after a self-set quit attempt in smoker–non-smoker couples. Methods Overall, 100 smokers (72.0% men, mean age M = 40.48, SD = 9.82) and their non-smoking partners completed electronic diaries from a self-set quit date on for 22 consecutive days, reporting daily invisible emotional and instrumental social support, daily negative affect, and daily smoking. Results Same-day multilevel analyses showed that at the between-person level, higher individual mean levels of invisible emotional and instrumental support were associated with less daily negative affect. In contrast to our assumption, more receipt of invisible emotional and instrumental support was related to more daily cigarettes smoked. Conclusions The findings are in line with previous results, indicating invisible support to have beneficial relations with affect. However, results emphasize the need for further prospective daily diary approaches for understanding the dynamics of invisible support on smoking cessation.

Functional error modeling for uncertainty quantification in hydrogeology

Approximate models (proxies) can be employed to reduce the computational costs of estimating uncertainty. The price to pay is that the approximations introduced by the proxy model can lead to a biased estimation. To avoid this problem and ensure a reliable uncertainty quantification, we propose to combine functional data analysis and machine learning to build error models that allow us to obtain an accurate prediction of the exact response without solving the exact model for all realizations. We build the relationship between proxy and exact model on a learning set of geostatistical realizations for which both exact and approximate solvers are run. Functional principal components analysis (FPCA) is used to investigate the variability in the two sets of curves and reduce the dimensionality of the problem while maximizing the retained information. Once obtained, the error model can be used to predict the exact response of any realization on the basis of the sole proxy response. This methodology is purpose-oriented as the error model is constructed directly for the quantity of interest, rather than for the state of the system. Also, the dimensionality reduction performed by FPCA allows a diagnostic of the quality of the error model to assess the informativeness of the learning set and the fidelity of the proxy to the exact model. The possibility of obtaining a prediction of the exact response for any newly generated realization suggests that the methodology can be effectively used beyond the context of uncertainty quantification, in particular for Bayesian inference and optimization.