5064 search results - page 485 / 1013 » Recent Developments in Gridsolve |
178
Voted
AMAI
2008
Springer
15 years 7 months ago
2008
Springer
The paper studies the relationship between logic programs with the stable model semantics and difference logic recently considered in the Satisfiability Modulo Theories framework....
181
click to vote
DM
2010
15 years 7 months ago
2010
The stability method is very useful for obtaining exact solutions of many extremal graph problems. Its key step is to establish the stability property which, roughly speaking, sta...
161
Voted
DEDS
2008
15 years 7 months ago
2008
Abstract Approximate simulation relations have recently been introduced as a powerful tool for the approximation of discrete and continuous systems. In this paper, we his abstracti...
209
Voted
CCE
2006
15 years 7 months ago
2006
Sensitivity analysis generates essential information for model development, design optimization, parameter estimation, optimal control, model reduction and experimental design. In...
162
click to vote
CRYPTOLOGIA
2006
15 years 6 months ago
2006
For a recent student conference, the authors developed a day-long design problem and competition suitable for engineering, mathematics, and science undergraduates. The competition ...