A new model construction by making a detour via intuitionistic theories II: Interpretability lower bound of Feferman's explicit mathematics T0

We partially solve a long-standing problem in the proof theory of explicit mathematics or the proof theory in general. Namely, we give a lower bound of Feferman’s system T0 of explicit mathematics (but only when formulated on classical logic) with a concrete interpretat ion of the subsystem Σ12-AC+ (BI) of second order arithmetic inside T0. Whereas a lower bound proof in the sense of proof-theoretic reducibility or of ordinalanalysis was already given in 80s, the lower bound in the sense of interpretability we give here is new. We apply the new interpretation method developed by the author and Zumbrunnen (2015), which can be seen as the third kind of model construction method for classical theories, after Cohen’s forcing and Krivine’s classical realizability. It gives us an interpretation between classical theories, by composing interpretations between intuitionistic theories.

Microgram-Level Radiocarbon Determination of Carbonaceous Particles in Firn and Ice Samples: Pretreatment and Oc/Ec Separation

Carbonaceous particles that comprise organic carbon (OC) and elemental carbon (EC) are of increasing interest in climate research because of their influence on the radiation balance of the Earth. The radiocarbon determination of particulate OC and EC extracted from ice cores provides a powerful tool to reconstruct the long-term natural and anthropogenic emissions of carbonaceous particles. However, this C-14-based source apportionment method has not been applied for the firn section, which is the uppermost part of Alpine glaciers with a typical thickness of up to 50 m. In contrast to glacier ice, firn samples are more easily contaminated through drilling and handling operations. In this study, an alternative decontamination method for firn samples consisting of chiselling off the outer parts instead of rinsing them was developed and verified. The obtained procedural blank of 2.8 +/- 0.8 mu g C for OC is a factor of 2 higher compared to the rinsing method used for ice, but still relatively low compared to the typical OC concentration in firn samples from Alpine glaciers. The EC blank of 0.3 +/- 0.1 mu g C is similar for both methods. For separation of OC and EC for subsequent C-14 analysis, a thermal-optical method instead of the purely thermal method was applied for the first time to firn and ice samples, resulting in a reduced uncertainty of both the mass and C-14 determination. OC and EC concentrations as well as their corresponding fraction of modern for firn and ice samples from Fiescherhorn and Jungfraujoch agree well with published results, validating the new method.

Simple and objective method for routine detection of the macular pigment xanthophyll

A new simple method for two-dimensional determination of optical density of macular pigment xanthophyll (ODx) in clinical routine is based on a single blue-reflection fundus image. Individual different vignetting is corrected by a shading function. For its construction, nodes are automatically found in structureless image regions. The influence of stray light in elderly crystalline lenses is compensated by a correction function that depends on age. The reproducibility of parameters in a one-wavelength reflection method determined for three subjects (47, 61, and 78 years old) was: maxODx = 6.3%, meanODx = 4.6%, volume = 6%, and area = 6% already before stray-light correction. ODx was comparable in pseudophakic and in an eye with a crystalline lens of the same 11 subjects after stray-light correction. Significant correlation in ODx was found between the one-wavelength reflection method and the two-wavelength autofluorescence method for pseudophakic and cataract eyes of 19 patients suffering from dry age-related macular degeneration (AMD) (R(2) = 0.855). In pseudophakic eyes, maxODx was significantly lower for dry AMD (n = 45) (ODx = 0.491±0.102 ODU) than in eyes with healthy fundus (n = 22) (ODx = 0.615±0.103 ODU) (p = 0.000033). Also in eyes with crystalline lens, maxODx was lower in AMD (n = 125) (ODx = 0.610±0.093 ODU) than in healthy subjects (n = 45) (ODx = 0.674±0.098 ODU) (p = 0.00019). No dependence on age was found in the pseudophakic eyes both of healthy subjects and AMD patients.

A novel isolation method of Brucella species and molecular tracking of Brucella suis biovar 2 in domestic and wild animals

Brucella suis biovar 2 is the most common aetiological agent of porcine brucellosis in Europe. B. suis biovar 2 is considered to have low zoonotic potential, but is a causative agent of reproductive losses in pigs, and it is thus economically important. The multilocus variable-number of tandem repeats genotyping analysis of 16 loci (MLVA-16) has proven to be highly discriminatory and is the most suitable assay for simultaneously identifying B. suis and tracking infections. The aim of this study was to investigate the relatedness between isolates of B. suis biovar 2 obtained during a brucellosis outbreak in domestic pigs and isolates from wild boars and hares collected from proximal or remote geographical areas by MLVA-16. A cluster analysis of the MLVA-16 data revealed that most of the isolates obtained from Switzerland clustered together, with the exception of one isolate. The outbreak isolates constituted a unique subcluster (with a genetic similarity >93.8%) distinct from that of the isolates obtained from wild animals, suggesting that direct transmission of the bacterium from wild boars to domestic pigs did not occur in this outbreak. To obtain a representative number of isolates for MLVA-16, alternative methods of Brucella spp. isolation from tissue samples were compared with conventional direct cultivation on a Brucella-selective agar. We observed an enhanced sensitivity when mechanical homogenisation was followed by host cell lysis prior to cultivation on the Brucella-selective agar. This work demonstrates that MLVA-16 is an excellent tool for both monitoring brucellosis and investigating outbreaks. Additionally, we present efficient alternatives for the isolation of Brucella spp.

