1. (100%) An Effective Robust Optimization Based on Genetic Algorithm - Maruyama, Takayuki; Igarashi, Hajime
Although probabilistic optimization methods based on genetic algorithm (GA) provides accurate result ...
- 19-sep-2009

2. (50%) A Practical Optimality Condition Without Constraint - Benar Fux Svaiter
, independently of constraint qualifications. The new condition implies, and is strictly stronger than ...A new optimality condition for minimization with general constraints is introduced. Unlike the KKT
(ps) - 31-mar-2009

3. (40%) A Necessary Condition for Constructive Negation in Constraint Logic Programming - Agostino Dovier,Enrico Pontelli,Gianfranco Rossi
decidability of the underlying constraint structure. We prove that the admissible closure condition is also ...In [15] a sound and complete procedure for Constructive Negation in Constraint Logic Programming
(ps) - 31-mar-2009

4. (40%) A Practical Optimality Condition Without Constraint Qualifications for Nonlinear Programming - Benar Fux Svaiter
, independently of constraint qualifications. The new condition implies, and is strictly stronger than ...A new optimality condition for minimization with general constraints is introduced. Unlike the KKT
(ps) - 31-mar-2009

5. (35%) Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form - Patrick Cousot
either fixpoint, equational, constraint, closure-condition, rule-based or game-theoretic form. The ... formal semantics or semantic properties of programs in equivalent fixpoint, equational, constraint
(ps) - 31-mar-2009

6. (35%) Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form - Patrick Cousot
in either fixpoint, equational, constraint, closure-condition, rule-based or game-theoretic form ... specifying formal semantics or semantic properties of programs in equivalent fixpoint, equational, constraint
(ps) - 31-mar-2009

7. (35%) Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form - Patrick Cousot
in either fixpoint, equational, constraint, closure-condition, rule-based or game-theoretic form ... specifying formal semantics or semantic properties of programs in equivalent fixpoint, equational, constraint
(ps) - 31-mar-2009

8. (35%) Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form - Patrick Cousot
in either fixpoint, equational, constraint, closure-condition, rule-based or game-theoretic form ... specifying formal semantics or semantic properties of programs in equivalent fixpoint, equational, constraint
(ps) - 31-mar-2009

9. (35%) Finite-State Average Cost Stochastic Games With Compact Constraint Sets And A Recurrence Condition - Stephen D. Patek,Dimitri P. Bertsekas
constraint sets, enforcing some relatively mild assumptions on the transition probability and cost
(ps) - 31-mar-2009

10. (30%) The Constant Positive Linear Dependence Condition of Qi and Wei Implies the Quasinormality Constraint Qualification - R. Andreani,J. M. Martnez,M. L. Schuverdt
where the CPLD was introduced, the authors conjectured that this condition could be a constraint ... condition implies the quasinormality constraint qualification, but the reciprocal is not true
(ps) - 31-mar-2009