Unfolding Feasible Arithmetic and Weak Truth

In this paper we continue Feferman’s unfolding program initiated in (Feferman, vol. 6 of Lecture Notes in Logic, 1996) which uses the concept of the unfolding U(S) of a schematic system S in order to describe those operations, predicates and principles concerning them, which are implicit in the acceptance of S. The program has been carried through for a schematic system of non-finitist arithmetic NFA in Feferman and Strahm (Ann Pure Appl Log, 104(1–3):75–96, 2000) and for a system FA (with and without Bar rule) in Feferman and Strahm (Rev Symb Log, 3(4):665–689, 2010). The present contribution elucidates the concept of unfolding for a basic schematic system FEA of feasible arithmetic. Apart from the operational unfolding U0(FEA) of FEA, we study two full unfolding notions, namely the predicate unfolding U(FEA) and a more general truth unfolding UT(FEA) of FEA, the latter making use of a truth predicate added to the language of the operational unfolding. The main results obtained are that the provably convergent functions on binary words for all three unfolding systems are precisely those being computable in polynomial time. The upper bound computations make essential use of a specific theory of truth TPT over combinatory logic, which has recently been introduced in Eberhard and Strahm (Bull Symb Log, 18(3):474–475, 2012) and Eberhard (A feasible theory of truth over combinatory logic, 2014) and whose involved proof-theoretic analysis is due to Eberhard (A feasible theory of truth over combinatory logic, 2014). The results of this paper were first announced in (Eberhard and Strahm, Bull Symb Log 18(3):474–475, 2012).

Basic Erosive Wear Examination (BEWE): a new scoring system for scientific and clinical needs

A new scoring system, the Basic Erosive Wear Examination (BEWE), has been designed to provide a simple tool for use in general practice and to allow comparison to other more discriminative indices. The most severely affected surface in each sextant is recorded with a four level score and the cumulative score classified and matched to risk levels which guide the management of the condition. The BEWE allows re-analysis and integration of results from existing studies and, in time, should initiate a consensus within the scientific community and so avoid continued proliferation of indices. Finally, this process should lead to the development of an internationally accepted, standardised and validated index. The BEWE further aims to increase the awareness of tooth erosion amongst clinicians and general dental practitioners and to provide a guide as to its management.

Dental erosive wear assessment among adolescents and adults utilizing the basic erosive wear examination (BEWE) scoring system.

OBJECTIVES To investigate erosive tooth wear and related variables among adolescents and adults in Israel, utilizing the new basic erosive wear examination (BEWE) scoring system, in an attempt to contribute to the ongoing review, evaluation, and further development of an international standardized index. MATERIAL AND METHODS A cross-sectional, descriptive, and analytic survey was conducted among 500 subjects of five age groups. Dental erosion was measured according to the new BEWE scoring system. Independent variables included gender, age, origin, education, employment status, and diet. A backward stepwise linear regression model was applied to identify significantly associated variables. RESULTS Fifty percent of the survey subjects demonstrated erosive tooth wear; among them, 10 % had distinct erosion of over 50 % of the dental surface. Total BEWE score differences by age groups were statistically significant; as the age increased, the mean total BEWE scores increased (p < 0.001). The association between acidic foods and erosion was evident among the younger population (p = 0.038). In a multiple regression model, age (p < 0.001) and diet (p = 0.044) achieved statistical significance as variables associated with dental erosive wear. CONCLUSIONS Our study is one of the first to use the BEWE scoring system in an epidemiological survey among adolescents and adults. It was found that the BEWE index is straightforward, easy to conduct, and comfortably accepted by the examinees. CLINICAL RELEVANCE The present findings, together with further international research, should contribute toward continued evaluation of the BEWE system as an international standard and thereby, toward more optimal understanding, evidence-based treatment, and prevention of dental erosive wear.

Reporting Experiments in Homeopathic Basic Research—Description of the Checklist Development

The objective of this study was to develop a criteria catalogue serving as a guideline for authors to improve quality of reporting experiments in basic research in homeopathy. A Delphi Process was initiated including three rounds of adjusting and phrasing plus two consensus conferences. European researchers who published experimental work within the last 5 years were involved. A checklist for authors provide a catalogue with 23 criteria. The “Introduction” should focus on underlying hypotheses, the homeopathic principle investigated and state if experiments are exploratory or confirmatory. “Materials and methods” should comprise information on object of investigation, experimental setup, parameters, intervention and statistical methods. A more detailed description on the homeopathic substances, for example, manufacture, dilution method, starting point of dilution is required. A further result of the Delphi process is to raise scientists' awareness of reporting blinding, allocation, replication, quality control and system performance controls. The part “Results” should provide the exact number of treated units per setting which were included in each analysis and state missing samples and drop outs. Results presented in tables and figures are as important as appropriate measures of effect size, uncertainty and probability. “Discussion” in a report should depict more than a general interpretation of results in the context of current evidence but also limitations and an appraisal of aptitude for the chosen experimental model. Authors of homeopathic basic research publications are encouraged to apply our checklist when preparing their manuscripts. Feedback is encouraged on applicability, strength and limitations of the list to enable future revisions.

