Decision making in patients with acute abdominal pain at a university and at a rural hospital: Does the value of abdominal sonography differ?

Introduction and objectives Abdominal sonography is regarded as a quick and effective diagnostic tool for acute abdominal pain in emergency medicine. However, final diagnosis is usually based on a combination of various clinical examinations and radiography. The role of sonography in the decision making process at a hospital with advanced imaging capabilities versus a hospital with limited imaging capabilities but more experienced clinicians is unclear. The aim of this pilot study was to assess the relative importance of sonography and its influence on the clinical management of acute abdominal pain, at two Swiss hospitals, a university hospital (UH) and a rural hospital (RH). Methods 161 patients were prospectively examined clinically. Blood tests and sonography were performed in all patients. Patients younger than 18 years and patients with trauma were excluded. In both hospitals, the diagnosis before and after ultrasonography was registered in a protocol. Certainty of the diagnosis was expressed on a scale from 0% to 100%. The decision processes used to manage patients before and after they underwent sonography were compared. The diagnosis at discharge was compared to the diagnosis 2 – 6 weeks thereafter. Results Sensitivity, specificity and accuracy of sonography were high: 94%, 88% and 91%, respectively. At the UH, management after sonography changed in only 14% of cases, compared to 27% at the RH. Additional tests were more frequently added at the UH (30%) than at the RH (18%), but had no influence on the decision making process-whether to operate or not. At the UH, the diagnosis was missed in one (1%) patient, but in three (5%) patients at the RH. No significant difference was found between the two hospitals in frequency of management changes due to sonography or in the correctness of the diagnosis. Conclusion Knowing that sonography has high sensitivity, specificity and accuracy in the diagnosis of acute abdominal pain, one would assume it would be an important diagnostic tool, particularly at the RH, where tests/imaging studies are rare. However, our pilot study indicates that sonography provides important diagnostic information in only a minority of patients with acute abdominal pain. Sonography was more important at the rural hospital than at the university hospital. Further costly examinations are generally ordered for verification, but these additional tests change the final treatment plan in very few patients.

Estimation of tool pose based on force-density correlation during robotic drilling

The application of image-guided systems with or without support by surgical robots relies on the accuracy of the navigation process, including patient-to-image registration. The surgeon must carry out the procedure based on the information provided by the navigation system, usually without being able to verify its correctness beyond visual inspection. Misleading surrogate parameters such as the fiducial registration error are often used to describe the success of the registration process, while a lack of methods describing the effects of navigation errors, such as those caused by tracking or calibration, may prevent the application of image guidance in certain accuracy-critical interventions. During minimally invasive mastoidectomy for cochlear implantation, a direct tunnel is drilled from the outside of the mastoid to a target on the cochlea based on registration using landmarks solely on the surface of the skull. Using this methodology, it is impossible to detect if the drill is advancing in the correct direction and that injury of the facial nerve will be avoided. To overcome this problem, a tool localization method based on drilling process information is proposed. The algorithm estimates the pose of a robot-guided surgical tool during a drilling task based on the correlation of the observed axial drilling force and the heterogeneous bone density in the mastoid extracted from 3-D image data. We present here one possible implementation of this method tested on ten tunnels drilled into three human cadaver specimens where an average tool localization accuracy of 0.29 mm was observed.

Canonical proof nets for classical logic

Proof nets provide abstract counterparts to sequent proofs modulo rule permutations; the idea being that if two proofs have the same underlying proof-net, they are in essence the same proof. Providing a convincing proof-net counterpart to proofs in the classical sequent calculus is thus an important step in understanding classical sequent calculus proofs. By convincing, we mean that (a) there should be a canonical function from sequent proofs to proof nets, (b) it should be possible to check the correctness of a net in polynomial time, (c) every correct net should be obtainable from a sequent calculus proof, and (d) there should be a cut-elimination procedure which preserves correctness. Previous attempts to give proof-net-like objects for propositional classical logic have failed at least one of the above conditions. In Richard McKinley (2010) [22], the author presented a calculus of proof nets (expansion nets) satisfying (a) and (b); the paper defined a sequent calculus corresponding to expansion nets but gave no explicit demonstration of (c). That sequent calculus, called LK∗ in this paper, is a novel one-sided sequent calculus with both additively and multiplicatively formulated disjunction rules. In this paper (a self-contained extended version of Richard McKinley (2010) [22]), we give a full proof of (c) for expansion nets with respect to LK∗, and in addition give a cut-elimination procedure internal to expansion nets – this makes expansion nets the first notion of proof-net for classical logic satisfying all four criteria.

Socrates on the Moral Mischief of Misology

