The paper studies testing based on input/output transition systems, also known as input/output automata. It is assumed that a tester can never prevent an implementation under test (IUT) from producing outputs, while the IUT does not block inputs from the tester, either. Thus, input from the tester and output from the IUT may occur simultaneously and should be queued in finite buffers between th...

New approaches have recently been developed for directly identifying genes without knowledge about their function and/or position in a genome (1–3). Among these, representational difference analysis (RDA) (2) is widely used in the detection of deleted DNA in cultured cancer cells (4). However, the procedure is complicated and time-consuming. First, preparation of the tester and the driver invol...

This paper presents a wheel–terrain interaction model, which enables efficient modeling of wheeled locomotion in soft soil and numerical simulations of off-road mobile robots. This modular model is derived based on wheel kinematics and terramechanics and the main focus is on describing the stress distributions along the wheel–terrain interface and the reaction forces exerted on the wheel by the...

Reminiscing is a positive pastime for people with dementia but little is known about selecting materials to prompt reminiscing, particularly whether personal items are more useful than generic ones. This paper reports two small studies, the first using personal stimuli (family photographs) and the second generic photographs of annual events to examine their relative effectiveness as reminiscenc...

NONLINEAR DYNAMICS OF LONGITUDINAL GROUND VEHICLE TRACTION By Brian John Olson The purpose of this study is to investigate and understand the nonlinear dynamics of longitudinal ground vehicle traction. Specifically, the performance of rubber-tired automobiles under straight-ahead braking and acceleration conditions is discussed in detail. Two vehicle-traction models are considered—a quarter-car...

BACKGROUND Double bundle ACL reconstruction has been demonstrated to decrease rotational knee laxity. However, there is no simple, commercially-available device to measure knee rotation. The investigators developed a simple, non-invasive device to measure knee rotation. In conjunction with a rigid boot to rotate the tibia and a force/moment sensor to allow precise determination of torque about ...

The tribological behavior of Ni-based WC-Co coatings is analyzed. were deposited on gray cast iron substrates in a spray and fuse process using SuperJet Eutalloy deposition equipment, varying the oxygen flow conditions flame. crystallographic structure was characterized via X-ray diffraction (XRD) technique. microhardness measured surface cross sections by means Knoop tester. topography morphol...

We analyzed phonological and visual information processes of four Japanese dyslexic children between 710 years of age. None of them had disability in word retrieval and/or auditory memory. Two of them manifested lower score in phonological awareness tests while the others showed normal score. All children showed subnormal score in a visual cognitive test, a visuo-spacial constructional test, an...

Abstract: The wheel graph is the join of a single vertex and a cycle, while the fan graph is the join of a single vertex and a path. The resistance distance between any two vertices of a wheel and a fan are obtained. The resistances are related to Fibonacci numbers and generalized Fibonacci numbers. The derivation is based on evaluating determinants of submatrices of the Laplacian matrix. A com...