A research agenda for malaria eradication: basic science and enabling technologies

Today's malaria control efforts are limited by our incomplete understanding of the biology of Plasmodium and of the complex relationships between human populations and the multiple species of mosquito and parasite. Research priorities include the development of in vitro culture systems for the complete life cycle of P. falciparum and P. vivax and the development of an appropriate liver culture system to study hepatic stages. In addition, genetic technologies for the manipulation of Plasmodium need to be improved, the entire parasite metabolome needs to be characterized to identify new druggable targets, and improved information systems for monitoring the changes in epidemiology, pathology, and host-parasite-vector interactions as a result of intensified control need to be established to bridge the gap between bench, preclinical, clinical, and population-based sciences.

Establishment of a novel intervertebral disc/endplate culture model: analysis of an ex vivo in vitro whole-organ rabbit culture system

STUDY DESIGN: Ex vivo in vitro study evaluating a novel intervertebral disc/endplate culture system. OBJECTIVES: To establish a whole-organ intervertebral disc culture model for the study of disc degeneration in vitro, including the characterization of basic cell and organ function. SUMMARY OF BACKGROUND DATA: With current in vivo models for the study of disc and endplate degeneration, it remains difficult to investigate the complex disc metabolism and signaling cascades. In contrast, more controlled but simplified in vitro systems using isolated cells or disc fragments are difficult to culture due to the unconstrained conditions, with often-observed cell death or cell dedifferentiation. Therefore, there is a demand for a controlled culture model with preserved cell function that offers the possibility to investigate disc and endplate pathologies in a structurally intact organ. METHODS: Naturally constrained intervertebral disc/endplate units from rabbits were cultured in multi-well plates. Cell viability, metabolic activity, matrix composition, and matrix gene expression profile were monitored using the Live/Dead cell viability test (Invitrogen, Basel, Switzerland), tetrazolium salt reduction (WST-8), proteoglycan and deoxyribonucleic acid quantification assays, and quantitative polymerase chain reaction. RESULTS: Viability and organ integrity were preserved for at least 4 weeks, while proteoglycan and deoxyribonucleic acid content decreased slightly, and matrix genes exhibited a degenerative profile with up-regulation of type I collagen and suppression of collagen type II and aggrecan genes. Additionally, cell metabolic activity was reduced to one third of the initial value. CONCLUSIONS: Naturally constrained intervertebral rabbit discs could be cultured for several weeks without losing cell viability. Structural integrity and matrix composition were retained. However, the organ responded to the artificial environment with a degenerative gene expression pattern and decreased metabolic rate. Therefore, the described system serves as a promising in vitro model to study disc degeneration in a whole organ.

Angiofil-mediated visualization of the vascular system by microcomputed tomography: a feasibility study

Visualization of the vascular systems of organs or of small animals is important for an assessment of basic physiological conditions, especially in studies that involve genetically manipulated mice. For a detailed morphological analysis of the vascular tree, it is necessary to demonstrate the system in its entirety. In this study, we present a new lipophilic contrast agent, Angiofil, for performing postmortem microangiography by using microcomputed tomography. The new contrast agent was tested in 10 wild-type mice. Imaging of the vascular system revealed vessels down to the caliber of capillaries, and the digital three-dimensional data obtained from the scans allowed for virtual cutting, amplification, and scaling without destroying the sample. By use of computer software, parameters such as vessel length and caliber could be quantified and remapped by color coding onto the surface of the vascular system. The liquid Angiofil is easy to handle and highly radio-opaque. Because of its lipophilic abilities, it is retained intravascularly, hence it facilitates virtual vessel segmentation, and yields an enduring signal which is advantageous during repetitive investigations, or if samples need to be transported from the site of preparation to the place of actual analysis, respectively. These characteristics make Angiofil a promising novel contrast agent; when combined with microcomputed tomography, it has the potential to turn into a powerful method for rapid vascular phenotyping.

Mobile competence network for community health workers in rural Myanmar: a supportive information system that facilitates the improvement of health services.

The goal of this project is the development of international cooperation for fostering solutions to provide better access to basic healthcare services.

Dysfunctions of the motor system in schizophrenia

Objective: Schizophrenia patients suffer from a variety of motor symptoms, including parkinsonism, catatonia, neurological soft signs, abnormal involuntary movements and psychomotor slowing. Methods: Literature review of prevalence rates and presentation of own results. Results: Parkinsonism and abnormal involuntary movements are intrinsic to schizophrenia, but may also be evoked by antipsychotic treatment. Reduced motor activity is associated with negative symptoms, catatonia and psychomotor slowing. Furthermore, 40 % of schizophrenia patients are impaired in gesture performance, which is related to executive and basic motor function. Mild motor disturbances are found in the majority of patients, while severe dysfunctions are limited to a minority. Our neuroimaging studies suggest that hypokinesia is caused by defective cortico-subcortical motor loops in schizophrenia. Taken together, a dimensional approach to schizophrenia motor symptoms seems promising. A purely descriptive assessment of motor signs is preferred over theoryladen categorization. Using objective motor parameters allows finding neural correlates of abnormal motor behaviour. Conclusion: The motor dimension of schizophrenia is linked to distinct disturbances in the cerebral motor system. Targeted modification of the defective motor system might become a relevant treatment option in patients suffering from schizophrenia with predominant motor features.

