Tradition mit Weitsicht. Festschrift für Eugen Bucher zum 80. Geburtstag

Am 1. Juni 2009 feiert Prof. Dr. Eugen Bucher seinen 80. Geburtstag. Mit dieser Festschrift ehren Herausgeber und Autoren einen aussergewöhnlichen Menschen und einen herausragenden Juristen. Eugen Bucher hat in der zweiten Hälfte des 20. Jahrhunderts die Entwicklung des schweizerischen Privatrechts massgeblich beeinflusst. In vielen Bereichen hat er neue Denkansätze gewählt und daraus resultierende Konzepte mit Überzeugungskraft und Beharrlichkeit durchgesetzt. Die 45 Beiträge sind Ausdruck der grossen Anerkennung, die der Jubilar national und international geniesst.

Bone-marrow derived progenitor cells are associated with psychosocial determinants of health after controlling for classical biological and behavioral cardiovascular risk factors

BACKGROUND: Circulating progenitor cells have been implicated with maintaining vascular integrity. Low counts are found in adults with high cardiovascular risk and are associated with impaired endothelial function. It remains unknown whether psychosocial risk factors are independently related to counts of circulating progenitor cells. METHODS: We investigated a random sample of 468 adult industrial employees (mean age 41.2 years, 89% men) of Caucasian origin. Cardiovascular risk factors (blood pressure, LDL, HDL and C-reactive protein), health behavior (smoking, alcohol and physical exercise), psychological variables (effort-reward imbalance social support, negative affectivity) and interaction terms served as predictors of circulating progenitor cells (CD34+ CD31dim) as enumerated by flow-cytometry. FINDINGS: Psychosocial variables were independently associated with progenitor cell counts. The association with risk factors increased with age (explained variance in 18-36 year olds R(2)=0.17, p=0.55; age 36.1-46 R(2)=0.32, p=0.001; age>46 R(2)=0.27, p<0.001). Data revealed a shift from a larger association between behavioral and psychosocial variables and cell counts to a stronger association between biological variables and cell counts in older individuals. A significant interaction was observed between smoking and effort-reward imbalance in middle-aged subjects, those with both risk factors present had lower cell counts. In older employees, the interaction between biological risk factors and smoking was related to lower cell counts. INTERPRETATION: In working middle-aged and older men, psychosocial risk factors were related to circulating counts of progenitor cells. Smoking interacted negatively with psychosocial risk factors (middle-aged men) or with biological risk factors (older employees).

Light-cone Wilson loop in classical lattice gauge theory

The transverse broadening of an energetic jet passing through a non-Abelian plasma is believed to be described by the thermal expectation value of a light-cone Wilson loop. In this exploratory study, we measure the light-cone Wilson loop with classical lattice gauge theory simulations. We observe, as suggested by previous studies, that there are strong interactions already at short transverse distances, which may lead to more efficient jet quenching than in leading-order perturbation theory. We also verify that the asymptotics of the Wilson loop do not change qualitatively when crossing the light cone, which supports arguments in the literature that infrared contributions to jet quenching can be studied with dimensionally reduced simulations in the space-like domain. Finally we speculate on possibilities for full four-dimensional lattice studies of the same observable, perhaps by employing shifted boundary conditions in order to simulate ensembles boosted by an imaginary velocity.

Evaluation of control and surveillance strategies for classical swine fever using a simulation model

Classical swine fever (CSF) outbreaks can cause enormous losses in naïve pig populations. How to best minimize the economic damage and number of culled animals caused by CSF is therefore an important research area. The baseline CSF control strategy in the European Union and Switzerland consists of culling all animals in infected herds, movement restrictions for animals, material and people within a given distance to the infected herd and epidemiological tracing of transmission contacts. Additional disease control measures such as pre-emptive culling or vaccination have been recommended based on the results from several simulation models; however, these models were parameterized for areas with high animal densities. The objective of this study was to explore whether pre-emptive culling and emergency vaccination should also be recommended in low- to moderate-density areas such as Switzerland. Additionally, we studied the influence of initial outbreak conditions on outbreak severity to improve the efficiency of disease prevention and surveillance. A spatial, stochastic, individual-animal-based simulation model using all registered Swiss pig premises in 2009 (n=9770) was implemented to quantify these relationships. The model simulates within-herd and between-herd transmission (direct and indirect contacts and local area spread). By varying the four parameters (a) control measures, (b) index herd type (breeding, fattening, weaning or mixed herd), (c) detection delay for secondary cases during an outbreak and (d) contact tracing probability, 112 distinct scenarios were simulated. To assess the impact of scenarios on outbreak severity, daily transmission rates were compared between scenarios. Compared with the baseline strategy (stamping out and movement restrictions) vaccination and pre-emptive culling neither reduced outbreak size nor duration. Outbreaks starting in a herd with weaning piglets or fattening pigs caused higher losses regarding to the number of culled premises and were longer lasting than those starting in the two other index herd types. Similarly, larger transmission rates were estimated for these index herd type outbreaks. A longer detection delay resulted in more culled premises and longer duration and better transmission tracing increased the number of short outbreaks. Based on the simulation results, baseline control strategies seem sufficient to control CSF in low-medium animal-dense areas. Early detection of outbreaks is crucial and risk-based surveillance should be focused on weaning piglet and fattening pig premises.

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.