Sciweavers

1518 search results - page 114 / 304
» Cryptographic Test Correction
Sort
View
MP
2006
73views more  MP 2006»
15 years 3 months ago
On the implementation of an interior-point filter line-search algorithm for large-scale nonlinear programming
We present a primal-dual interior-point algorithm with a filter line-search method for nonlinear programming. Local and global convergence properties of this method were analyzed i...
Andreas Wächter, Lorenz T. Biegler
AIEDU
2005
83views more  AIEDU 2005»
15 years 3 months ago
A Simulated Student Can Improve Collaborative Learning
This paper describes a Simulated Student architecture designed to detect and avoid three situations that decrease the benefits of learning in collaboration. These are off-topic con...
Aurora Vizcaíno
APN
2010
Springer
15 years 8 months ago
Wendy: A Tool to Synthesize Partners for Services
Service-oriented computing proposes services as building blocks which can be composed to complex systems. To reason about the correctness of a service, its communication protocol n...
Niels Lohmann, Daniela Weinberg
ICST
2008
IEEE
15 years 10 months ago
Pre-testing Flash Device Driver through Model Checking Techniques
Flash memory has become virtually indispensable in most mobile devices, such as mobile phones, digital cameras, mp3 players, etc. In order for mobile devices to successfully provi...
Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim
BMCBI
2008
105views more  BMCBI 2008»
15 years 3 months ago
Using the longest significance run to estimate region-specific p-values in genetic association mapping studies
Background: Association testing is a powerful tool for identifying disease susceptibility genes underlying complex diseases. Technological advances have yielded a dramatic increas...
Ie-Bin Lian, Yi-Hsien Lin, Ying-Chao Lin, Hsin-Cho...