Effects of muscle immobilization at different lengths on tetrodotoxin-induced disuse atrophy

Previous studies have shown that immobilization causes muscle atrophy and that the rate of atrophy depends on the length at which the muscle is immobilized. However, most studies have been carried out in neurologically intact animals that were capable of generating at least some voluntary muscle activation. In this study, terrodotoxin was applied chronically to the rat sciatic nerve to produce complete paralysis of distal muscles for seven days, and the ankle was immobilized to hold the muscles at long or short lengths. Paralysis without immobilization resulted in relative weight losses of 36% for soleus, 19% for tibialis anterior (TA), and 17% for lateral gastrocnemius (LG) muscles. Casting the ankle in plantarflexion stretched TA and reduced its weight loss to 10%. Soleus and LG were shortened by this intervention and had increased losses of 43% and 28%, respectively. Fixing the limb in dorsiflexion resulted in a posture similar to that adopted by the unrestrained rats and had no significant effect on the amount of muscle atrophy compared to that in unrestrained paralyzed animals.     

BCI Meeting 2005--workshop on signals and recording methods.

This paper describes the highlights of presentations and discussions during the Third International BCI Meeting in a workshop that evaluated potential brain-computer interface (BCI) signals and currently available recording methods. It defined the main potential user populations and their needs, addressed the relative advantages and disadvantages of noninvasive and implanted (i.e., invasive) methodologies, considered ethical issues, and focused on the challenges involved in translating BCI systems from the laboratory to widespread clinical use. The workshop stressed the critical importance of developing useful applications that establish the practical value of BCI technology.     

An algorithm for bit-skew correction in byte-wide WDM optical fibersystems

Some objectives for a bit-skew correction system are presented. The properties of optical fiber transmission which allow realization of these objectives are discussed. It is shown that the bit-skew limitation due to chromatic dispersion in byte-wide wavelength division multiplexing (WDM) optical fiber systems can be corrected automatically with no prior knowledge of the fiber parameters or link length and that the full potential of such systems can be attained with circuitry which is no faster than the bit subchannel data rate. In addition, the absolute wavelengths of the sources are not required as long as the channel spacing is constant     

Deduction Graphs with Universal Quantification

Deduction Graphs are meant to generalise both Gentzen-Prawitz style natural deductions and Fitch style flag deductions. They have the structure of acyclic directed graphs with boxes. In [Herman Geuvers and Iris Loeb. Natural Deduction via Graphs: Formal Definition and Computation Rules. Mathematical Structures in Computer Science (Special Issue on Theory and Applications of Term Graph Rewriting), Volume 17(03):485–526, 2007.] we have investigated the deduction graphs for minimal proposition logic. This paper studies the extension with first-order universal quantification, showing the robustness of the concept of deduction graphs.