[Alternative sonographic determination of liver size by intercostal scans]

BACKGROUND: The evaluation of hepatic size is a daily question in abdominal ultrasound, especially to determine the presence of hepatomegaly. In the literature, different methods of measurement are described, mostly as a subcostal measured organ diameter in one direction. This method has its limits in patients with obesity, accumulation of abdominal gas or in uncooperative patients (lack of coordinative respiration) so that alternative measurements are necessary. METHODS: In 241 patients hepatic size was first measured in two conventional sections: midclavicular line (MCL) and anterior axillary line (AAL). Additionally, we measured the organs in midaxillary line craniocaudal (MAL) by determination of the cranio-caudal diameter. In 58 patients additional computed tomography was performed due to special diagnostical reasons so that liver size in MCL could be revealed and compared with ultrasonographical values. RESULTS: The mean value in MCL was 10.7 +/- 2.1 cm measured by ultrasound, 11.4 +/- 3.7 cm measured by computed tomography, 14.0 +/- 1.9 cm in AAL and 14.9 +/- 2.0 cm in MAL. In 5% of the cases the liver could not be measured in the conventional subcostal sections due to obesity or masking by gas, but this was possible in MAL. CONCLUSIONS: We revealed a good correlation of liver size in MCL between ultrasound and computed tomography, as well as in the measurement of AAL and MAL diameters. However, even in cases with difficult subcostal approach intercostal diameters allow for an accurate determination of hepatic size.

Alternative methods to kyphoplasty: vertebroplasty — lordoplasty

Percutaneous cement augmentation (vertebroplasty) was used for the first time in the 1980s, primarily for treatment of vertebral hemangioma [Galibert 1987]. It was only in the middle of the 1990s that it was used for treatment of metastases and increasingly for osteoporotic fractures of the spine [Cotten 1996; Weill 1996; Jensen 1997; Cortet 1999; Heini 2000]. In the meantime, this method has become established for treatment of painful osteoporotic fractures and for tumorous osteolysis of the spine. The clinical success rate is very high, with rapid pain relief in 70–90% of treated patients [Legroux-Gerot 2004; Zoarski 2002; Peh 2002; Barr 2000].

Measuring finger joint cartilage by ultrasound as a promising alternative to conventional radiograph imaging

OBJECTIVE: To evaluate the reliability and validity of a novel ultrasound (US) imaging method to measure metacarpophalangeal (MCP) and proximal interphalangeal (PIP) finger joint cartilage. METHODS: We examined 48 patients with rheumatoid arthritis (RA), 18 patients with osteoarthritis (OA), 24 patients with unclassified arthritis of the finger joints, and 34 healthy volunteers. The proximal cartilage layer of MCP and PIP joints for fingers 2-5 was bilaterally visualized from a posterior view, with joints in approximately 90 degrees flexion. Cartilage thickness was measured with integrated tools on static images. External validity was assessed by measuring radiologic joint space width (JSW) and a numeric joint space narrowing (JSN) score in patients with RA. RESULTS: Precise measurement was possible for 97.5% of MCP and 94.2% of PIP joints. Intraclass correlation coefficients for bilateral total joint US scores were 0.844 (95% confidence interval [95% CI] 0.648-0.935) for interobserver comparisons and 0.928 (95% CI 0.826-0.971) for intraobserver comparisons (using different US devices). The US score correlated with JSN for both hands (adjusted R(2) = 0.513, P < 0.001) and JSW of the same finger joints (adjusted R(2) = 0.635, P < 0.001). Reduced cartilage shown by US allowed discrimination of early symptomatic OA versus early RA and healthy joints. In patients with RA, US scores correlated with duration of treatment-resistant, progressive RA. CONCLUSION: The US method of direct visualization and quantification of cartilage in MCP and PIP joints is objective, reliable, valid, and can be useful for diagnostic purposes in patients with arthritis.

Non-selective cutaneous sensory neurectomy as an alternative treatment for auto-mutilation lesion following arthrodesis in three dogs

