813 search results - page 9 / 163 » desire 2010 |
EOR
2002
13 years 7 months ago
2002
In order to solve heterogeneous single and multiple container loading problems, an algorithm is presented that builds homogeneous blocks of identically orientated items. First a g...
PROCEDIA
2010
13 years 5 months ago
2010
We present an adaptive multilevel generalized SQP method to solve PDAE-constrained optimization problems. It explicitly allows the use of independent integration schemes such that...
CNSM
2010
13 years 5 months ago
2010
1 -- Design of a Set-top Box (STB) is presented to provide virtual platforms such that it can support multiple service providers. Each service provider is able to manage its own mu...
IANDC
2010
13 years 4 months ago
2010
The Curry-Howard correspondence connects derivations in natural deduction with the lambdacalculus. Predicates are types, derivations are terms. This supports reasoning from assump...
IJAOM
2010
13 years 2 months ago
2010
Technologies have varied strengths and weaknesses which require careful assessment by the purchasers. One of the uses of Data Envelopment Analysis (DEA) is technology selection. T...