Static and dynamic type systems have well-known strengths and weaknesses. In previous work we developed a gradual type system for a functional calculus named λ→. Gradual typing provides the benefits of both static and dynamic checking in a single language by allowing the programmer to control whether a portion of the program is type checked at compile-time or run-time by adding or removing type...

This study constructs multi-item scales to measure key components of JIT production and manufacturing strategy and examines the relationship between them, and the impact of manufacturing strategy on JIT performance for machinery, electrical & electronics and automobile industries in Japan, USA, and Italy. JIT production scales include JIT schedule, JIT layout, JIT delivery by suppliers, JIT lin...

spinal cord injury (sci) is damage to spinal cord, which is categorized according to the extent of functional loss, sensation loss and inability of the subjects to stand and walk. the patients use two transportation systems including orthosis and wheelchair. it was claimed that standing and walking bring some benefits such as decreasing bone osteoporosis, prevention of pressure sores, and impro...

The current study directly surveyed consumers on their experiences and consideration of medical tourism to test the variables thought to impact medical tourism. The sample was deployed to qSample's international traveler panel. The survey was completed by 68.5% of participants. Over a third of the respondents said they had considered medical tourism; 15% had actually traveled to another country...

The nomenclature. development of the Phanerozoic rock units mentioned in the stratigraphic lexicon of Yemen is revised. Forms violating the nomenclature rules are corrected in accordance with the nternational rules of the stratigraphic nomenclature. The concerned forms are categorized as: informally introduced, dropped, named or re-named units, all of these categories are discussed in detail.