An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction

23 p. -- An extended abstract of this work appears in the proceedings of the 2012 ACM/IEEE Symposium on Logic in Computer Science

Beyond Q-Resolution and Prenex Form: a Proof System for Quantified Constraint Satisfaction

We consider the quanti fied constraint satisfaction problem (QCSP) which is to decide, given a structure and a first-order sentence (not assumed here to be in prenex form) built from conjunction and quanti fication, whether or not the sentence is true on the structure. We present a proof system for certifying the falsity of QCSP instances and develop its basic theory; for instance, we provide an algorithmic interpretation of its behavior. Our proof system places the established Q-resolution proof system in a broader context, and also allows us to derive QCSP tractability results.

Analysis of the Response Speed of Musculature of the Knee in Professional Male and Female Volleyball Players

The aim of this study was to evaluate the normalized response speed (Vrn) of the knee musculature (flexor and extensor) in high competitive level volleyball players using tensiomyography (TMG) and to analyze the muscular response of the vastus medialis (VM), rectus femoris (RF), vastus lateralis (VL), and biceps femoris (BF) in accordance with the specific position they play in their teams. One hundred and sixty-six players (83 women and 83 men) were evaluated. They belonged to eight teams in the Spanish women's superleague and eight in the Spanish men's superleague. The use of Vrn allows avoiding possible sample imbalances due to anatomical and functional differences and demands. We found differences between Vrn in each of the muscles responsible for extension (VM, RF, and VL) and flexion (BF) regardless of the sex. Normalized response speed differences seem to be larger in setters, liberos and outside players compared to middle blockers and larger in males when compared to females. These results of Vrn might respond to the differences in the physical and technical demands of each specific position, showing an improved balance response of the knee extensor and flexor musculature in male professional volleyball players.