The COCOLOG system is a partially ordered family of rst order logical theories that describe the controlled evolution of the state of a given partially observered nite machine M. Following the review of the general theory of COCOLOG, the notion of Markovian fragments MTh k ,k 1, of full COCOLOG theories Th k is presented. These fragments enjoy the property of having axiom set of xed size over t...

A timing system was constructed for Accelerator Test Facility(ATF) for future linear collider R&D at KEK. The operation of the ATF has several features, for example, multi-bunch acceleration, delta-f energy compensation, multi-train storage, etc.. The timing system provides synchronized reference signals and trigger signals for each hardware. To keep stable phase relationships at each component...

purpose : to evaluate the efficacy of pattern visual evoked potentials (pvep), standard automated perimetry (sap), short-wavelength automated perimetry (swap), contrast sensitivity (cs), stereoacuity testing in detecting subclinical visual impairment in visually asymptomatic patients with multiple sclerosis (ms) and no history of optic neuritis methods : twenty-seven eyes of 27 patients (7 male...