Sciweavers

15644 search results - page 2849 / 3129
» Brittle System Analysis
Sort
View
TCBB
2008
126views more  TCBB 2008»
15 years 6 months ago
Combinatorial Approaches for Mass Spectra Recalibration
Mass spectrometry has become one of the most popular analysis techniques in Proteomics and Systems Biology. With the creation of larger data sets, the automated recalibration of ma...
Sebastian Böcker, Veli Mäkinen
ARTMED
2005
92views more  ARTMED 2005»
15 years 6 months ago
Temporal reasoning for decision support in medicine
Time-related concepts handling is essential in medicine. During diagnosis it can make a substantial difference to know the temporal order in which some symptoms occurred or for ho...
Juan Carlos Augusto
ASE
2005
103views more  ASE 2005»
15 years 6 months ago
Component Verification with Automatically Generated Assumptions
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...
Dimitra Giannakopoulou, Corina S. Pasareanu, Howar...
AUTOMATICA
2005
126views more  AUTOMATICA 2005»
15 years 6 months ago
Relations between uncertainty structures in identification for robust control
Various techniques of system identification exist that provide a nominal model and an uncertainty bound. An important question is what the implications are for the particular choi...
Sippe G. Douma, Paul M. J. Van den Hof
BC
2005
82views more  BC 2005»
15 years 6 months ago
Feedback equilibrium control during human standing
Abstract Equilibrium maintenance during standing in humans was investigated with a 3-joint (ankle, knee and hip) sagittal model of body movement. The experimental paradigm consiste...
A. V. Alexandrov, Alexander A. Frolov, F. B. Horak...
« Prev « First page 2849 / 3129 Last » Next »