Exact Unification and Admissibility

A new hierarchy of "exact" unification types is introduced, motivated by the study of admissible rules for equational classes and non-classical logics. In this setting, unifiers of identities in an equational class are preordered, not by instantiation, but rather by inclusion over the corresponding sets of unified identities. Minimal complete sets of unifiers under this new preordering always have a smaller or equal cardinality than those provided by the standard instantiation preordering, and in significant cases a dramatic reduction may be observed. In particular, the classes of distributive lattices, idempotent semigroups, and MV-algebras, which all have nullary unification type, have unitary or finitary exact type. These results are obtained via an algebraic interpretation of exact unification, inspired by Ghilardi's algebraic approach to equational unification.

Do we really need 24-h observation for patients with minimal brain injury and small intracranial bleeding? The Bernese Trauma Unit Protocol

Traumatic brain injury is one of the most common reasons for admission to hospital emergency departments. However, optimal diagnosis and treatment protocols remain controversial. The aim of this study is to assess whether a specific group of patients can be discharged from the hospital without 24-h neurological observation.

Excitability and recruitment patterns of spinal motoneurons in human sleep as assessed by F-wave recordings

This study examines the excitability and recruitment of spinal motoneurons in human sleep. The main objective was to assess whether supraspinal inhibition affects the different subpopulations of the compound spinal motoneuron pool in the same way or rather in a selective fashion in the various sleep stages. To this end, we studied F-conduction velocities (FCV) and F-tacheodispersion alongside F-amplitudes and F-persistence in 22 healthy subjects in sleep stages N2, N3 (slow-wave sleep), REM and in wakefulness. Stimuli were delivered on the ulnar nerve, and F-waves were recorded from the first dorsal interosseus muscle. Repeated sets of stimuli were stored to obtain at least 15 F-waves for each state of vigilance. F-tacheodispersion was calculated based on FCVs using the modified Kimura formula. Confirming the only previous study, excitability of spinal motoneurons was generally decreased in all sleep stages compared with wakefulness as indicated by significantly reduced F-persistence and F-amplitudes. More importantly, F-tacheodispersion showed a narrowed range of FCV in all sleep stages, most prominently in REM. In non-REM, this narrowed range was associated with a shift towards significantly decreased maximal FCV and mean FCV as well as with a trend towards lower minimal FCV. In REM, the lowering of mean FCV was even more pronounced, but contrary to non-REM sleep without a shift of minimal and maximal FCV. Variations in F-tacheodispersion between sleep stages suggest that different supraspinal inhibitory neuronal circuits acting on the spinal motoneuron pool may contribute to muscle hypotonia in human non-REM sleep and to atonia in REM sleep.

Structural differences between the bladder dome and trigone revealed by mRNA expression analysis of cold-cut biopsies

To establish the mRNA expression profiles of selected genes involved in bladder contractility and epithelial permeability in the bladder dome and trigone in order to evaluate the use of cold-cut biopsies for comparative quantitative studies into the anatomical differences between these two bladder regions.