A novel universal DNA labeling and amplification system for rapid microarray-based detection of 117 antibiotic resistance genes in Gram-positive bacteria.

A rapid and simple DNA labeling system has been developed for disposable microarrays and has been validated for the detection of 117 antibiotic resistance genes abundant in Gram-positive bacteria. The DNA was fragmented and amplified using phi-29 polymerase and random primers with linkers. Labeling and further amplification were then performed by classic PCR amplification using biotinylated primers specific for the linkers. The microarray developed by Perreten et al. (Perreten, V., Vorlet-Fawer, L., Slickers, P., Ehricht, R., Kuhnert, P., Frey, J., 2005. Microarray-based detection of 90 antibiotic resistance genes of gram-positive bacteria. J.Clin.Microbiol. 43, 2291-2302.) was improved by additional oligonucleotides. A total of 244 oligonucleotides (26 to 37 nucleotide length and with similar melting temperatures) were spotted on the microarray, including genes conferring resistance to clinically important antibiotic classes like β-lactams, macrolides, aminoglycosides, glycopeptides and tetracyclines. Each antibiotic resistance gene is represented by at least 2 oligonucleotides designed from consensus sequences of gene families. The specificity of the oligonucleotides and the quality of the amplification and labeling were verified by analysis of a collection of 65 strains belonging to 24 species. Association between genotype and phenotype was verified for 6 antibiotics using 77 Staphylococcus strains belonging to different species and revealed 95% test specificity and a 93% predictive value of a positive test. The DNA labeling and amplification is independent of the species and of the target genes and could be used for different types of microarrays. This system has also the advantage to detect several genes within one bacterium at once, like in Staphylococcus aureus strain BM3318, in which up to 15 genes were detected. This new microarray-based detection system offers a large potential for applications in clinical diagnostic, basic research, food safety and surveillance programs for antimicrobial resistance.

A new measure for party coherence: Applying a physics-based concept to the Swiss party system

The paper revives a theoretical definition of party coherence as being composed of two basic elements, cohesion and factionalism, to propose and apply a novel empirical measure based on spin physics. The simultaneous analysis of both components using a single measurement concept is applied to data representing the political beliefs of candidates in the Swiss general elections of 2003 and 2007, proposing a connection between the coherence of the beliefs party members hold and the assessment of parties being at risk of splitting. We also compare our measure with established polarization measures and demonstrate its advantage with respect to multi-dimensional data that lack clear structure. Furthermore, we outline how our analysis supports the distinction between bottom-up and top-down mechanisms of party splitting. In this way, we are able to turn the intuition of coherence into a defined quantitative concept that, additionally, offers a methodological basis for comparative research of party coherence. Our work serves as an example of how a complex systems approach allows to get a new perspective on a long-standing issue in political science.

The Gut Microbiome and Cirrhosis: Basic Aspects

In this chapter the basic aspects helping to understand the microbiome in terms of quantity, diversity, complexity, function, and interaction with the host are discussed. First the nomenclature, definitions of taxa, and measures of diversity as well as methods to unravel this kingdom are outlined. A brief summary on its physiological relevance for general health and the functions exerted specifically by the microbiome is presented. Differences in the composition of the microbiome along the gastrointestinal tract and across the gut wall and its interindividual variations, enterotypes, and stability are highlighted. The reader will be familiarized with all different modulators impacting on the microbiome, namely, intrinsic and extrinsic factors. Intrinsic factors include gastrointestinal secretions (gastric acid, bile, pancreatic juice, mucus), antimicrobial peptides, motility, enteric nervous system, and host genotype. Extrinsic factors are mainly dietary choices, hygiene, stress, alcohol consumption, exercise, and medications. The second part of the chapter focuses on quantitative and qualitative changes in microbiome in liver cirrhosis. The mechanisms contributing to dysbiosis, small intestinal bacterial overgrowth, and bacterial translocation are delineated underscoring their role for the liver-gut axis.

A Review of General Physical and Chemical Processes Related to Plasma Sources and Losses for Solar System Magnetospheres

The aim of this paper is to provide a review of general processes related to plasma sources, their transport, energization, and losses in the planetary magnetospheres. We provide background information as well as the most up-to-date knowledge of the comparative studies of planetary magnetospheres, with a focus on the plasma supply to each region of the magnetospheres. This review also includes the basic equations and modeling methods commonly used to simulate the plasma sources of the planetary magnetospheres. In this paper, we will describe basic and common processes related to plasma supply to each region of the planetary magnetospheres in our solar system. First, we will describe source processes in Sect. 1. Then the transport and energization processes to supply those source plasmas to various regions of the magnetosphere are described in Sect. 2. Loss processes are also important to understand the plasma population in the magnetosphere and Sect. 3 is dedicated to the explanation of the loss processes. In Sect. 4, we also briefly summarize the basic equations and modeling methods with a focus on plasma supply processes for planetary magnetospheres.