[Purpose] The purpose of this study was to investigate activities of the hip extensors and erector spinae during bridging exercise by using instruments with a laser pointer on the pelvic belt. [Subjects] Twelve subjects (age, 23 to 33 years) with non-specific low back pain volunteered for this study. [Methods] Subjects performed bridging exercises with and without trajectory exercises by using ...

We propose a novel notion of pointer race for concurrent programs manipulating a shared heap. A pointer race is an access to a memory address which was freed, and it is out of the accessor’s control whether or not the cell has been re-allocated. We establish two results. (1) Under the assumption of pointer race freedom, it is sound to verify a program running under explicit memory management as...

Alpha operating system, version 7.0, has vastly increased the amount of virtual address space available for application use. At the same time, fully compatible support for applications that use only 32-bit addresses (also called pointers) has been preserved. An application that mixes 32-bit and 64-bit pointer sizes operates in a mixed pointer size environment. Mixed pointer size applications we...

After eight years of development and application, the ARINC Research Corporation System Testability and Maintenance Program (STAMP@) has been expanded to provide a portable, intelligent, interactive diagnostic tool-the portable interactive troubleshooter (POINTER). POINTER is an artificially intelligent, portable maintenance aid that utilizes the STAMP system model, test choice, and inference a...

We describe an approach for unsupervised learning of a generic, distributed sentence encoder. Using the continuity of text from books, we train an encoderdecoder model that tries to reconstruct the surrounding sentences of an encoded passage. Sentences that share semantic and syntactic properties are thus mapped to similar vector representations. We next introduce a simple vocabulary expansion ...

In a 2004 paper, Totaro asked whether a G-torsor X that has a zero-cycle of degree d > 0 will necessarily have a closed étale point of degree dividing d, where G is a connected algebraic group. This question is closely related to several conjectures regarding exceptional algebraic groups. Totaro gave a positive answer to his question in the following cases: G simple, split, and of type G2, type...