A Note on the Use of Sum in the Logic of Proofs

The Logic of Proofs~LP, introduced by Artemov, encodes the same reasoning as the modal logic~S4 using proofs explicitly present in the language. In particular, Artemov showed that three operations on proofs (application~$\cdot$, positive introspection~!, and sum~+) are sufficient to mimic provability concealed in S4~modality. While the first two operations go back to G{\"o}del, the exact role of~+ remained somewhat unclear. In particular, it was not known whether the other two operations are sufficient by themselves. We provide a positive answer to this question under a very weak restriction on the axiomatization of LP.

Two cases of trisomy 16 mosaicism ascertained postnatally

Postnatally ascertained trisomy 16 mosaicism is a rare diagnosis, with only three reported cases to date with no defined clinical phenotype. Trisomy 16 mosaicism diagnosed prenatally is common and associated with variable pregnancy outcomes ranging from stillbirth with multiple congenital abnormalities to an apparently normal newborn, making the genetic counseling very challenging. It is not clear whether uniparental disomy (UPD) 16 contributes to the phenotype, although it has been suggested that maternal UPD 16 affects the rate of intra-uterine growth retardation (IUGR) and congenital anomalies. We report on two further cases of trisomy 16 mosaicism confined to fibroblasts diagnosed postnatally. Patient 1 presented at birth with severe hypospadias, unilateral postaxial polydactyly, and different hair color with midline demarcation. His growth and development were normal at 11 months of age. Patient 2 was born with IUGR, significant craniofacial and body asymmetry, asymmetric skin hyperpigmentation, unilateral hearing loss, scoliosis, VSD, unexplained dilated cardiomyopathy, feeding difficulties, failure to thrive, and recurrent respiratory tract infections. She died at 7 months of age from respiratory failure. These two further cases of postnatally diagnosed trisomy 16 mosaicism highlight the variability of clinical features and outcome in this diagnosis. While Patient 2 presented with typical features of chromosomal mosaicism, Patient 1 had mild and transient features with essentially normal outcome, suggesting that trisomy 16 mosaicism may be under-diagnosed.

[Heterogeneity of costs and performance for penetrating eye injuries and suturing amniotic membranes under DRG conditions : Analysis of case constellations of the G-DRG C01B of the Regensburg University eye clinic]

Patients with penetrating eye injuries are a very heterogeneous group both medically and economically. Since 2009, treatment involving sutures for open eye injuries and cases requiring amniotic membrane transplantation (AMT) were allocated to DRG C01B of the German diagnosis-related group system. However, given the significant clinical differences between these treatments, an inhomogeneity of costs to performance is postulated. This analysis describes case allocation problems within the G-DRG C01B category and presents solutions.

Colonization history of the Swiss Rhine basin by the bullhead (Cottus gobio): inference under a Bayesian spatially explicit framework

The present distribution of freshwater fish in the Alpine region has been strongly affected by colonization events occurring after the last glacial maximum (LGM), some 20,000 years ago. We use here a spatially explicit simulation framework to model and better understand their colonization dynamics in the Swiss Rhine basin. This approach is applied to the European bullhead (Cottus gobio), which is an ideal model organism to study fish past demographic processes since it has not been managed by humans. The molecular diversity of eight sampled populations is simulated and compared to observed data at six microsatellite loci under an approximate Bayesian computation framework to estimate the parameters of the colonization process. Our demographic estimates fit well with current knowledge about the biology of this species, but they suggest that the Swiss Rhine basin was colonized very recently, after the Younger Dryas some 6600 years ago. We discuss the implication of this result, as well as the strengths and limits of the spatially explicit approach coupled to the approximate Bayesian computation framework.

Equine parasite control under prescription-only conditions in Denmark - Awareness, knowledge, perception, and strategies applied.

Due to widespread development of anthelmintic resistance in equine parasites, recommendations for their control are currently undergoing marked changes with a shift of emphasis toward more coprological surveillance and reduced treatment intensity. Denmark was the first nation to introduce prescription-only restrictions of anthelmintic drugs in 1999, but other European countries have implemented similar legislations over recent years. A questionnaire survey was performed in 2008 among Danish horse owners to provide a current status of practices and perceptions with relation to parasite control. Questions aimed at describing the current use of coprological surveillance and resulting anthelmintic treatment intensities, evaluating knowledge and perceptions about the importance of various attributes of parasite control, and assessing respondents' willingness to pay for advice and parasite surveillance services from their veterinarians. A total of 1060 respondents completed the questionnaire. A large majority of respondents (71.9%) were familiar with the concept of selective therapy. Results illustrated that the respondents' self-evaluation of their knowledge about parasites and their control associated significantly with their level of interest in the topic and their type of education (P<0.0001). The large majority of respondents either dewormed their horses twice a year and/or performed two fecal egg counts per horse per year. This approach was almost equally pronounced in foals, horses aged 1-3 years old, and adult horses. The respondents rated prevention of parasitic disease and prevention of drug resistance as the most important attributes, while cost and frequent fecal testing were rated least important. Respondents' actual spending on parasite control per horse in the previous year correlated significantly with the amount they declared themselves willing to spend (P<0.0001). However, 44.4% declared themselves willing to pay more than what they were spending. Altogether, results indicate that respondents were generally familiar with equine parasites and the concept of selective therapy, although there was some confusion over the terms small and large strongyles. They used a large degree of fecal surveillance in all age groups, with a majority of respondents sampling and/or treating around twice a year. Finally, respondents appeared willing to spend money on parasite control for their horses. It is of concern that the survey suggested that foals and young horses are treated in a manner very similar to adult horses, which is against current recommendations. Thus, the survey illustrates the importance of clear communication of guidelines for equine parasite control.

Evolution of dominance under frequency-dependent intraspecific competition

A population-genetic analysis is performed of a two-locus two-allele model, in which the primary locus has a major effect on a quantitative trait that is under frequency-dependent disruptive selection caused by intraspecific competition for a continuum of resources. The modifier locus determines the degree of dominance at the trait level. We establish the conditions when a modifier allele can invade and when it becomes fixed if sufficiently frequent. In general, these are not equivalent because an unstable internal equilibrium may exist and the condition for successful invasion of the modifier is more restrictive than that for eventual fixation from already high frequency. However, successful invasion implies global fixation, i.e., fixation from any initial condition. Modifiers of large effect can become fixed, and also invade, in a wider parameter range than modifiers of small effect. We also study modifiers with a direct, frequency-independent deleterious fitness effect. We show that they can invade if they induce a sufficiently high level of dominance and if disruptive selection on the ecological trait is strong enough. For deleterious modifiers, successful invasion no longer implies global fixation because they can become stuck at an intermediate frequency due to a stable internal equilibrium. Although the conditions for invasion and for fixation if sufficiently frequent are independent of the linkage relation between the two loci, the rate of spread depends strongly on it. The present study provides further support to the view that evolution of dominance may be an efficient mechanism to remove unfit heterozygotes that are maintained by balancing selection. It also demonstrates that an invasion analysis of mutants of very small effect is insufficient to obtain a full understanding of the evolutionary dynamics under frequency-dependent selection.

Analytical thinking under distrust - better not to know that one distrusts

It is widely known that people utter an untruth from time to time. Our ability to detect and recognize deception and lies and, in the next step, to respond appropriately is not very far-reaching. We were interested in finding out if distrust triggers non-routine, analytical thought processes and therefore improves the detection of lies without dismissing the truth. We conducted two experiments to investigate the influence of an unconscious form of distrust on our thought processes. In the first experiment, participants had to determine whether a report is truthful or false. The aim of this second experiment was to investigate if this enhanced ability to detect a falsified report correctly is based on analytical thinking taking place. To examine our assumptions, we applied the paradigm of belief bias. The results of the second experiments strongly point out the fact that an unconscious form of distrust triggers and fosters analytical thinking.

Determination of Δ9-tetrahydrocannabinolic acid A (Δ9-THCA-A) in whole blood and plasma by LC–MS/MS and application in authentic samples from drivers suspected of driving under the influence of cannabis

Delta-9-tetrahydrocannabinolic acid A (THCA-A) is the biosynthetic precursor of delta-9-tetrahydrocannabinol (THC) in cannabis plants, and has no psychotropic effects. THCA-A can be detected in blood and urine, and several metabolites have been identified. THCA-A was also shown to be incorporated in hair by side stream smoke to a minor extent, but incorporation via blood stream or sweat seems unlikely. The detection of THCA-A in biological fluids may serve as a marker for differentiating between the intake of prescribed THC medication – containing only pure THC – and cannabis products containing THC besides THC-acid A and other cannabinoids. However, the knowledge about its usefulness in forensic cases is very limited. The aim of the present work was the development of a reliable method for THCA-A determination in human blood or plasma using LC–MS/MS and application to cases of driving under the influence of drugs. Fifty eight (58) authentic whole blood and the respective plasma samples were collected from drivers suspected of driving under the influence of cannabis from the region of Bern (Switzerland). Samples were first tested for THC, 11-OH-THC and THC-COOH, and then additionally for THCA-A. For this purpose, the existing LC–MS/MS method was modified and validated, and found to be selective and linear over a range of 1.0 to 200 ng/mL (the correlation coefficients were above 0.9980 in all validation runs). Limit of detection (LOD) and limit of quantification (LOQ) were 0.3 ng/mL and 1.0 ng/mL respectively. Intra- and inter-assay accuracy were equal or better than 90% and intra- and inter-assay precision were equal or better than 11.1%. The mean extraction efficiencies were satisfactory being equal or higher than 85.4%. THCA-A was stable in whole blood samples after 3 freeze/thaw cycles and storage at 4 °C for 7 days. Re-injection (autosampler) stability was also satisfactory. THC was present in all blood samples with levels ranging from 0.7 to 51 ng/mL. THCA-A concentrations ranged from 1.0 to 496 ng/mL in blood samples and from 1.4 to 824 ng/mL in plasma samples. The plasma:blood partition coefficient had a mean value of 1.7 (±0.21, SD). No correlation was found between the degree of intoxication or impairment stated in the police protocols or reports of medical examinations and the detected THCA-A-concentration in blood.

Optical properties of rabbit brain in the red and near-infrared: changes observed under in vivo, postmortem, frozen, and formalin-fixated conditions.

The outcome of light-based therapeutic approaches depends on light propagation in biological tissues, which is governed by their optical properties. The objective of this study was to quantify optical properties of brain tissue in vivo and postmortem and assess changes due to tissue handling postmortem. The study was carried out on eight female New Zealand white rabbits. The local fluence rate was measured in the VIS/NIR range in the brain in vivo, just postmortem, and after six weeks’ storage of the head at −20∘C or in 10% formaldehyde solution. Only minimal changes in the effective attenuation coefficient μeff were observed for two methods of sacrifice, exsanguination or injection of KCl. Under all tissue conditions, μeff decreased with increasing wavelengths. After long-term storage for six weeks at −20∘C, μeff decreased, on average, by 15 to 25% at all wavelengths, while it increased by 5 to 15% at all wavelengths after storage in formaldehyde. We demonstrated that μeff was not very sensitive to the method of animal sacrifice, that tissue freezing significantly altered tissue optical properties, and that formalin fixation might affect the tissue’s optical properties.

Competitive fitness in coronaviruses is not correlated with size or number of double-membrane vesicles under reduced-temperature growth conditions.

Positive-stranded viruses synthesize their RNA in membrane-bound organelles, but it is not clear how this benefits the virus or the host. For coronaviruses, these organelles take the form of double-membrane vesicles (DMVs) interconnected by a convoluted membrane network. We used electron microscopy to identify murine coronaviruses with mutations in nsp3 and nsp14 that replicated normally while producing only half the normal amount of DMVs under low-temperature growth conditions. Viruses with mutations in nsp5 and nsp16 produced small DMVs but also replicated normally. Quantitative reverse transcriptase PCR (RT-PCR) confirmed that the most strongly affected of these, the nsp3 mutant, produced more viral RNA than wild-type virus. Competitive growth assays were carried out in both continuous and primary cells to better understand the contribution of DMVs to viral fitness. Surprisingly, several viruses that produced fewer or smaller DMVs showed a higher fitness than wild-type virus at the reduced temperature, suggesting that larger and more numerous DMVs do not necessarily confer a competitive advantage in primary or continuous cell culture. For the first time, this directly demonstrates that replication and organelle formation may be, at least in part, studied separately during infection with positive-stranded RNA virus. IMPORTANCE The viruses that cause severe acute respiratory syndrome (SARS), poliomyelitis, and hepatitis C all replicate in double-membrane vesicles (DMVs). The big question about DMVs is why they exist in the first place. In this study, we looked at thousands of infected cells and identified two coronavirus mutants that made half as many organelles as normal and two others that made typical numbers but smaller organelles. Despite differences in DMV size and number, all four mutants replicated as efficiently as wild-type virus. To better understand the relative importance of replicative organelles, we carried out competitive fitness experiments. None of these viruses was found to be significantly less fit than wild-type, and two were actually fitter in tests in two kinds of cells. This suggests that viruses have evolved to have tremendous plasticity in the ability to form membrane-associated replication complexes and that large and numerous DMVs are not exclusively associated with efficient coronavirus replication.

Can ancient colour polymorphisms explain why some cichlid lineages speciate rapidly under disruptive sexual selection?

It is not sufficiently understood why some lineages of cichlid fishes have proliferated in the Great Lakes of East Africa much more than anywhere else in the world, and much faster than other cichlid lineages or any other group of freshwater fish. Recent field and experimental work on Lake Victoria haplochromines suggests that mate choice-mediated disruptive sexual selection on coloration, that can cause speciation even in the absence of geographical isolation, may explain it. We summarize the evidence and propose a hypothesis for the genetics of coloration that may help understand the phenomenon. By detl ning colour patterns by hue and arrangement of hues on the body, we could assign almost all observed phenotypes of Lake Victoria cichlids to one of three female («plain», «orange blotched», «black and white») and three male («blue», «red-ventrum», «reddorsum») colour patterns. These patterns diagnose species but frequently eo-occur also as morphs within the same population, where they are associated with variation in mate preferences, and appear to be transient stages in speciation. Particularly the male patterns occur in almost every genus of the species flock. We propose that the patterns and their association into polymorphisms express an ancestral trait that is retained across speciation. Our model for male colour pattern assumes two structural loci. When both are switched off, the body is blue. When switched on by a cascade of polymorphic regulatory genes, one expresses a yellow to red ventrum, the other one a yellow to red dorsum. The expression of colour variation initiates speciation. The blue daughter species will inherit the variation at the regulatory genes that can, without new mutational events, purely by recombination, again expose the colour polymorphism, starting the process anew. Very similar colour patterns also dominate among the Mbuna of Lake Malawi. In contrast, similar colour polymorphisms do not exist in the lineages that have not proliferated in the Great Lakes. The colour pattern polymorphism may be an ancient trait in the lineage (or lineages) that gave rise to the two large haplochromine radiations. We propose two tests of our hypothesis.

Challenges in the participatory assessment of sustainable management practices in dryland ecosystems under regime shifts

Regime shifts, defined as a radical and persistent reconfiguration of an ecosystem following a disturbance, have been acknowledged by scientists as a very important aspect of the dynamic of ecosystems. However, their consideration in land management planning remains marginal and limited to specific processes and systems. Current research focuses on mathematical modeling and statistical analysis of spatio-temporal data for specific environmental variables. These methods do not fulfill the needs of land managers, who are confronted with a multitude of processes and pressure types and require clear and simple strategies to prevent regime shift or to increase the resilience of their environment. The EU-FP7 CASCADE project is looking at regime shifts of dryland ecosystems in southern Europe and specifically focuses on rangeland and forest systems which are prone to various land degradation threats. One of the aims of the project is to evaluate the impact of different management practices on the dynamic of the environment in a participatory manner, including a multi-stakeholder evaluation of the state of the environment and of the management potential. To achieve this objective we have organized several stakeholder meetings and we have compiled a review of management practices using the WOCAT methodology, which enables merging scientific and land users knowledge. We highlight here the main challenges we have encountered in applying the notion of regime shift to real world socio-ecological systems and in translating related concepts such as tipping points, stable states, hysteresis and resilience to land managers, using concrete examples from CASCADE study sites. Secondly, we explore the advantages of including land users’ knowledge in the scientific understanding of regime shifts. Moreover, we discuss useful alternative concepts and lessons learnt that will allow us to build a participatory method for the assessment of resilient management practices in specific socio-ecological systems and to foster adaptive dryland management.

Clinical evaluation of ketamine and lidocaine intravenous infusions to reduce isoflurane requirements in horses under general anaesthesia

OBJECTIVE To compare isoflurane alone or in combination with systemic ketamine and lidocaine for general anaesthesia in horses. STUDY DESIGN Prospective, randomized, blinded clinical trial. ANIMALS Forty horses (ASA I-III) undergoing elective surgery. METHODS Horses were assigned to receive isoflurane anaesthesia alone (ISO) or with ketamine and lidocaine (LKI). After receiving romifidine, diazepam, and ketamine, the isoflurane end-tidal concentration was set at 1.3% and subsequently adjusted by the anaesthetist (unaware of treatments) to maintain a light plane of surgical anaesthesia. Animals in the LKI group received lidocaine (1.5 mg kg(-1) over 10 minutes, followed by 40 microg kg(-1) minute(-1)) and ketamine (60 microg kg(-1) minute(-1)), both reduced to 65% of the initial dose after 50 minutes, and stopped 15 minutes before the end of anaesthesia. Standard clinical cardiovascular and respiratory parameters were monitored. Recovery quality was scored from one (very good) to five (very poor). Differences between ISO and LKI groups were analysed with a two-sample t-test for parametric data or a Fischer's exact test for proportions (p < 0.05 for significance). Results are mean +/- SD. RESULTS Heart rate was lower (p = 0.001) for LKI (29 +/- 4) than for ISO (34 +/- 6). End-tidal concentrations of isoflurane (ISO: 1.57% +/- 0.22; LKI: 0.97% +/- 0.33), the number of horses requiring thiopental (ISO: 10; LKI: 2) or dobutamine (ISO:8; LKI:3), and dobutamine infusion rates (ISO:0.26 +/- 0.09; LKI:0.18 +/- 0.06 microg kg(-1) minute(-1)) were significantly lower in LKI compared to the ISO group (p < 0.001). No other significant differences were found, including recovery scores. CONCLUSIONS AND CLINICAL RELEVANCE These results support the use of lidocaine and ketamine to improve anaesthetic and cardiovascular stability during isoflurane anaesthesia lasting up to 2 hours in mechanically ventilated horses, with comparable quality of recovery.

Synchronous carotid and coronary bypass surgery using minimal extracorporeal circulation does not increase the risk of in-hospital stroke compared to isolated carotid endarterectomy under general anaesthesia

Gebiet: Chirurgie Abstract: Introduction: Carotid endarterectomy (CEA) and coronary artery bypass grafting (CABG) could be approached in a combined or a staged fashion. Some crucial studies have shown no significant difference in peri-operative stroke and death rate in combined versus staged CEA/CABG. At present conventional extracorporeal circulation (CECC) is regarded as the gold standard for performing on-pump coronary artery bypass grafting. On contrary, the use of minimized extracorporeal circulation (MECC) for CABG diminishes hemodilution, blood-air contact, foreign surface contact and inflammatory response. At the same time, general anaesthesia (GA) is a potential risk factor for higher perioperative stroke rate after isolated CEA, not only for the ipsilateral but also for the contralateral side especially in case of contralateral high-grade stenosis or occlusion. The aim of the study was to analyze if synchronous CEA/CABG using MECC (CEA/CABG group) allows reducing the perioperative stroke risk to the level of isolated CEA performed under GA (CEA-GA group). – Methods: A retrospective analysis of all patients who underwent CEA at our institution between January 2005 and December 2012 was performed. We compared outcomes between all patients undergoing CEA/CABG to all isolated CEA-GA during the same time period. The CEA/CABG group was additionally compared to a reference group consisting of patients undergoing isolated CEA in local anaesthesia. Primary outcome was in-hospital stroke. – Results: A total of 367 CEAs were performed, from which 46 patients were excluded having either off-pump CABG or other cardiac surgery procedures than CABG combined with CEA. Out of 321 patients, 74 were in the CEA/CABG and 64 in the CEA-GA group. There was a significantly higher rate of symptomatic stenoses among patients in the CEA-GA group (p<0.002). Three (4.1%) strokes in the CEA/CABG group were registered, two ipsilateral (2.7%) and one contralateral (1.4%) to the operated side. In the CEA-GA group 2 ipsilateral strokes (3.1%) occurred. No difference was noticed between the groups (p=1.000). One patient with stroke in each group had a symptomatic stenosis preoperatively. – Conclusions: Outcome with regard to mortality and neurologic injury is very good in both -patients undergoing CEA alone as well as patients undergoing synchronous CEA and CABG using the MECC system. Although the CEA/CABG group showed slightly increased risk of stroke, it can be considered as combined treatment in particular clinical situations.