1604 search results - page 145 / 321 » Development Separation in Lambda-Calculus |
104
Voted
MP
2006
15 years 14 days ago
2006
This paper addresses a multi-stage stochastic integer programming formulation of the uncapacitated lot-sizing problem under uncertainty. We show that the classical ( , S) inequalit...
69
Voted
NJC
2006
15 years 14 days ago
2006
In model based design model fragments are used in everyday work. Concurrent operations on separate parts of a model and communication between stakeholders are some examples. Howeve...
91
Voted
SIAMAM
2008
15 years 14 days ago
2008
Motivated by a class of orbit problems in astrophysics, this paper considers solutions to Hill's equation with forcing strength parameters that vary from cycle to cycle. The ...
122
click to vote
SIAMSC
2008
15 years 14 days ago
2008
In this paper, we develop an error estimator and an adaptive algorithm for efficient solution of parabolic partial differential equations. The error estimator assesses the discreti...
105
Voted
CCE
2004
15 years 12 days ago
2004
We consider the dynamic optimization of chemical processes with changes in the number of equilibrium phases. Recent work has shown that transitions in the number of phases can be ...