-
On the convergence of feasibility based bounds tightening
Global Optimization and Mixed-Integer Nonlinear Programming problems such as min{f(x) | gL ≤ g(x) ≤ gU ∧ xL ≤ x ≤ xU ∧ ∀j ∈ Z (xj ∈ Z)}, where f : Rn → R, g : Rn → Rm,... -
Kadanoff Sand Pile Model, Avalanche Structure and Wave Shape
CNRS NR; AERES NR -
A CPS-semantics for a typed lambda-calculus of exception handling with fixed-...
Colloque avec actes et comité de lecture. -
A confluence Result for a Typed lambda-Calculus of Exception Handling with Fi...
Colloque avec actes et comité de lecture.
