Mathematical model for scheduling operations in cascaded continuous processing units Fulltext Access 14 Pages 2007
Comparing the Spanish and the discriminatory auction formats: A discrete model with private information Fulltext Access 14 Pages 2007
Multi-criteria decision-making methods based on intuitionistic fuzzy sets Fulltext Access 14 Pages 2007
Obtaining the optimal cache document replacement policy for the caching system of an EC website Fulltext Access 14 Pages 2007
Two genetic algorithms for solving the uncapacitated single allocation p-hub median problem Fulltext Access 14 Pages 2007
A rolling window optimization method for large-scale WCDMA base stations planning problem Fulltext Access 14 Pages 2007
Development of an Air Force Warehouse Logistics Index to continuously improve logistics capabilities Fulltext Access 14 Pages 2007
The solution of fuzzy linear systems by non-linear programming: a financial application Fulltext Access 14 Pages 2007
The new Fundamental Tree Algorithm for production scheduling of open pit mines Fulltext Access 14 Pages 2007
On combinatorial optimization problems on matroids with uncertain weights Fulltext Access 14 Pages 2007
Applying the attribute based hill climber heuristic to the vehicle routing problem Fulltext Access 14 Pages 2007
Contour line construction for a new rectangular facility in an existing layout with rectangular departments Fulltext Access 14 Pages 2007
A branch-and-bound algorithm of the single machine schedule with sequence-dependent setup times for minimizing maximum tardiness Fulltext Access 14 Pages 2007
The impact of DSS use and information load on errors and decision quality Fulltext Access 14 Pages 2007
A goal programming approach to vehicle routing problems with soft time windows Fulltext Access 14 Pages 2007
Discrete dynamic programming with outcomes in random variable structures Fulltext Access 14 Pages 2007
On solving large instances of the capacitated facility location problem Fulltext Access 14 Pages 2007
A resource portfolio model for equipment investment and allocation of semiconductor testing industry Fulltext Access 14 Pages 2007
Scheduling uniform parallel machines subject to a secondary resource to minimize the number of tardy jobs Fulltext Access 14 Pages 2007
Solving a Huff-like competitive location and design model for profit maximization in the plane Fulltext Access 14 Pages 2007
A perturbation-based heuristic for the capacitated multisource Weber problem Fulltext Access 14 Pages 2007
A multi-objective production scheduling case study solved by simulated annealing Fulltext Access 14 Pages 2007
Process planning for circuit card assembly on a series of dual head placement machines Fulltext Access 14 Pages 2007
On a multicommodity stochastic-flow network with unreliable nodes subject to budget constraint Fulltext Access 14 Pages 2007
A branch-and-bound algorithm for the singly constrained assignment problem Fulltext Access 14 Pages 2007
Extension of the 2-p-opt and 1-shift algorithms to the heterogeneous probabilistic traveling salesman problem Fulltext Access 14 Pages 2007
The Karush–Kuhn–Tucker optimality conditions in an optimization problem with interval-valued objective function Fulltext Access 14 Pages 2007
A multiclass, multicriteria logit-based traffic equilibrium assignment model under ATIS Fulltext Access 14 Pages 2007
The prediction–correction approach to nonlinear complementarity problems Fulltext Access 14 Pages 2007
A constrained optimization approach to solving certain systems of convex equations Fulltext Access 14 Pages 2007
Forecasting daily supermarket sales using exponentially weighted quantile regression Fulltext Access 14 Pages 2007
Single-machine scheduling with deteriorating jobs and learning effects to minimize the makespan Fulltext Access 14 Pages 2007
Handling Model Changes: Regression Testing and Test-Suite Update with Model-Checkers Fulltext Access 14 Pages 2007
Simulation of Generalised Semi-Markov Processes based on Graph Transformation Systems Fulltext Access 14 Pages 2007
Modeling and Verification of Reliable Messaging by Graph Transformation Systems 4 Fulltext Access 14 Pages 2007
An Aspect-Oriented Adaptation Framework for Dynamic Component Evolution 1 Fulltext Access 14 Pages 2007
A Method for Patching Interleaving-Replay Attacks in Faulty Security Protocols 1 Fulltext Access 14 Pages 2007
Efficient Reductants Calculi using Partial Evaluation Techniques with Thresholding 1 Fulltext Access 14 Pages 2007
Architecting Fault-tolerant Component-based Systems: from requirements to testing Fulltext Access 14 Pages 2007
Using Verified Data-Flow Analysis-based Optimizations in Attribute Grammars 1 Fulltext Access 14 Pages 2007
Extending Symmetry Reduction Techniques to a Realistic Model of Computation Fulltext Access 14 Pages 2007
Computing the zeros of a Fourier series or a Chebyshev series or general orthogonal polynomial series with parity symmetries Fulltext Access 14 Pages 2007
Permanence and global attractivity of the discrete Gilpin–Ayala type population model Fulltext Access 14 Pages 2007
Existence and exponential stability of periodic solutions for a class of Cohen–Grossberg neural networks with bounded and unbounded delays Fulltext Access 14 Pages 2007
A new approximation algorithm for obtaining the probability distribution function for project completion time Fulltext Access 14 Pages 2007
Periodic solutions for a class of higher-order Cohen–Grossberg type neural networks with delays Fulltext Access 14 Pages 2007
Some theorems about spectrum and finite element approach for eigenvalue problems for elastic bodies with voids Fulltext Access 14 Pages 2007
Peristaltic transport of a third order fluid under the effect of a magnetic field Fulltext Access 14 Pages 2007
A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis Fulltext Access 14 Pages 2007
Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi ⋆ Fulltext Access 14 Pages 2007
Paraconsistent Arithmetic with a Local Consistency Operator and Global Selfreference Fulltext Access 14 Pages 2007
A List-machine Benchmark for Mechanized Metatheory: (Extended Abstract) Fulltext Access 14 Pages 2007