An anaerobic culture capable of dechlorinating polychlorinated biphenyls was subcultured under strict anaerobic conditions on solid media containing sterilized river sediment. The dechlorination activity was transferred as a bacterial colony on a solid medium three times. After two transfers on solid medium, the culture was no longer methanogenic but still dechlorinated a mixture of tri- and te...

Background. The evidence indicates that physical activity increases memory and ability to learn in human and animal. That is to say, the brain remarkably responds to exercise. Objectives. The purpose of this study is to investigate the effect and comparison of anaerobic and aerobic exercise on memory. Methods. In this study, ninety male students were randomly divided into three equal gr...

In the first exercise series you are requested to experiment with the model checker Spin. Spin is installed on the practicum SUN machines. We recommend to use the compute server demeter via remote login. To get things running, you should use this little shell script: #!/bin/sh

[Purpose] The purpose of the present study was to examine the effects of cervical stabilization exercises on the electromyographic activity of the shoulder stabilizers in normal adults. [Subjects] In the present study, 20 normal adults were divided into an experimental group (EG, n=10) that performed cervical stabilization exercises and shoulder stabilization exercises and a control group (CG, ...

One of the most basic tools in the theory of automorphic forms is the truncation operator, first defined in [Langlands: 1966] but elaborated in later work of Jim Arthur (particularly [Arthur: 1978] and [Arthur: 1980]). In spite of its fundamental nature, there are many mysteries about it. In this article I’ll not dispel many of these, but I’ll at least motivate its definition by relating it to ...

(a) Consider a random assignment α where every variable is set independently and with probability 12 to either 0 or 1. The probability that a 3-clause is not satis ed by α is 1 8 , which is the case when all its literals evaluate to zero. Therefore, the probability that a clause is satis ed is 1− 18 = 7 8 . Let Xi be the indicator variable for the event that clause i is satis ed by the random a...