Abstract. Several strategies have been described as a reaction to a stumble during gait. The elevating strategy, which tries to proceed with the perturbed step, was executed as a r...
A. Forner-Cordero, H. F. J. M. Koopman, Frans C. T...
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...
Myla Archer, Constance L. Heitmeyer, Elvinia Ricco...
Abstract. Sensory experience alters the functional organization of cortical networks. Previous studies using behavioral training motivated by aversive or rewarding stimuli have dem...
Michael P. Kilgard, Pritesh K. Pandya, Navzer D. E...
Background: With ever increasing numbers of closely related virus genomes being sequenced, it has become desirable to be able to compare two genomes at a level more detailed than ...
Ryan Brodie, Alex J. Smith, Rachel L. Roper, Vasil...
Background: Microarray-based comparative genome hybridization experiments generate data that can be mapped onto the genome. These data are interpreted more easily when represented...
Ihab A. B. Awad, Christian A. Rees, Tina Hernandez...