567 search results - page 78 / 114 » Analysis of optimal control models for the human locomotion |
128
click to vote
BMCBI
2005
14 years 9 months ago
2005
Background: The responses to interleukin 1 (IL-1) in human chondrocytes constitute a complex regulatory mechanism, where multiple transcription factors interact combinatorially to...
101
click to vote
CADE
1990
Springer
15 years 1 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...
103
click to vote
BMCBI
2010
14 years 9 months ago
2010
Background: Data generated using `omics' technologies are characterized by high dimensionality, where the number of features measured per subject vastly exceeds the number of...
108
click to vote
AB
2007
Springer
15 years 3 months ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
FGR
2006
IEEE
15 years 3 months ago
2006
IEEE
—This paper introduces a new representation of hand motions for tracking and recognizing hand-finger gestures in an image sequence. A human hand has many joints, for example our ...