OBJECTIVE: To describe an alternative method for the treatment of non-responsive self-mutilation injuries in three dogs after carpal/tarsal arthrodesis. STUDY DESIGN: Case series ANIMALS: Two dogs with carpal injury and one dog with tarsal injury treated by arthrodesis METHODS: All dogs developed self-mutilation injuries due to licking and/or chewing of the toes within 21-52 days of surgery. Clinical signs did not resolve within one week after conservative treatment with wound debridement and protective bandages. Following general anaesthesia, a deep horseshoe-shaped skin incision, including the subdermal tissue, was performed proximal to the self-mutilation injury transecting the sensory cutaneous afferent nerves. The skin incision was closed with simple interrupted sutures. RESULTS: All wounds healed without complication. Self-mutilation resolved completely within 24 hours after surgery in all dogs. No recurrence was observed (5 months to 3 years). CONCLUSION: Non-selective cutaneous sensory neurectomy may lead to resolution of self-mutilation following arthrodesis in dogs. CLINICAL RELEVANCE: Failure of conservative treatment in self-mutilation injuries often leads to toe or limb amputation as a last resort. The technique described in this case series is a simple procedure that should be considered prior to amputation. The outcome of this procedure in dogs self-multilating due to neurological or behavioral disturbances unrelated to carpal or tarsal arthrodesis is not known.

Scheduling the production of rolling ingots: Industrial context, model, and solution method

We study a real-world scheduling problem arising in the context of a rolling ingots production. First we review the production process and discuss peculiarities that have to be observed when scheduling a given set of production orders on the production facilities. We then show how to model this scheduling problem using prescribed time lags between operations, different kinds of resources, and sequence-dependent changeovers. A branch-and-bound solution procedure is presented in the second part. The basic principle is to relax the resource constraints by assuming infinite resource availability. Resulting resource conflicts are then stepwise resolved by introducing precedence relationships among operations competing for the same resources. The algorithm has been implemented as a beam search heuristic enumerating alternative sets of precedence relationships.

Intussusceptive microvascular growth: a common alternative to capillary sprouting.

Intussusceptive capillary growth represents a new principle for microvascular growth as described in the lungs of growing rats. According to this concept, the capillary network expands by the formation of slender transcapillary tissue pillars, which give rise to new vascular meshes. The process was first observed in Mercox casts of the lung microvasculature, which revealed the existence of multiple tiny holes with diameters around 1.5 microns. Consecutive transmission electron microscopic investigation of serial sections demonstrated that the holes corresponded to slender tissue pillars (Burri and Tarek, 1990). The corrosion cast technique thus appears to be an adequate screening method for intussusceptive growth. In the present investigation, Mercox casts of various vascular systems, namely, those of the eye, submandibular gland, heart, liver, stomach, small and large intestine, trachea, kidney, uterus and ovary were prepared from rats aged between 4 and 9 weeks in order to screen them for the existence of the typical tiny holes representing tissue pillars. In all organs investigated, these structures were observed in various locations to a variable degree. They were mainly encountered within dilated vascular segments or at triple or quadruple branching points of the circulation. Even in capillary networks with a three-dimensional arrangement could these pillars be detected. Intussusception thus appears to be a principle of growth appertaining to many vascular systems.

Voluntary ingestion of antiparasitic drugs emulsified in honey represents an alternative to gavage in mice

The oral route is the most frequently used method of drug intake in humans. Oral administration of drugs to laboratory animals such as mice typically is achieved through gavage, in which a feeding needle is introduced into the esophagus and the drug is delivered directly into the stomach. This method requires technical skill, is stressful for animals, and introduces risk of injury, pain and morbidity. Here we investigated another method of drug administration. The benzimidazole derivative albendazole was emulsified in commercially available honey and administered to mice by voluntary feeding or gavage. Mice that received albendazole by either gavage or honey ingestion had virtually identical levels of serum albendazole sulfoxide, indicating that uptake and metabolism of albendazole was similar for both administration techniques. In addition, dosing mice with the albendazole-honey mixture for 8 wk had antiparasitic activity comparable to earlier studies using gavage for drug administration. Compared with gavage, voluntary ingestion of a drug in honey is more rapid, less stressful to the animal, and less technically demanding for the administrator. Because of its low cost and ready availability, honey presents a viable vehicle for drug delivery.

Construction and first validation of the comprehensive inventory of mindfulness (CHIME)

