Proof theory of quantified modal logics

We introduce labelled sequent calculi for indexed modal logics. We prove that the structural rules of weakening and contraction are height-preserving admissible, that all rules are invertible, and that cut is admissible. Then we prove that each calculus introduced is sound and complete with respect to the appropriate class of transition frames.

Spectral theory of differential operators on finite metric graphs and on bounded domains

Die vorliegende Arbeit widmet sich der Spektraltheorie von Differentialoperatoren auf metrischen Graphen und von indefiniten Differentialoperatoren auf beschränkten Gebieten. Sie besteht aus zwei Teilen. Im Ersten werden endliche, nicht notwendigerweise kompakte, metrische Graphen und die Hilberträume von quadratintegrierbaren Funktionen auf diesen betrachtet. Alle quasi-m-akkretiven Laplaceoperatoren auf solchen Graphen werden charakterisiert, und Abschätzungen an die negativen Eigenwerte selbstadjungierter Laplaceoperatoren werden hergeleitet. Weiterhin wird die Wohlgestelltheit eines gemischten Diffusions- und Transportproblems auf kompakten Graphen durch die Anwendung von Halbgruppenmethoden untersucht. Eine Verallgemeinerung des indefiniten Operators $-tfrac{d}{dx}sgn(x)tfrac{d}{dx}$ von Intervallen auf metrische Graphen wird eingeführt. Die Spektral- und Streutheorie der selbstadjungierten Realisierungen wird detailliert besprochen. Im zweiten Teil der Arbeit werden Operatoren untersucht, die mit indefiniten Formen der Art $langlegrad v, A(cdot)grad urangle$ mit $u,vin H_0^1(Omega)subset L^2(Omega)$ und $OmegasubsetR^d$ beschränkt, assoziiert sind. Das Eigenwertverhalten entspricht in Dimension $d=1$ einer verallgemeinerten Weylschen Asymptotik und für $dgeq 2$ werden Abschätzungen an die Eigenwerte bewiesen. Die Frage, wann indefinite Formmethoden für Dimensionen $dgeq 2$ anwendbar sind, bleibt offen und wird diskutiert.

Effect of Population Heterogenization on the Reproducibility of Mouse Behavior: A Multi-Laboratory Study

In animal experiments, animals, husbandry and test procedures are traditionally standardized to maximize test sensitivity and minimize animal use, assuming that this will also guarantee reproducibility. However, by reducing within-experiment variation, standardization may limit inference to the specific experimental conditions. Indeed, we have recently shown in mice that standardization may generate spurious results in behavioral tests, accounting for poor reproducibility, and that this can be avoided by population heterogenization through systematic variation of experimental conditions. Here, we examined whether a simple form of heterogenization effectively improves reproducibility of test results in a multi-laboratory situation. Each of six laboratories independently ordered 64 female mice of two inbred strains (C57BL/6NCrl, DBA/2NCrl) and examined them for strain differences in five commonly used behavioral tests under two different experimental designs. In the standardized design, experimental conditions were standardized as much as possible in each laboratory, while they were systematically varied with respect to the animals' test age and cage enrichment in the heterogenized design. Although heterogenization tended to improve reproducibility by increasing within-experiment variation relative to between-experiment variation, the effect was too weak to account for the large variation between laboratories. However, our findings confirm the potential of systematic heterogenization for improving reproducibility of animal experiments and highlight the need for effective and practicable heterogenization strategies.

The contexts of scratching behavior and postconflict behavior in squirrel monkeys (Saimiri sciureus)

Self-directed behavior (SDB), such as scratching, is a reliable indicator of emotional arousal in non-human primates. In contrast, affiliative behavior, such as social grooming, has been shown to have a calming effect in primates and reduce arousal. In order to test whether the expression of SDB was related to arousal, the scratching behavior of eight captive squirrel monkeys (Saimiri sciureus) was compared across four social contexts (huddling, proximity to others, solitary and post-conflict). In addition,rates of scratching were examined before and after affiliative behavior during the postconflict context. I tested for this effect by using the post-conflict/matched control(PC/MC) method in which post-conflict (PC) behavior of an animal is compared to thebehavior of the same animal in a baseline, nonaggressive situation or a matched control(MC). Context and associated scratching data were obtained from a total of 98 hours of focal sample data. Scratching was significantly lower while animals were huddling thanthe other two contexts. Scratching rates while solitary were significantly higher than those occurring while animals were in proximity. Scratching was also higher in PC than MC. Following conflict, animals were significantly more likely to make contact withthird parties not involved in aggression. Most of these (79%) were a third party approaching a combatant. Further, scratching rates decreased following post-conflict third party contacts and the decrease was not due to a general decrease in scratching thatmight have been occurring after the aggressive interaction. Huddling behavior appears to reduce arousal in squirrel monkeys and may act as a tension-reduction mechanism. The elevated scratching in the solitary context may suggest that squirrel monkeys may be engaged in activities while solitary, such as vigilant behavior that may increase arousal. The third party post conflict affiliative contacts observed were the first such interactions observed in squirrel monkeys. The fact that these third contacts reduced scratching ratesin the combatants indicates that 'consolation' may have been demonstrated in this species. The overall pattern of results suggested that scratching was reliable behavioral indicator of anxiety in squirrel monkeys. These results indicate that overt behavior can be used to assess emotional states in this and other species, acting as a mediator to understanding how emotions regulate social behavior.