Sciweavers

11739 search results - page 1982 / 2348
» Slideshow: functional presentations
Sort
View
ENTCS
2006
90views more  ENTCS 2006»
15 years 6 months ago
Runtime Verification for High-Confidence Systems: A Monte Carlo Approach
We present a new approach to runtime verification that utilizes classical statistical techniques such as Monte Carlo simulation, hypothesis testing, and confidence interval estima...
Sean Callanan, Radu Grosu, Abhishek Rai, Scott A. ...
BMCBI
2007
103views more  BMCBI 2007»
15 years 6 months ago
Nanopore-based kinetics analysis of individual antibody-channel and antibody-antigen interactions
Background: The UNO/RIC Nanopore Detector provides a new way to study the binding and conformational changes of individual antibodies. Many critical questions regarding antibody f...
Stephen Winters-Hilt, Eric Morales, Iftekhar Amin,...
FOCM
2006
97views more  FOCM 2006»
15 years 6 months ago
Learning Rates of Least-Square Regularized Regression
This paper considers the regularized learning algorithm associated with the leastsquare loss and reproducing kernel Hilbert spaces. The target is the error analysis for the regres...
Qiang Wu, Yiming Ying, Ding-Xuan Zhou
165
Voted
CAL
2007
15 years 6 months ago
Dynamic Predication of Indirect Jumps
Abstract—Indirect jumps are used to implement increasinglycommon programming language constructs such as virtual function calls, switch-case statements, jump tables, and interfac...
José A. Joao, Onur Mutlu, Hyesoon Kim, Yale...
GRID
2006
Springer
15 years 6 months ago
Campus Grids Meet Applications: Modeling, Metascheduling and Integration
Air Quality Forecasting (AQF) is a new discipline that attempts to reliably predict atmospheric pollution. An AQF application has complex workflows and in order to produce timely ...
Yonghong Yan, Barbara M. Chapman
« Prev « First page 1982 / 2348 Last » Next »