Introduction: Measuring trait mindfulness and change in mindfulness may be a crucial prerequisite for the evaluation and further development of mindfulness based interventions for the treatment of mental disorders. This endeavour is nontrivial as current measures cover varying aspects and mindfulness and may have problems regarding validity. This presentation describes the development and validation of a questionnaire for the comprehensive assessment of mindfulness: the Comprehensive Inventory of Mindfulness Experiences (CHIME). Method: The factor structure, reliability, and validity of the CHIME were established in a community sample (N = 298) and a sample of MBSR group participants (N = 161). Results: Factor-analytical procedures supported an eight-factor structure. The structure was tested in a further confirmatory sample (N = 202). The questionnaire and its subscales exhibited good reliability (internal consistency and retest-reliability). Analysis of the measurement invariance of the single items over groups differing in age, gender, meditation experience, and symptom load pointed to the absence of systematic differences in the items' semantic understanding. Parameters reflecting construct validity, criterion validity, and incremental validity as well as change sensitivity were all at least satisfactory. Conclusions: The CHIME is a self-report measure with favorable psychometric properties based on all aspects of mindfulness that are included in current mindfulness scales. This scale may be helpful in the evaluation and further development of mindfulness based interventions.

Tumour border configuration in colorectal cancer: proposal for an alternative scoring system based on the percentage of infiltrating margin.

AIMS Information on tumour border configuration (TBC) in colorectal cancer (CRC) is currently not included in most pathology reports, owing to lack of reproducibility and/or established evaluation systems. The aim of this study was to investigate whether an alternative scoring system based on the percentage of the infiltrating component may represent a reliable method for assessing TBC. METHODS AND RESULTS Two hundred and fifteen CRCs with complete clinicopathological data were evaluated by two independent observers, both 'traditionally' by assigning the tumours into pushing/infiltrating/mixed categories, and alternatively by scoring the percentage of infiltrating margin. With the pushing/infiltrating/mixed pattern method, interobserver agreement (IOA) was moderate (κ = 0.58), whereas with the percentage of infiltrating margins method, IOA was excellent (intraclass correlation coefficient of 0.86). A higher percentage of infiltrating margin correlated with adverse features such as higher grade (P = 0.0025), higher pT (P = 0.0007), pN (P = 0.0001) and pM classification (P = 0.0063), high-grade tumour budding (P < 0.0001), lymphatic invasion (P < 0.0001), vascular invasion (P = 0.0032), and shorter survival (P = 0.0008), and was significantly associated with an increased probability of lymph node metastasis (P < 0.001). CONCLUSIONS Information on TBC gives additional prognostic value to pathology reports on CRC. The novel proposed scoring system, by using the percentage of infiltrating margin, outperforms the 'traditional' way of reporting TBC. Additionally, it is reproducible and simple to apply, and can therefore be easily integrated into daily diagnostic practice.

Explication as a Method of Conceptual Re-engineering

Taking Carnap’s classic exposition as a starting point, this paper develops a pragmatic account of the method of explication, defends it against a range of challenges and proposes a detailed recipe for the practice of explicating. It is then argued that confusions are involved in characterizing explications as definitions, and in advocating precising definitions as an alternative to explications. Explication is better characterized as conceptual re-engineering for theoretical purposes, in contrast to conceptual re-engineering for other purposes and improving exactness for purely practical reasons. Finally, three limitations which call for further development of the method of explication are discussed.

Developing an alternative response format for the script concordance test

Introduction: Clinical reasoning is essential for the practice of medicine. In theory of development of medical expertise it is stated, that clinical reasoning starts from analytical processes namely the storage of isolated facts and the logical application of the ‘rules’ of diagnosis. Then the learners successively develop so called semantic networks and illness-scripts which finally are used in an intuitive non-analytic fashion [1], [2]. The script concordance test (SCT) is an example for assessing clinical reasoning [3]. However the aggregate scoring [3] of the SCT is recognized as problematic [4]. The SCT`s scoring leads to logical inconsistencies and is likely to reflect construct-irrelevant differences in examinees’ response styles [4]. Also the expert panel judgments might lead to an unintended error of measurement [4]. In this PhD project the following research questions will be addressed: 1. How does a format look like to assess clinical reasoning (similar to the SCT but) with multiple true-false questions or other formats with unambiguous correct answers, and by this address the above mentioned pitfalls in traditional scoring of the SCT? 2. How well does this format fulfill the Ottawa criteria for good assessment, with special regards to educational and catalytic effects [5]? Methods: 1. In a first study it shall be assessed whether designing a new format using multiple true-false items to assess clinical reasoning similar to the SCT-format is arguable in a theoretically and practically sound fashion. For this study focus groups or interviews with assessment experts and students will be undertaken. 2. In an study using focus groups and psychometric data Norcini`s and colleagues Criteria for Good Assessment [5] shall be determined for the new format in a real assessment. Furthermore the scoring method for this new format shall be optimized using real and simulated data.