In Plato’s dialogues, the Phaedo, Laches, and Republic, Socrates warns his interlocutors about the dangers of misology. Misology is explained by analogy with misanthropy, not as the hatred of other human beings, but as the hatred of the logos or reasonable discourse. According to Socrates, misology arises when a person alternates between believing an argument to be correct, and then refuting it as false. If Socrates is right, then misanthropy is sometimes instilled when a person goes from trusting people to learning that others sometimes betray our reliance and expectations, and finally not to placing any confidence whatsoever in other people, or, in the case of misology, in the correctness or trustworthiness of arguments. A cynical indifference to the soundness of arguments generally is sometimes associated with Socrates’ polemical targets, the Sophists, at least as Plato represents Socrates’ reaction to these itinerant teachers of rhetoric, public speaking and the fashioning of arguments suitable to any occasion. Socrates’ injunctions against misology are largely moral, pronouncing it ‘shameful’ and ‘very wicked’, and something that without further justification we must ‘guard against’, maintaining that we will be less excellent persons if we come to despise argument as lacking the potential of leading to the truth. I examine Socrates’ moral objections to misology which I show to be inconclusive. I consider instead the problem of logical coherence in the motivations supposedly underlying misology, and conclude that misology as Socrates intends the concept is an emotional reaction to argumentation on the part of persons who have not acquired the logical dialectical skills or will to sort out good from bad arguments. We cannot dismiss argument as directed toward the truth unless we have a strong reason for doing so, and any such argument must itself presuppose that at least some reasoning can be justified in discovering and justifying belief in interesting truths. The relevant passages from Socrates’ discussion of the soul’s immortality in the Phaedo are discussed in detail, and set in scholarly background against Socrates’ philosophy more generally, as represented by Plato’s dialogues. I conclude by offering a suggestive list of practical remedies to avoid the alienation from argument in dialectic with which Socrates is concerned.

A Genome-Wide Association Study Reveals Loci Influencing Height and Other Conformation Traits in Horses

The molecular analysis of genes influencing human height has been notoriously difficult. Genome-wide association studies (GWAS) for height in humans based on tens of thousands to hundreds of thousands of samples so far revealed ∼200 loci for human height explaining only 20% of the heritability. In domestic animals isolated populations with a greatly reduced genetic heterogeneity facilitate a more efficient analysis of complex traits. We performed a genome-wide association study on 1,077 Franches-Montagnes (FM) horses using ∼40,000 SNPs. Our study revealed two QTL for height at withers on chromosomes 3 and 9. The association signal on chromosome 3 is close to the LCORL/NCAPG genes. The association signal on chromosome 9 is close to the ZFAT gene. Both loci have already been shown to influence height in humans. Interestingly, there are very large intergenic regions at the association signals. The two detected QTL together explain ∼18.2% of the heritable variation of height in horses. However, another large fraction of the variance for height in horses results from ECA 1 (11.0%), although the association analysis did not reveal significantly associated SNPs on this chromosome. The QTL region on ECA 3 associated with height at withers was also significantly associated with wither height, conformation of legs, ventral border of mandible, correctness of gaits, and expression of the head. The region on ECA 9 associated with height at withers was also associated with wither height, length of croup and length of back. In addition to these two QTL regions on ECA 3 and ECA 9 we detected another QTL on ECA 6 for correctness of gaits. Our study highlights the value of domestic animal populations for the genetic analysis of complex traits.

Benchmarking the simulation of Cr isotope fractionation

A benchmark problem set consisting of four problem levels was developed for the simulation of Cr isotope fractionation in 1D and 2D domains. The benchmark is based on a recent field study where Cr(VI) reduction and accompanying Cr isotope fractionation occurs abiotically by an aqueous reaction with dissolved Fe 2+ (Wanner et al., 2012., Appl. Geochem., 27, 644–662). The problem set includes simulation of the major processes affecting the Cr isotopic composition such as the dissolution of various Cr(VI) bearing minerals, fractionation during abiotic aqueous Cr(VI) reduction, and non-fractionating precipitation of Cr(III) as sparingly soluble Cr-hydroxide. Accuracy of the presented solutions was ensured by running the problems with four well-established reactive transport modeling codes: TOUGHREACT, MIN3P, CRUNCHFLOW, and FLOTRAN. Results were also compared with an analytical Rayleigh-type fractionation model. An additional constraint on the correctness of the results was obtained by comparing output from the problem levels simulating Cr isotope fractionation with the corresponding ones only simulating bulk concentrations. For all problem levels, model to model comparisons showed excellent agreement, suggesting that for the tested geochemical processes any code is capable of accurately simulating the fate of individual Cr isotopes.

Time-order errors and standard-position effects in duration discrimination: An experimental study and an analysis by the sensation-weighting model

Studies have shown that the discriminability of successive time intervals depends on the presentation order of the standard (St) and the comparison (Co) stimuli. Also, this order affects the point of subjective equality. The first effect is here called the standard-position effect (SPE); the latter is known as the time-order error. In the present study, we investigated how these two effects vary across interval types and standard durations, using Hellström’s sensation-weighting model to describe the results and relate them to stimulus comparison mechanisms. In Experiment 1, four modes of interval presentation were used, factorially combining interval type (filled, empty) and sensory modality (auditory, visual). For each mode, two presentation orders (St–Co, Co–St) and two standard durations (100 ms, 1,000 ms) were used; half of the participants received correctness feedback, and half of them did not. The interstimulus interval was 900 ms. The SPEs were negative (i.e., a smaller difference limen for St–Co than for Co–St), except for the filled-auditory and empty-visual 100-ms standards, for which a positive effect was obtained. In Experiment 2, duration discrimination was investigated for filled auditory intervals with four standards between 100 and 1,000 ms, an interstimulus interval of 900 ms, and no feedback. Standard duration interacted with presentation order, here yielding SPEs that were negative for standards of 100 and 1,000 ms, but positive for 215 and 464 ms. Our findings indicate that the SPE can be positive as well as negative, depending on the interval type and standard duration, reflecting the relative weighting of the stimulus information, as is described by the sensation-weighting model.