3680 search results - page 362 / 736 » cases 2010 |
183
click to vote
ASE
2010
15 years 7 months ago
2010
Recent developments in runtime verification and monitoring show that parametric regular and temporal logic specifications can be efficiently monitored against large programs. Howev...
215
click to vote
AUTOMATICA
2010
15 years 7 months ago
2010
This paper describes a new kernel-based approach for linear system identification of stable systems. We model the impulse response as the realization of a Gaussian process whose s...
178
click to vote
AUTOMATICA
2010
15 years 7 months ago
2010
We consider a class of systems influenced by perturbations that are nonlinearly parameterized by unknown constant parameters, and develop a method for estimating the unknown param...
177
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Non-coding RNAs gain more attention as their diverse roles in many cellular processes are discovered. At the same time, the need for efficient computational prediction...
200
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Mass spectrometry is an essential technique in proteomics both to identify the proteins of a biological sample and to compare proteomic profiles of different samples. ...